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.

ethPM è il gestore di pacchetti immutabile per consumare, distribuire o gestire qualsiasi sistema di smart contract EVM.

IDE per smart contract leggero basato sul web

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

Ethernaut CLI è una cassetta degli attrezzi di comandi basata su Hardhat di EthernautDAO con assistenti IA opzionali per le attività comuni di Ethereum quando preferisci i terminali alle interfacce grafiche (GUI).

opstack-kit impalca frontend e script compatibili con la Superchain con aiutanti per i ponti, flussi CustomGasToken e attività della CLI di OP Stack integrati nello starter.

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.

Un plugin per Hardhat che fornisce analisi sull'utilizzo del gas per le suite di test degli smart contract. Ha un supporto dedicato per le catene OPStack, è una dipendenza in oltre 150.000 repository GitHub e viene scaricato da NPM oltre 100.000 volte a settimana.

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.

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.

Uno strumento per ottenere la distribuzione più recente da un determinato ambiente in Foundry. In questo modo, puoi creare script basati su distribuzioni precedenti in Solidity.

Redprint abbina un playground in stile procedura guidata con le librerie redprint-forge in modo che gli sviluppatori possano comporre sperimentalmente aggiornamenti di contratto OP Stack in Solidity con distribuzioni type-safe, test riutilizzabili, scripting di transazioni compatibili con Safe e cablaggio di componenti modulari prima che le modifiche passino alle pipeline di produzione.

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.

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.

Una CLI open source al 100% che accompagna i blocchi di costruzione degli smart contract. Questa cassetta degli attrezzi può ridurre il costo del gas sui layer 2 (l2) codificando i dati di chiamata per lo sviluppo di applicazioni decentralizzate (dapp) in modo da utilizzare il minor numero possibile di byte di dati di chiamata.

Confronta facilmente i report sul gas generati automaticamente da Foundry su ciascuna delle tue Pull Request!

Avvia un ambiente Superchain personale per eseguire test, effettuare il fork delle reti e ispezionare lo stato con il controllo completo su come opera il tuo rollup. Il playground di sviluppo definitivo per Ethereum e Superchain

Questo proxy di firma consente agli operatori di OP Stack di instradare la firma di sequencer, batcher, proponente e challenger tramite AWS KMS o YubiHSM invece di chiavi private grezze su disco.

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.

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.

EvmTools raggruppa utilità per browser ed estensioni (decodificatori, helper Merkle, convertitori e piccoli strumenti simili) per il debug quotidiano degli smart contract in un unico posto.

Un framework onchain flessibile e componibile per la creazione, il riutilizzo e la personalizzazione dei gatekeeper. Utilizza Policy e Checker come primitive principali per il controllo degli accessi basato sugli attributi con pattern proxy minimi efficienti in termini di gas e convalida a più fasi.

Implementazione di TinyAlloc in Fe-lang per l'EVM

Il protocollo del grafico organizzativo: codifica i ruoli, gli agenti e le autorizzazioni della tua organizzazione in un grafico programmabile con Hats Protocol

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.

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.

Linguaggio di programmazione in stile Rust che ha come target l'EVM

Libreria HTTP per Solidity basata su curl

VSCode Solidity Inspector raggruppa pratiche utilità Solidity in VSCode: visualizzazioni del layout di archiviazione, suggerimenti per l'igiene delle importazioni, riepiloghi di distribuzione di Foundry, stub di test Bulloak, importazioni sensibili alle rimappature e suggerimenti sulle dimensioni del codice.

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.

Plugin Solidity per IntelliJ

Queste librerie pacchettizzano la matematica del rischio e del pricing di Black-Scholes ottimizzata per Derive in Go e Rust, in modo che i moduli di rischio onchain possano riutilizzare implementazioni pesantemente ottimizzate legate allo stack di margine di Derive.

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.

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.

Aztec è un rollup Ethereum incentrato sulla privacy e una piattaforma per sviluppatori per la creazione di applicazioni con privacy programmabile e prove a conoscenza zero.

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

Un progetto di ricerca PSE che consente l'uso del linguaggio Circom per sviluppare applicazioni MPC. Circuiti MPC aritmetici e booleani compilati utilizzando Circom con integrazione del backend MP-SPDZ per applicazioni di apprendimento automatico.

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.

Una libreria di Multi-Party Computation (MPC) sicura, performante, modulare e portabile in Rust. Supporta l'esecuzione nativa e WebAssembly. Alimenta l'infrastruttura crittografica di TLSNotary ed è utilizzata in progetti incentrati sulla privacy.

Noir è un linguaggio ispirato a Rust per scrivere circuiti a conoscenza zero con una sintassi adatta agli sviluppatori e strumenti mantenuti da Aztec.

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.

La seconda generazione di Provable Object Datatypes (POD) crittografici. Consente calcoli flessibili sui dati attraverso predicati personalizzati e operazioni ricorsive. Sviluppato da 0xPARC in collaborazione con PSE.

Railgun è un protocollo per la privacy per Ethereum e le reti EVM che fornisce transazioni schermate e interazioni DeFi private con prove a conoscenza zero.

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.

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.

Genera prove zkVM ricorsive verificando che gli aggiornamenti di stato dell'Unified Binary Trie (UBT) e del Merkle Patricia Trie corrispondano per ogni blocco Ethereum. Abilita la verifica dello stato trustless per i client leggeri e il recupero di informazioni private.

Abilita sistemi pseudonimi per le identità Web2 utilizzando Oblivious PseudoRandom Functions verificabili. Consente agli account e-mail e social di generare nullifier privati per voti anonimi, forum privati e airdrop confidenziali.

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.

Un'iniziativa PSE che promuove l'identità digitale nel rispetto della privacy redigendo standard tecnici, costruendo infrastrutture ZK open source e collaborando con i governi. Lavora all'integrazione del portafoglio EU EUDI e all'unità portafoglio ZKP.

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.

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.

ZoKrates è un set di strumenti per zkSNARK su Ethereum, che offre un DSL, un compilatore e utilità per la configurazione attendibile, la generazione di prove e l'integrazione del verificatore.

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.