Zum Hauptinhalt springen
Vertrags-Tooling

Lambdaworks

ZK-Schaltkreise & Privatsphäre

Auf GitHub ansehen (öffnet in einem neuen Tab)

Nächstes ansehen

zkTLS/ TLSNotary

Über 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.

Tags

  • Verifikation

Repositorylambdaclass

Pakethttps:

Info

Typ
ZK-Schaltkreise & Privatsphäre
GitHub-Sterne
738
Lizenz
Apache-2.0
Eintrag überprüft
September 2026

Ähnliche Tools

ZK Email

ZK Email

ZK Email bietet Schaltkreise und SDKs, um Fakten über geschwärzte E-Mail-Transkripte Onchain zu beweisen. Nützlich, wenn Sie datenschutzfreundliche Identitäts- oder Belegprüfungen wünschen, ohne Posteingänge offenzulegen.

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 ist eine domänenspezifische Sprache und ein Compiler zum Schreiben und Kompilieren arithmetischer Schaltkreise, die in Zero-Knowledge-Beweissystemen verwendet werden.