Narzędzia do kontraktów

rsp (Succinct)

Obwody ZK i prywatność

Weryfikacja · Warstwa 2 · CLI

rsp from Succinct generates zero-knowledge proofs of Ethereum and OP Stack block execution, built on Reth. Its authors describe it as a minimal work in progress that is not meant for production, so it mainly serves teams already building on SP1.

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.

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.

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.

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.

Semaphore

Semaphore to protokół z wiedzą zerową do prywatnych dowodów członkostwa w grupie, umożliwiający anonimowe sygnalizowanie i uwierzytelnianie bez ujawniania tożsamości.