Contract tooling

Verifiable UBT

ZK circuits & privacy

Incentrato sulla privacy · Verifica

tkmct/go-ethereum/tree/test-ubt-prompt(2 ☆)

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.

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.