Sobre o serviço
TraduzidoEu desenvolvo contratos inteligentes de produção e programas comprováveis em Cairo para Starknet — um rollup de conhecimento zero usando tecnologia STARK. Cairo é uma linguagem para computação verificável no espírito do Rust, e eu a aplico como pretendido: eu entrego contratos cuja correção é provada matematicamente, não apenas assumida.
O que eu faço: padrões de token (fungíveis e NFT), lógica de staking e vesting, núcleos de AMM e DEX, governança on-chain, carteiras de abstração de conta, oráculos e programas comprováveis arbitrários que realizam cálculos pesados off-chain e se estabelecem como uma única prova STARK on-chain. Cada contrato vem com um conjunto completo de testes no Starknet Foundry (snforge), testes de fuzz para caminhos complexos e perfilagem de gás e passos para que seus usuários paguem o mínimo.
O processo é transparente: alinhamos uma especificação, eu escrevo interfaces e eventos tipados, implemento, executo na devnet local, e então implanto na testnet Sepolia para sua revisão antes da mainnet. Você recebe código-fonte Cairo limpo e anotado, scripts de implantação, ABIs e um breve documento de entrega descrevendo o layout de armazenamento e caminhos de atualização.
Eu levo a segurança a sério: proteção contra reentrância, controle de acesso, segurança contra overflow, aritmética cuidadosa de felt252. Se você já tem um contrato Solidity, eu vou portar sua lógica para um Cairo idiomático em vez de traduzi-lo linha por linha. Descreva sua tarefa — DeFi, jogos, identidade ou sua própria lógica zk-compute — e eu vou te dizer honestamente o que se encaixa no Starknet e o que não se encaixa.
O que eu faço: padrões de token (fungíveis e NFT), lógica de staking e vesting, núcleos de AMM e DEX, governança on-chain, carteiras de abstração de conta, oráculos e programas comprováveis arbitrários que realizam cálculos pesados off-chain e se estabelecem como uma única prova STARK on-chain. Cada contrato vem com um conjunto completo de testes no Starknet Foundry (snforge), testes de fuzz para caminhos complexos e perfilagem de gás e passos para que seus usuários paguem o mínimo.
O processo é transparente: alinhamos uma especificação, eu escrevo interfaces e eventos tipados, implemento, executo na devnet local, e então implanto na testnet Sepolia para sua revisão antes da mainnet. Você recebe código-fonte Cairo limpo e anotado, scripts de implantação, ABIs e um breve documento de entrega descrevendo o layout de armazenamento e caminhos de atualização.
Eu levo a segurança a sério: proteção contra reentrância, controle de acesso, segurança contra overflow, aritmética cuidadosa de felt252. Se você já tem um contrato Solidity, eu vou portar sua lógica para um Cairo idiomático em vez de traduzi-lo linha por linha. Descreva sua tarefa — DeFi, jogos, identidade ou sua própria lógica zk-compute — e eu vou te dizer honestamente o que se encaixa no Starknet e o que não se encaixa.
