Contract tooling

Verifiable UBT

ZK circuits & privacy

Zorientowane na prywatność · Weryfikacja

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

Generuje rekurencyjne dowody zkVM weryfikujące, że aktualizacje stanu Unified Binary Trie (UBT) i drzewa Merkle Patricia są zgodne dla każdego bloku Ethereum. Umożliwia niewymagającą zaufania weryfikację stanu dla lekkich klientów i prywatne pobieranie informacji.

Related resources

ZK Email

ZK Email dostarcza obwody i SDK do dowodzenia faktów na temat zredagowanych transkryptów e-mail onchain. Przydatne, gdy chcesz zachować prywatność tożsamości lub sprawdzić pokwitowania bez ujawniania (doxxingu) skrzynek odbiorczych.

Railgun

Railgun to protokół prywatności dla Ethereum i sieci EVM, który zapewnia osłonięte transakcje i prywatne interakcje DeFi za pomocą dowodów z wiedzą zerową.

snarkjs

snarkjs to zestaw narzędzi JavaScript i CLI do generowania i weryfikacji dowodów zkSNARK oraz do uruchamiania typowych przepływów pracy dowodzenia w Node.js i przeglądarce.

Noir

Noir to inspirowany Rustem język do pisania obwodów z wiedzą zerową z przyjazną dla deweloperów składnią i narzędziami utrzymywanymi przez Aztec.

Circom

Circom to język dziedzinowy i kompilator do pisania i kompilowania obwodów arytmetycznych używanych w systemach dowodów z wiedzą zerową.

Aztec

Aztec to stawiający na prywatność rollup Ethereum i platforma deweloperska do budowania aplikacji z programowalną prywatnością i dowodami z wiedzą zerową.