About the service
I develop and verify smart contracts for the Tezos blockchain at all levels of the stack. Michelson is a low-level stack language that the Tezos virtual machine actually executes, and it is designed to be amenable to formal verification. I write contracts directly in Michelson when precise control over gas, storage and stack operations is needed, and use higher-level LIGO and SmartPy languages when a faster and more readable path to the same bytecode matters more. From whichever end we start, I read and parse the compiled Michelson so you know exactly what goes into the network.
What you get: a working contract with a thoughtful storage scheme and entry points; correctly implemented FA2 and FA1.2 token standards; modular and property tests; gas and storage cost review; a report with a breakdown of each entry point, failure branch and permission check. I test in the sandbox and on Ghostnet before mainnet launch and document origination and update steps so your team can redeploy without me.
I also audit ready-made contracts: I build a storage map, trace each entry point, look for reentrancy, integer overflow, broken access control and unsafe external calls, and provide a prioritized list of findings with fixes. Send me a specification or current code — I'll respond with the scope of work, a fixed price and timeline.
What you get: a working contract with a thoughtful storage scheme and entry points; correctly implemented FA2 and FA1.2 token standards; modular and property tests; gas and storage cost review; a report with a breakdown of each entry point, failure branch and permission check. I test in the sandbox and on Ghostnet before mainnet launch and document origination and update steps so your team can redeploy without me.
I also audit ready-made contracts: I build a storage map, trace each entry point, look for reentrancy, integer overflow, broken access control and unsafe external calls, and provide a prioritized list of findings with fixes. Send me a specification or current code — I'll respond with the scope of work, a fixed price and timeline.
