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.

Huff is a low-level assembly language and compiler for writing hand-optimized EVM bytecode, with development continuing in huff2. Builders reach for it when bytecode has to be tuned by hand.

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

Um conjunto de ferramentas Web3 rico e acessível para aprender, construir e testar em várias cadeias

The Stylus SDK is the Rust SDK for writing smart contracts that run in Arbitrum's Stylus environment alongside the EVM. Rust builders use it when contract logic should be written in Rust rather than Solidity.

BuildBear is a hosted service that spins up a private testnet sandbox mirroring a real chain such as Ethereum, Polygon, BSC, or Arbitrum. Builders point tests at it to work against a private fork with real chain state.

slang from the Nomic Foundation is a modular Solidity compiler frontend with a parser, concrete syntax tree, and bindings. Builders import it when writing a linter, formatter, or other tool that has to understand Solidity source.

Wake is a Python framework for testing, fuzzing, and static analysis of Solidity projects. Builders reach for it when they want to write contract tests and fuzzing campaigns in Python and run analysis over the same codebase.

py-solc-x is a Python wrapper and version manager for the solc Solidity compiler, used by Brownie and Ape style test suites. Python builders install it to fetch and switch compiler versions from their own scripts.

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

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.

PoWFaucet is a modular testnet faucet for EVM chains with anti-abuse methods including a mining puzzle, captcha, IP limits, and Gitcoin Passport, and it backs the Sepolia proof-of-work faucet. Teams running a testnet self-host it to hand out test ETH without giving it all to one address.

hardhat-deploy is a Hardhat plugin for replicable deployments with named accounts, proxies, and diamonds. Builders install it when deployments must be repeatable across networks and track upgradeable contracts.

The Kurtosis ethereum-package spins up reproducible multi-client Ethereum devnets, including mev-boost and supporting tooling. Builders run it when they need a local network that mirrors a real client mix.

eth-docker is a Dockerized stack for deploying and managing execution, consensus, and validator clients on mainnet. Node operators use it to run a full node setup from configuration files instead of hand-installed binaries.

DAppNode is an operating system with an app store for running Ethereum execution and consensus clients and other node software on your own hardware. Someone setting up a home node installs it and picks client packages instead of configuring each service by hand.

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.

simple-optimism-node is a one-command Docker setup for running an OP Stack node. Builders run it to get their own Optimism node, in the same way eth-docker covers mainnet clients.

ethereum-helm-charts are Helm charts from ethPandaOps for running Ethereum execution and consensus clients and related infrastructure on Kubernetes. Teams add them to a cluster rather than writing client manifests themselves.

Chainlink Faucets dispense testnet ETH and LINK across the supported test networks. Builders use them to fund an account before deploying and testing contracts on a testnet.

Immunefi is a bug bounty platform where projects post rewards for whitehats who find and responsibly disclose contract vulnerabilities. Teams list a program there to give researchers a paid route to report issues.

Rocket Pool Smart Node is the command line package node operators run to set up and manage a Rocket Pool minipool, wrapping execution and consensus clients plus validator duties.

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.

foundry-toolchain is the official GitHub Action that installs Foundry in continuous integration. Builders add it to a workflow so forge test and forge script run on every pull request.

Sedge is a command line setup tool from Nethermind that generates docker-compose configurations for execution, consensus, and validator client combinations. Builders run it to get a working node setup without writing the compose files.

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.

ethereum-genesis-generator creates execution and consensus layer genesis state for a testnet and serves it over a web server. Devnet and rollup teams run it to produce the genesis files for a custom network.

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.

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.

ethereal is a Go command line tool for everyday Ethereum tasks, including sending transactions, managing ENS records, transferring tokens, and inspecting accounts. Builders install it for one-off operations that do not justify a script.

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.

EthPillar is a setup script and terminal interface for installing and managing an Ethereum staking node with execution, consensus and MEV-Boost clients. Solo stakers run it to stand up a node without editing client configuration by hand.

rocketh is a deployment and test harness for Ethereum contracts built around viem, keeping one record of deployments per network so scripts and tests agree. Builders use it when they want repeatable deployments without Hardhat, which the hardhat-deploy plugin wraps over the same code.

Decker is a TypeScript CLI for creating configurable local Ethereum devnets with execution and consensus clients, relays, and block builders. Teams use its recipes for integration tests and infrastructure development.

O blocksmith.js é um pequeno utilitário em JavaScript em torno do forge e do anvil para criar scripts de testes do Foundry em várias cadeias ou várias instâncias quando uma única EVM local não é suficiente.

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.

Safe Smart Account is the widely deployed set of modular multisig smart-account contracts behind Safe. Wallet and treasury builders deploy or extend it to add multisignature control and account modules.

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.

ERC721A is a gas-optimized ERC-721 implementation with cheap consecutive batch minting. Builders import it when an NFT contract mints several tokens to the same address at once and minting cost matters.

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.

Plugin de Solidity para IntelliJ

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 Solc-select é um utilitário de linha de comando para instalar e alternar rapidamente entre as versões do compilador Solidity.

Multicall3 is the canonical contract for batching many reads or writes into a single transaction. Builders call it from contracts and scripts to fetch or update state across several contracts in one round trip.

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

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.

SolidState Solidity is an upgradeable-first contract library built around the diamond pattern of EIP-2535. Teams import it when contracts are organized as diamond facets from the start.

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

solidity-docgen generates Markdown documentation for a Solidity project from its NatSpec comments. Teams run it so published docs stay in step with the contract source.

weiroll is an operation-chaining scripting language and set of contracts for composing many EVM calls into one transaction. Teams building call-routing or batching systems use it to express the call sequence as a script.

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.

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.

ABDKMath64x64 is a Solidity library for 64.64-bit binary fixed-point math. Builders import it when a contract needs fixed-point arithmetic that Solidity does not provide natively.

ERC721A-Upgradeable is the proxy-upgradeable variant of the ERC721A implementation. Builders import it when a proxy-based NFT contract needs the batch minting design of ERC721A.

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.

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.

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

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.

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.

arkworks algebra is a set of Rust libraries for finite field, elliptic curve, and polynomial arithmetic, and it is the math layer under many SNARK and STARK toolchains. Rust builders add the ark crates when writing proving code from the ground up.

Plonky3 is a toolkit of polynomial IOP building blocks for constructing custom SNARK and STARK proving systems, and several zkVM projects build on it. Rust builders add the p3 crates when writing their own proving system.

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.

gnark-crypto provides elliptic curve and pairing cryptography for BN, BLS12, BLS24, and BW6 curves, and it is the backend of the gnark SNARK library. Go builders import it directly for curve and pairing math.

The RAILGUN Wallet SDK lets an app shield tokens and NFTs, hold private balances and send private transfers and contract calls using zero-knowledge proofs. It runs on Ethereum, Arbitrum, Polygon, BNB Chain and more, on top of the lower-level RAILGUN engine.

Lambdaworks is a Rust library of SNARK and STARK prover components that can be used piecemeal or assembled into a custom proving system. Teams pull its crates when building their own prover rather than adopting a finished one.

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.

powdr is a toolkit for accelerating and hardening zkVMs by moving specific computations into custom circuits. Teams running a zkVM use it to generate custom precompiles and check constraints, and its authors still describe the code as experimental.

op-succinct is a proving engine that generates SP1 validity proofs for OP Stack rollups. Rollup teams deploy it to turn an OP Stack chain into a validity proof rollup, running it as a separate service.

risc0-ethereum holds the integration libraries and verifier contracts for using the RISC Zero zkVM with Ethereum and other EVM chains. Teams proving computation off chain import these crates to settle the resulting proofs onchain.

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.

rsp from Succinct generates zero-knowledge proofs of Ethereum and OP Stack block execution, built on Reth. Its authors describe it as a minimal work in progress that is not meant for production, so it mainly serves teams already building on SP1.

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.

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.

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.

snark-verifier generates gas-efficient onchain verifiers for halo2 SNARKs and is maintained by Axiom, forked from the original PSE repository. halo2 developers import the crate to produce the Solidity verifier that checks their proofs onchain.

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.

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.

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.

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.