Narzędzia do kontraktów

powdr

Obwody ZK i prywatność

Weryfikacja · Optymalizacja wydajności

powdr-labs/powdr https://crates.io/crates/powdr-number

powdr is a toolkit for accelerating and hardening zkVMs by moving specific computations into custom circuits. Teams running a zkVM use it to generate custom precompiles and check constraints, and its authors still describe the code as experimental.

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.