Přejít na hlavní obsah
Nástroje pro kontrakty

Lambdaworks

ZK obvody a soukromí

Zobrazit na GitHubu (otevře se v nové záložce)

Zobrazit další

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.

Štítky

  • Verifikace

Repozitářlambdaclass

Balíčekhttps:

Informace

Typ
ZK obvody a soukromí
Hvězdičky na GitHubu
738
Licence
Apache-2.0
Záznam zkontrolován
září 2026

Podobné nástroje

ZK Email

ZK Email

ZK Email poskytuje obvody a SDK pro dokazování faktů o redigovaných e-mailových přepisech onchain. Užitečné, když chcete ověřování identity nebo stvrzenek se zachováním soukromí bez odhalování doručené pošty.

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 je doménově specifický jazyk a kompilátor pro psaní a kompilaci aritmetických obvodů používaných v systémech důkazů s nulovou znalostí.