Outils de contrat

Lambdaworks

Circuits ZK et confidentialité

Voir sur GitHub

Voir le suivant

zkTLS/ TLSNotary

À propos de 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.

Dépôtlambdaclass

lambdaworks738 (s'ouvre dans un nouvel onglet)

Paquethttps:

/crates.io/crates/lambdaworks-math (s'ouvre dans un nouvel onglet)

Informations

Type: Circuits ZK et confidentialité
Étoiles GitHub: 738
Licence: Apache-2.0
Fiche révisée: septembre 2026

Outils similaires

ZK Email

ZK Email fournit des circuits et des SDK pour prouver des faits sur des transcriptions d'e-mails expurgées onchain. Utile lorsque vous souhaitez des vérifications d'identité ou de reçus préservant la confidentialité sans divulguer le contenu des boîtes de réception.

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 est un langage spécifique à un domaine et un compilateur pour écrire et compiler des circuits arithmétiques utilisés dans les systèmes de preuves à divulgation nulle de connaissance.