Strumenti per contratti

Lo strumento di sviluppo di smart contract per programmatori Python, data scientist e professionisti della sicurezza

Scaffold-ETH 2 è uno starter Next.js più Hardhat o Foundry con hook per il portafoglio, ricaricamento a caldo del contratto, utilità faucet locali e moduli di estensione per la distribuzione di dapp full-stack.

Un framework di sviluppo e test basato su Python per smart contract destinati alla Ethereum Virtual Machine.

Un set di strumenti Web3 ricco e accessibile per l'apprendimento, la costruzione e il test su più catene

Moccasin è il flusso di lavoro incentrato su Python di Cyfrin su Titanoboa per testare, eseguire il fuzzing e distribuire smart contract scritti in Vyper.

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.

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.

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.

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.

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.

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.

Hardhat è un ambiente di sviluppo per creare e distribuire il tuo software Ethereum

Foundry è una toolchain Rust veloce e portabile per l'ingegneria degli smart contract di Ethereum che gestisce le dipendenze, compila Solidity, esegue test di fuzzing e unitari, distribuisce contratti e guida l'interazione con la catena tramite script dal terminale o script di automazione Solidity.

Kurtosis pacchettizza devnet multi-servizio riproducibili in modo da poter avviare stack Ethereum o rollup realistici per i test di integrazione più velocemente rispetto ai file compose gestiti manualmente.

CreateX è il distributore universale trustless di pcaversaccio che avvolge i flussi in stile CREATE, CREATE2 e CREATE3 in modo che i team possano lanciare contratti da indirizzi prevedibili senza codice factory su misura.

Plugin Hardhat per distribuire i tuoi smart contract su più catene EVM con lo stesso indirizzo deterministico. Attualmente sono supportate un totale di 133 catene EVM, incluse (quasi) tutte le catene basate su OP Stack.

Create2Deployer è un contratto factory minimale di pcaversaccio che avvolge il codice operativo (opcode) CREATE2 con controlli di sicurezza in modo che i team possano distribuire contratti controfattuali a indirizzi deterministici.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Txtx trasforma lo stress, il dolore e le lacrime della gestione dell'infrastruttura degli smart contract introducendo la Crypto Infrastructure come codice. I runbook sono il progetto per l'eccellenza ingegneristica, stabilendo il nuovo standard per le infrastrutture Web3.

Cannon è uno strumento DevOps per i protocolli su Ethereum. Gestisce la distribuzione e la configurazione degli smart contract per lo sviluppo locale e le reti live.

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.

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.

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.

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.

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.

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.

I contratti OpenZeppelin sono la libreria di riferimento per lo sviluppo di smart contract.

Solidity è un linguaggio di alto livello orientato agli oggetti per l'implementazione di smart contract.

Linguaggio per smart contract in stile Python per l'EVM

Strumenti di sviluppo orientati a Solidity

Solady di Vectorized raccoglie frammenti di codice Solidity ottimizzati in modo aggressivo, dalle prove di Merkle agli aiutanti per la compressione, avvolgendo un attento assembly inline in API accessibili in modo che gli sviluppatori avanzati possano distribuire pattern efficienti in termini di gas imparando al contempo tecniche di ottimizzazione all'avanguardia da una libreria di riferimento vivente.

Fe è un linguaggio ispirato a Rust che ha come target l'EVM; oggi puoi esplorare il sistema di tipi di Fe v2 tramite CLI o strumenti per editor anche mentre la generazione del bytecode è ancora in evoluzione.

Solhint è un linter per Solidity che colleghi agli editor o alla CI per applicare regole di stile e individuare tempestivamente pattern pericolosi.

Plugin Solidity per IntelliJ

L'estensione Solidity per VS Code di Juan Blanco aggiunge l'evidenziazione della sintassi, comandi di compilazione, metadati al passaggio del mouse, correzioni rapide, rilevamento di monorepo, generazione di codice Nethereum opzionale, integrazione lint e un server LSP.

WhatsABI recupera selettori, proxy e ABI parziali dal solo bytecode: usalo in portafogli, explorer o strumenti locali quando manca il codice sorgente verificato ma hai comunque bisogno della decodifica dei dati di chiamata.

PRBMath è una libreria di smart contract che aggiunge il supporto per i tipi a virgola fissa e funzioni matematiche avanzate come logaritmi ed esponenziali in Solidity. Operando con numeri a 18 decimali, PRBMath è allo stesso tempo efficiente in termini di gas e facile da usare.

Solc-select è un'utilità a riga di comando per installare e passare rapidamente tra le versioni del compilatore Solidity.

Un plugin Prettier per formattare automaticamente il tuo codice Solidity.

Blocchi di costruzione per smart contract in Vyper all'avanguardia, altamente basati su opinioni, iper-ottimizzati e sicuri.

Solidity Bytes Utils è una libreria classica per concatenare, affettare ed eseguire il cast di array di byte dinamici nella memoria o nell'archiviazione di Solidity, mantenuta a lungo e ampiamente sottoposta a fork nei principali protocolli.

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 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.

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.

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.

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.

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.

Solmate è una raccolta moderna e basata su opinioni di blocchi di costruzione e utilità in Solidity ottimizzati per il gas per lo sviluppo di smart contract.

Un compilatore Solidity efficiente in termini di gas per Ethereum basato su LLVM dal team di ZKsync e collaboratori. Funziona come sostituto diretto di solc in flussi di lavoro come Foundry e Hardhat.

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.

Diamondscaffold è uno strumento CLI progettato per impalcare progetti diamond EIP-2535 con un layout e script predefiniti, rendendo più veloce la configurazione di proxy modulari aggiornabili.

Compilatore Solidity modulare ed estremamente veloce scritto in Rust da Paradigm. Progettato come uno stack di compilazione adatto ai contributori per build più veloci e una diagnostica migliore.

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.

ZK Email fornisce circuiti e SDK per provare fatti su trascrizioni di e-mail oscurate onchain. Utile quando desideri controlli dell'identità o delle ricevute che preservino la privacy senza rivelare le caselle di posta.

Self Protocol fornisce primitive aperte di identità e prova che i costruttori possono incorporare quando necessitano di flussi di verifica che preservano la privacy legati a portafogli o credenziali.

zkTLS / TLSNotary è un protocollo aperto per provare le proprietà delle sessioni TLS con MPC in modo che i verificatori possano fidarsi delle trascrizioni senza vedere l'intero testo in chiaro.

Strumenti per la creazione di applicazioni che preservano la privacy utilizzando le carte d'identità Aadhaar del governo indiano. Fornisce circuiti a conoscenza zero (ZK), TypeScript, Solidity e librerie React per consentire ai titolari di Aadhaar di dimostrare la residenza senza rivelare dati personali.

Circom è un linguaggio specifico del dominio e un compilatore per scrivere e compilare circuiti aritmetici utilizzati nei sistemi di prova a conoscenza zero.

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.

Il fork riprogettato da PSE del sistema di prova PLONK Halo2 di Zcash, che presenta un backend KZG con verificatore Solidity per una verifica economica su layer 1 (l1), supporto per curve ellittiche multiple e un'architettura frontend/backend disaccoppiata.

MACI (Minimal Anti-Collusion Infrastructure) utilizza prove a conoscenza zero per abilitare sistemi di voto e segnalazione privati e resistenti alla collusione su Ethereum.

Un toolkit che semplifica la generazione di prove a conoscenza zero lato client su dispositivi mobili. Connette i sistemi di prova ZK (Halo2, Circom) per generare binding per iOS, Android e browser, sfruttando la GPU mobile per prestazioni migliorate.

Un toolkit per le cerimonie di configurazione attendibile della Fase 2 di Groth16. Aiuta gli sviluppatori a creare e gestire configurazioni attendibili per applicazioni ZK, con una webapp complementare (DefinitelySetup) per il monitoraggio e la partecipazione.

Una cerimonia di configurazione attendibile ZK-SNARK in corso (dal 2019) per circuiti fino a 2^28 vincoli, che genera oltre 530 milioni di potenze di tau. Una cerimonia multi-parte in cui la sicurezza regge finché almeno un partecipante è onesto.

Semaphore è un protocollo a conoscenza zero per prove di appartenenza a gruppi privati, che consente la segnalazione e l'autenticazione anonime senza rivelare l'identità.

snarkjs è un toolkit JavaScript e CLI per generare e verificare prove ZK-SNARK e per eseguire flussi di lavoro di prova comuni in Node.js e nel browser.

Una libreria di folding modulare che supporta molteplici schemi di folding (Nova, HyperNova, ProtoGalaxy, CycleFold) e backend decisori (Groth16, KZG) per l'Incremental Verifiable Computation. Supporta i frontend Arkworks, Circom, Noir e Noname.

Verifica dell'identità privata utilizzando prove a conoscenza zero. Verifica l'età, il paese o la prova di umanità senza rivelare alcuna informazione personale. Design mobile-first con SDK per l'integrazione e contratti di registro onchain.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Un monorepo di librerie a conoscenza zero riutilizzabili in più linguaggi (JavaScript, Solidity, Rust, Noir), che offre implementazioni ben testate di primitive crittografiche come alberi di Merkle, hash Poseidon e altro ancora.