About the service
I develop production smart contracts and provable programs in Cairo for Starknet — a zero-knowledge rollup using STARK technology. Cairo is a language for verifiable computation in the spirit of Rust, and I apply it as intended: I ship contracts whose correctness is proven mathematically, not just assumed.
What I do: token standards (fungible and NFT), staking and vesting logic, AMM and DEX cores, on-chain governance, account abstraction wallets, oracles and arbitrary provable programs that compute heavy lifting off-chain and settle as a single STARK proof on-chain. Each contract comes with a full test suite in Starknet Foundry (snforge), fuzz testing for complex paths and gas and step profiling so your users pay the minimum.
The process is transparent: we align on a spec, I write typed interfaces and events, implement, run on local devnet, then deploy to Sepolia testnet for your review before mainnet. You get clean, annotated Cairo source code, deployment scripts, ABIs and a short handover document describing storage layout and upgrade paths.
I take security seriously: reentrancy protection, access control, overflow safety, careful felt252 arithmetic. If you already have a Solidity contract, I will port its logic to idiomatic Cairo instead of translating it line-by-line. Describe your task — DeFi, games, identity or your own zk-compute logic — and I will honestly tell you what fits on Starknet and what doesn't.
What I do: token standards (fungible and NFT), staking and vesting logic, AMM and DEX cores, on-chain governance, account abstraction wallets, oracles and arbitrary provable programs that compute heavy lifting off-chain and settle as a single STARK proof on-chain. Each contract comes with a full test suite in Starknet Foundry (snforge), fuzz testing for complex paths and gas and step profiling so your users pay the minimum.
The process is transparent: we align on a spec, I write typed interfaces and events, implement, run on local devnet, then deploy to Sepolia testnet for your review before mainnet. You get clean, annotated Cairo source code, deployment scripts, ABIs and a short handover document describing storage layout and upgrade paths.
I take security seriously: reentrancy protection, access control, overflow safety, careful felt252 arithmetic. If you already have a Solidity contract, I will port its logic to idiomatic Cairo instead of translating it line-by-line. Describe your task — DeFi, games, identity or your own zk-compute logic — and I will honestly tell you what fits on Starknet and what doesn't.
