Narzędzia do kontraktów

snark-verifier (Axiom)

Obwody ZK i prywatność

Weryfikacja · Solidity · Optymalizacja gazu

axiom-crypto/snark-verifier https://crates.io/crates/snark-verifier

snark-verifier generates gas-efficient onchain verifiers for halo2 SNARKs and is maintained by Axiom, forked from the original PSE repository. halo2 developers import the crate to produce the Solidity verifier that checks their 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.