Strumenti per contratti

Verifiable UBT

Circuiti ZK e privacy

Incentrato sulla privacy · Verifica

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.

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.