Przejdź do głównej treści
Narzędzia do kontraktów

Lambdaworks

Obwody ZK i prywatność

Zobacz na GitHubie (otwiera się w nowej karcie)

Zobacz następne

zkTLS/ TLSNotary

O Lambdaworks

Lambdaworks is a Rust library of SNARK and STARK prover components that can be used piecemeal or assembled into a custom proving system. Teams pull its crates when building their own prover rather than adopting a finished one.

Tagi

  • Weryfikacja

Repozytoriumlambdaclass

Pakiethttps:

Informacje

Typ
Obwody ZK i prywatność
Gwiazdki na GitHubie
738
Licencja
Apache-2.0
Przegląd wpisu
wrzesień 2026

Podobne narzędzia

ZK Email

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 (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

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