Narzędzia do kontraktów

Verifiable UBT

Obwody ZK i prywatność

Zorientowane na prywatność · Weryfikacja

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.

Powiązane zasoby

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.

zkTLS/ TLSNotary

zkTLS / TLSNotary to otwarty protokół do dowodzenia właściwości sesji TLS za pomocą MPC, dzięki czemu weryfikatorzy mogą ufać transkryptom bez widzenia pełnego tekstu jawnego.

ZKPassport

Prywatna weryfikacja tożsamości przy użyciu dowodów z wiedzą zerową. Zweryfikuj wiek, kraj lub dowód bycia człowiekiem (proof of personhood) bez ujawniania jakichkolwiek danych osobowych. Projekt zorientowany na urządzenia mobilne (mobile-first) z SDK do integracji i kontraktami rejestru onchain.

Self Protocol

Self Protocol zapewnia otwarte prymitywy tożsamości i dowodów, które budowniczowie mogą osadzić, gdy potrzebują przepływów weryfikacji chroniących prywatność, powiązanych z portfelami lub poświadczeniami.

Circom

Circom to język dziedzinowy i kompilator do pisania i kompilowania obwodów arytmetycznych używanych w systemach 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.