Vai al contenuto principale
Strumenti per contratti

Lambdaworks

Circuiti ZK e privacy

Visualizza su GitHub (si apre in una nuova scheda)

Vedi il prossimo

zkTLS/ TLSNotary

Informazioni su 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.

Tag

  • Verifica

Repositorylambdaclass

Pacchettohttps:

Info

Tipo
Circuiti ZK e privacy
Stelle su GitHub
738
Licenza
Apache-2.0
Scheda revisionata
settembre 2026

Strumenti simili

ZK Email

ZK Email

ZK Email fornisce circuiti e SDK per provare fatti su trascrizioni di e-mail oscurate onchain. Utile quando desideri controlli dell'identità o delle ricevute che preservino la privacy senza rivelare le caselle di posta.

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 è un linguaggio specifico del dominio e un compilatore per scrivere e compilare circuiti aritmetici utilizzati nei sistemi di prova a conoscenza zero.