Narzędzia do kontraktów

ZoKrates

Obwody ZK i prywatność

Kompilator · CLI · Zorientowane na prywatność

ZoKrates to zestaw narzędzi dla zkSNARKs na Ethereum, oferujący DSL, kompilator i narzędzia do zaufanej konfiguracji, generowania dowodów i integracji weryfikatora.

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.