Serviços
Auditoria de smart contracts
Um commit congelado, lido linha por linha por pesquisadores sênior após uma primeira passada do nosso modelo. Preço fixo, revisão das correções incluída e um relatório público, se quiser.
Pedir orçamentoDuas formas de auditar
Mesmo método, mesmos pesquisadores. Avançada prova as falhas no estado real.
Código-fonte
Cada linha lida por 2 pesquisadores.
a partir de US$ 1.000
- 2 pesquisadores sêniores
- Pentest com IA do nonce-sc-1 em cada linha
- 404 itens de checklist em 10 redes
- Análise estática e fuzzing em sandbox
- Cada achado confirmado por 3 revisões
- Prova offline para cada achado crítico e alto
- Revisão das correções incluída
- PDF, markdown pronto para agentes, portal
Avançada
Para protocolos implantadosExploits provados no estado da mainnet.
a partir de US$ 2.000
- Tudo do Código-fonte
- 3 pesquisadores sêniores
- nonce-sc-1 faz pentest dos contratos implantados
- Exploits EVM provados em um fork da mainnet
- Ataques de oráculo e liquidez simulados
- Fuzzing de invariantes no estado da mainnet
- Scripts de deploy e chaves de admin revisados
- Código implantado conferido e relido diariamente
O preço final depende das linhas de código, das chains e do prazo, e chega em até 12 horas.
Três passos
- 1
Envie o repositório
Um e-mail e um link.
- 2
Receba um preço fixo
Em menos de 12 horas.
- 3
Corrija no portal
Verificamos cada correção.
Redes que auditamos
EVM9
- EthereumSolidity, Vyper
- ArbitrumSolidity, Vyper
- OptimismSolidity, Vyper
- BaseSolidity, Vyper
- PolygonSolidity, Vyper
- BNB ChainSolidity, Vyper
- AvalancheSolidity, Vyper
- LineaSolidity, Vyper
- ScrollSolidity, Vyper
Solana1
- SolanaRust, Anchor
Move2
- SuiMove
- AptosMove
ZK3
- zkSyncSolidity, Vyper
- StarknetCairo
- Polygon zkEVMSolidity, Vyper
- CircuitosCircom, Noir
Outras redes3
- CosmosCosmWasm, Rust
- StellarSoroban, Rust
- TONTact, FunC, Tolk
Antes de congelar o código
Uma revisão de segurança examina o design, a arquitetura e a economia enquanto ainda é barato mudá-los.