Free software1 sections · 2 min readBy Dezső Mező.mdFree softwarePactum
Pactum is an escrow smart contract modelled as an explicit, guarded state machine that moves a job from Created through Funded to Completed, with dispute and deadline-reclaim paths. Its strength is the disciplined design: access control on every transition and the checks-effects-interactions pattern throughout, with 18 Foundry tests including fuzzing that exercise the full lifecycle. It is a from-scratch Solidity build with a demo-mode tracker frontend that you can download and run locally.
01About the app
Solidity state machines
What to take away
- A guarded state machine (Created→Funded→Completed + Disputed + deadline reclaim) with access control and CEI - 18 Foundry tests incl. fuzz cover the full lifecycle. Demo-mode tracker frontend.
- Download: Pactum (ZIP)
Terms used in this piece
More from the lab
Browse all entries- Sylex: Make sense of the slashes
- Kindra: Miss a beat, not the rhythm
- Voxara: Argue better. Lose gracefully
- Wraithward: Spot the bait before you bite
Want this looked at on your own system?Start a conversation
