Contract tooling

Halo2

ZK circuits & privacy

Incentrato sulla privacy · Scalabilità · Esperienza dello sviluppatore · Verifica

privacy-scaling-explorations/halo2(250 ☆)

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.

Related resources

ZK Email

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.

Railgun

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.

snarkjs

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.

Noir

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

Circom

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

Aztec

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.