About the service
I write formally verifiable smart contracts in Pact for the Kadena blockchain that do exactly what your business logic requires and nothing extra. Pact is Kadena's human-readable language, and it is intentionally not Turing-complete: this alone removes entire classes of vulnerabilities that plague other networks — no infinite loops, uncontrolled gas spending and reentrancy surprises.
Beyond that I use Pact's built-in formal verification (property and invariant models) to mathematically prove that the contract preserves rules important to you: total supply doesn't inflate, funds only move through authorized guards, balances never go negative.
What you get: a neat module with capabilities and guards for access control, a complete test suite, machine-checked properties and — since Pact contracts are updatable — a secure path to roll out fixes and new features without full redeploy and without user state migration. Typical tasks: fungible and non-fungible tokens, marketplaces, escrow and vesting, DAO voting, arbitrary on-chain logic.
Process: we together fix the invariants, I implement the module, prove the properties, cover with unit tests on a local devnet and hand over documented, audit-ready code with deployment scripts for testnet and mainnet. If you're moving from Solidity, I'll help port the design to Pact's safer model.
Beyond that I use Pact's built-in formal verification (property and invariant models) to mathematically prove that the contract preserves rules important to you: total supply doesn't inflate, funds only move through authorized guards, balances never go negative.
What you get: a neat module with capabilities and guards for access control, a complete test suite, machine-checked properties and — since Pact contracts are updatable — a secure path to roll out fixes and new features without full redeploy and without user state migration. Typical tasks: fungible and non-fungible tokens, marketplaces, escrow and vesting, DAO voting, arbitrary on-chain logic.
Process: we together fix the invariants, I implement the module, prove the properties, cover with unit tests on a local devnet and hand over documented, audit-ready code with deployment scripts for testnet and mainnet. If you're moving from Solidity, I'll help port the design to Pact's safer model.
