Ferramentas de contrato

A ferramenta de desenvolvimento de contratos inteligentes para Pythonistas, Cientistas de Dados e Profissionais de Segurança

O Scaffold-ETH 2 é um starter de Next.js com Hardhat ou Foundry com hooks de carteira, recarregamento rápido de contratos, utilitários de faucet locais e módulos de extensão para implantação de aplicativos descentralizados (dapps) full-stack.

Um framework de desenvolvimento e teste baseado em Python para contratos inteligentes direcionados à Ethereum Virtual Machine (EVM).

O ethPM é o gerenciador de pacotes imutável para consumir, distribuir ou gerenciar qualquer sistema de contratos inteligentes EVM.

IDE de contratos inteligentes leve baseada na web

O Moccasin é o fluxo de trabalho focado em Python da Cyfrin no Titanoboa para testar, fazer fuzzing e implantar contratos inteligentes escritos em Vyper.

A Ethernaut CLI é uma caixa de ferramentas de comando baseada no Hardhat da EthernautDAO com auxiliares de IA opcionais para tarefas comuns do Ethereum quando você prefere terminais a GUIs.

O opstack-kit estrutura frontends e scripts cientes da Superchain com ajudantes de ponte, fluxos CustomGasToken e tarefas da CLI do OP Stack integrados ao starter.

O Hardhat é um ambiente de desenvolvimento para construir e implantar seu software Ethereum

O Foundry é um conjunto de ferramentas em Rust rápido e portátil para engenharia de contratos inteligentes do Ethereum que gerencia dependências, compila Solidity, executa testes de fuzzing e de unidade, implanta contratos e conduz a interação com a cadeia por meio de scripts a partir do terminal ou de scripts de automação em Solidity.

O Kurtosis empacota devnets de vários serviços reproduzíveis para que você possa iniciar pilhas realistas do Ethereum ou de rollups para testes de integração mais rapidamente do que arquivos compose mantidos manualmente.

O CreateX é o implantador universal sem necessidade de confiança do pcaversaccio que envolve fluxos no estilo CREATE, CREATE2 e CREATE3 para que as equipes possam lançar contratos a partir de endereços previsíveis sem código de fábrica personalizado.

O Txtx transforma o estresse, a dor e as lágrimas do gerenciamento de infraestrutura de contratos inteligentes introduzindo a Infraestrutura Cripto como Código (Crypto Infrastructure as Code). Os Runbooks são o projeto para a Excelência em Engenharia, estabelecendo o novo padrão para infraestruturas Web3.

Um plugin do Hardhat que fornece análises de uso de gás para suítes de testes de contratos inteligentes. Ele tem suporte dedicado para redes OP Stack, é uma dependência em mais de 150 mil repositórios do Github e é baixado do NPM mais de 100 mil vezes por semana.

Plugin do Hardhat para implantar seus contratos inteligentes em várias redes EVM com o mesmo endereço determinístico. Um total de 133 redes EVM são suportadas atualmente, incluindo (quase) todas as redes alimentadas pelo OP Stack.

Uma ferramenta para obter a implantação mais recente de um determinado ambiente no Foundry. Dessa forma, você pode criar scripts a partir de implantações anteriores em Solidity.

O Create2Deployer é um contrato de fábrica mínimo do pcaversaccio que envolve o código de operação CREATE2 com verificações de segurança para que as equipes possam implantar contratos contrafactuais em endereços determinísticos.

O Redprint combina um playground no estilo assistente com bibliotecas redprint-forge para que os desenvolvedores possam compor experimentalmente atualizações de contratos do OP Stack em Solidity com implantações seguras em termos de tipo (type-safe), testes reutilizáveis, scripts de transação cientes do Safe e fiação de componentes modulares antes que as alterações passem para os pipelines de produção.

O Cannon é uma ferramenta DevOps para protocolos no Ethereum. Ele gerencia a implantação e configuração de contratos inteligentes para desenvolvimento local e redes ativas.

Uma CLI 100% de código aberto que acompanha os blocos de construção de contratos inteligentes. Esta caixa de ferramentas pode reduzir o custo de gás da L2 codificando os dados de chamada (calldata) para o desenvolvimento de dapps para usar o mínimo de bytes de calldata possível.

Compare facilmente os relatórios de gás gerados pelo Foundry automaticamente em cada um dos seus Pull Requests!

Inicie um ambiente Superchain pessoal para executar testes, fazer fork de redes e inspecionar o estado com controle total sobre como seu rollup opera. O Playground de Desenvolvimento Definitivo para Ethereum e Superchain

Este proxy de assinante permite que os operadores do OP Stack roteiem a assinatura do sequenciador, empacotador de lotes, proponente e desafiante por meio do AWS KMS ou YubiHSM em vez de chaves privadas brutas no disco.

Os OpenZeppelin Contracts são a biblioteca de referência para o desenvolvimento de contratos inteligentes.

Solidity é uma linguagem de alto nível orientada a objetos para implementar contratos inteligentes.

Linguagem de Contratos Inteligentes Pythônica para a EVM

Ferramentas de Desenvolvimento Orientadas a Solidity

O Solady da Vectorized coleta trechos de Solidity agressivamente otimizados, de provas de Merkle a ajudantes de compressão, envolvendo assembly inline cuidadoso em APIs acessíveis para que desenvolvedores avançados possam enviar padrões eficientes em termos de gás enquanto aprendem técnicas de otimização de ponta a partir de uma biblioteca de referência viva.

O Fe é uma linguagem inspirada em Rust voltada para a EVM; hoje você pode explorar o sistema de tipos do Fe v2 via CLI ou ferramentas de editor, mesmo enquanto a geração de bytecode ainda está evoluindo.

O Solhint é um linter de Solidity que você integra em editores ou CI para impor regras de estilo e detectar padrões problemáticos (footguns) precocemente.

A extensão VSCode Solidity de Juan Blanco adiciona destaque de sintaxe, comandos de compilação, metadados ao passar o mouse, correções rápidas, detecção de monorepo, geração de código Nethereum opcional, integração de lint e um servidor LSP.

O WhatsABI recupera seletores, proxies e ABIs parciais apenas a partir do bytecode - use-o em carteiras, exploradores ou ferramentas locais quando o código-fonte verificado estiver ausente, mas você ainda precisar da decodificação de dados de chamada.

O PRBMath é uma biblioteca de contratos inteligentes que adiciona suporte para tipos de ponto fixo e funções matemáticas avançadas, como logaritmos e exponenciais em Solidity. Operando com números de 18 decimais, o PRBMath é ao mesmo tempo eficiente em termos de gás e fácil de usar.

O Solc-select é um utilitário de linha de comando para instalar e alternar rapidamente entre as versões do compilador Solidity.

Um plugin do Prettier para formatar automaticamente seu código Solidity.

Blocos de construção de contratos inteligentes em Vyper de última geração, altamente opinativos, hiperotimizados e seguros.

O EvmTools agrupa utilitários de navegador e extensão — decodificadores, auxiliares de merkle, conversores e pequenas ferramentas semelhantes — para a depuração diária de contratos inteligentes em um só lugar.

Um framework onchain flexível e compunível para criar, reutilizar e personalizar gatekeepers. Usa Políticas e Verificadores como primitivas principais para controle de acesso baseado em atributos com padrões de proxy mínimos eficientes em termos de gás e validação em vários estágios.

Implementando TinyAlloc em Fe-lang para a EVM

O protocolo de gráfico organizacional: codifique as funções, agentes e permissões da sua organização em um gráfico programável com o Hats Protocol

O Solmate é uma coleção moderna e opinativa de blocos de construção e utilitários em Solidity otimizados para gás para o desenvolvimento de contratos inteligentes.

Um compilador Solidity eficiente em termos de gás para o Ethereum alimentado por LLVM da equipe ZKsync e colaboradores. Funciona como um substituto direto para o solc em fluxos de trabalho como Foundry e Hardhat.

A Solidity Bytes Utils é uma biblioteca clássica para concatenar, fatiar e converter matrizes de bytes dinâmicas na memória ou armazenamento do Solidity — mantida há muito tempo e amplamente bifurcada nos principais protocolos.

Linguagem de programação rústica (rustic) voltada para a EVM

Biblioteca HTTP para Solidity baseada em curl

O VSCode Solidity Inspector agrupa utilitários práticos de Solidity no VSCode: visualizações de layout de armazenamento, dicas de higiene de importação, resumos de implantação do Foundry, stubs de teste Bulloak, importações cientes de remapeamentos e dicas de tamanho de código.

O Diamondscaffold é uma ferramenta CLI projetada para estruturar projetos de diamante EIP-2535 com um layout opinativo e scripts, tornando mais rápido configurar proxies modulares atualizáveis.

Plugin de Solidity para IntelliJ

Essas bibliotecas empacotam a matemática de risco e precificação de Black-Scholes ajustada pelo Derive em Go e Rust para que os módulos de risco onchain possam reutilizar implementações altamente otimizadas vinculadas à pilha de margem do Derive.

Compilador Solidity modular e incrivelmente rápido escrito em Rust pela Paradigm. Projetado como uma pilha de compilador amigável para contribuidores para compilações mais rápidas e melhores diagnósticos.

Ferramentas para construir aplicativos que preservam a privacidade usando cartões de identificação Aadhaar do governo indiano. Fornece circuitos ZK, TypeScript, Solidity e bibliotecas React para permitir que os titulares do Aadhaar provem residência sem revelar dados pessoais.

O Aztec é um rollup do Ethereum focado em privacidade e uma plataforma de desenvolvedor para construir aplicativos com privacidade programável e provas de conhecimento zero.

O Circom é uma linguagem de domínio específico e compilador para escrever e compilar circuitos aritméticos usados em sistemas de prova de conhecimento zero.

Um projeto de pesquisa da PSE que permite o uso da linguagem Circom para desenvolver aplicativos MPC. Circuitos MPC aritméticos e booleanos compilados usando Circom com integração de backend MP-SPDZ para aplicativos de aprendizado de máquina.

Bifurcação rearquitetada pela PSE do sistema de provas PLONK Halo2 da Zcash, apresentando um backend KZG com verificador em Solidity para verificação econômica na camada 1 (l1), suporte para múltiplas curvas elípticas e arquitetura de frontend/backend desacoplada.

A MACI (Infraestrutura Anticonluio Mínima) usa provas de conhecimento zero para permitir sistemas de votação e sinalização privados e resistentes a conluio no Ethereum.

Um kit de ferramentas que simplifica a prova de conhecimento zero no lado do cliente em dispositivos móveis. Conecta sistemas de prova ZK (Halo2, Circom) para gerar bindings para iOS, Android e navegadores, aproveitando a GPU móvel para melhorar o desempenho.

Uma biblioteca de Computação Multipartidária (MPC) segura, de alto desempenho, modular e portátil em Rust. Suporta execução nativa e em WebAssembly. Alimenta a infraestrutura criptográfica do TLSNotary e é usada em projetos focados em privacidade.

A Noir é uma linguagem inspirada em Rust para escrever circuitos de conhecimento zero com uma sintaxe amigável para desenvolvedores e ferramentas mantidas pela Aztec.

Um kit de ferramentas para cerimônias de configuração confiável da Fase 2 do Groth16. Ajuda os desenvolvedores a criar e gerenciar configurações confiáveis para aplicativos ZK, com um aplicativo da web complementar (DefinitelySetup) para monitoramento e participação.

Uma cerimônia de configuração confiável de ZK-SNARK contínua (desde 2019) para circuitos de até 2^28 restrições, gerando mais de 530 milhões de potências de tau (powers of tau). Uma cerimônia multipartidária onde a segurança se mantém desde que um participante seja honesto.

A segunda geração de Tipos de Dados de Objetos Comprováveis (PODs) criptográficos. Permite computação flexível em dados por meio de predicados personalizados e operações recursivas. Desenvolvido pela 0xPARC em colaboração com a PSE.

O Railgun é um protocolo de privacidade para o Ethereum e redes EVM que fornece transações blindadas e interações privadas de finanças descentralizadas (DeFi) com provas de conhecimento zero.

O Self Protocol fornece primitivas abertas de identidade e prova que os construtores podem incorporar quando precisam de fluxos de verificação que preservam a privacidade vinculados a carteiras ou credenciais.

O Semaphore é um protocolo de conhecimento zero para provas de associação a grupos privados, permitindo sinalização e autenticação anônimas sem revelar a identidade.

O snarkjs é um kit de ferramentas JavaScript e CLI para gerar e verificar provas ZK-SNARK, e para executar fluxos de trabalho de prova comuns no Node.js e no navegador.

Uma biblioteca de dobramento (folding) modular que suporta vários esquemas de dobramento (Nova, HyperNova, ProtoGalaxy, CycleFold) e backends de decisão (Groth16, KZG) para Computação Verificável Incremental. Suporta frontends Arkworks, Circom, Noir e Noname.

Gera provas zkVM recursivas verificando se as atualizações de estado da Unified Binary Trie (UBT) e da trie de Merkle Patricia correspondem por bloco do Ethereum. Permite a verificação de estado sem necessidade de confiança para clientes leves e recuperação de informações privadas.

Habilitando sistemas pseudônimos para identidades da Web2 usando Funções Pseudoaleatórias Alheias (Oblivious PseudoRandom Functions) verificáveis. Permite que contas de e-mail e sociais gerem nulificadores privados para votação anônima, fóruns privados e airdrops confidenciais.

O ZK Email fornece circuitos e SDKs para provar fatos sobre transcrições de e-mail redigidas onchain. Útil quando você deseja verificações de identidade ou recibo que preservem a privacidade sem expor caixas de entrada.

Uma iniciativa da PSE que avança a identidade digital com preservação de privacidade elaborando padrões técnicos, construindo infraestrutura ZK de código aberto e colaborando com governos. Trabalhando na integração da EUDI Wallet da UE e na ZKP Wallet Unit.

Verificação de identidade privada usando provas de conhecimento zero. Verifique idade, país ou prova de humanidade sem revelar nenhuma informação pessoal. Design mobile-first com SDK para integração e contratos de registro onchain.

O zkTLS / TLSNotary é um protocolo aberto para provar propriedades de sessões TLS com MPC para que os verificadores possam confiar nas transcrições sem ver o texto simples completo.

O Zokrates é uma caixa de ferramentas para ZK-SNARKs no Ethereum, oferecendo uma DSL, compilador e utilitários para configuração confiável, geração de provas e integração de verificador.

Um monorepo de bibliotecas de conhecimento zero reutilizáveis em várias linguagens (JavaScript, Solidity, Rust, Noir), oferecendo implementações bem testadas de primitivas criptográficas como árvores de Merkle, hash Poseidon e muito mais.