Strumenti per contratti

Halo2

Circuiti ZK e privacy

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

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.

Risorse correlate

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.

zkTLS/ TLSNotary

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.

ZKPassport

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.

Self Protocol

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.

Circom

Circom è un linguaggio specifico del dominio e un compilatore per scrivere e compilare circuiti aritmetici utilizzati nei sistemi di prova 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.