snark-verifier (Axiom)

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.

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

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.

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