Narzędzia do kontraktów

ZK-Kit

Obwody ZK i prywatność

Odwiedź stronę

Zobacz następne

snark-verifier (Axiom)

O ZK-Kit

Monorepo bibliotek z wiedzą zerową wielokrotnego użytku w wielu językach (JavaScript, Solidity, Rust, Noir), oferujące dobrze przetestowane implementacje prymitywów kryptograficznych, takich jak drzewa Merkle, hash Poseidon i inne.

Tagi

Zorientowane na prywatność
SDK
Drzewa Merkle'a
Szyfrowanie

Repozytoriumprivacy-scaling-explorations

zk-kit385 (otwiera się w nowej karcie)

Informacje

Typ: Obwody ZK i prywatność
Gwiazdki na GitHubie: 385
Licencja: MIT
Przegląd wpisu: lipiec 2026

Podobne narzędzia

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.

SP1 (Succinct)

SP1 from Succinct is a zero-knowledge virtual machine that proves correct execution of RISC-V programs, and it is used to generate proofs for rollups and bridges. Teams compile a Rust program with it when a proof must stand in for re-executing that program onchain.

Circom

Circom to język dziedzinowy i kompilator do pisania i kompilowania obwodów arytmetycznych używanych w systemach dowodów z wiedzą zerową.