About the service
I develop production-grade smart contracts in Scilla — a functional language for the Zilliqa blockchain, created with security as a priority. Scilla is structured differently than Solidity: it deliberately separates computation from state manipulation and message passing, which pre-excludes entire classes of errors, including reentrancy and control flow confusion.
Moreover, Scilla contracts support formal verification, so logic can be proven mathematically rather than just tested with hopes of luck. You get not a copy-paste template, but a model of your business rules as explicit state transitions. I keep the flow of funds minimal and audit-friendly, and typed messages and pattern matching make impossible states simply inexpressible.
Each contract is delivered with a specification, code documentation and a full suite of unit and scenario tests, run on a local Zilliqa network before mainnet. Typical tasks: ZRC-2 and ZRC-6 tokens, staking and vesting, escrow and multisig, DAO governance, marketplaces and auctions, custom DeFi primitives. I also review and harden existing code, eliminate vulnerabilities and optimize gas spending.
The process is transparent: we agree on a specification, I implement in short verifiable iterations, show you test results and deliver deployment scripts with a walkthrough so your team confidently manages the contract. Security here is not an add-on — it's the reason to choose Scilla — and I treat it that way from the first line to the final audit-ready handoff.
Moreover, Scilla contracts support formal verification, so logic can be proven mathematically rather than just tested with hopes of luck. You get not a copy-paste template, but a model of your business rules as explicit state transitions. I keep the flow of funds minimal and audit-friendly, and typed messages and pattern matching make impossible states simply inexpressible.
Each contract is delivered with a specification, code documentation and a full suite of unit and scenario tests, run on a local Zilliqa network before mainnet. Typical tasks: ZRC-2 and ZRC-6 tokens, staking and vesting, escrow and multisig, DAO governance, marketplaces and auctions, custom DeFi primitives. I also review and harden existing code, eliminate vulnerabilities and optimize gas spending.
The process is transparent: we agree on a specification, I implement in short verifiable iterations, show you test results and deliver deployment scripts with a walkthrough so your team confidently manages the contract. Security here is not an add-on — it's the reason to choose Scilla — and I treat it that way from the first line to the final audit-ready handoff.
