Narzędzia do kontraktów

RISC Zero risc0-ethereum

Obwody ZK i prywatność

Weryfikacja · Skalowalność · SDK

risc0/risc0-ethereum https://crates.io/crates/risc0-ethereum-contracts

risc0-ethereum holds the integration libraries and verifier contracts for using the RISC Zero zkVM with Ethereum and other EVM chains. Teams proving computation off chain import these crates to settle the resulting proofs onchain.

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.