Zum Hauptinhalt springen
Vertrags-Tooling

Circom

ZK-Schaltkreise & Privatsphäre

Website besuchen (öffnet in einem neuen Tab)Circom auf GitHub (öffnet in einem neuen Tab)

Nächstes ansehen

arkworks algebra

Über Circom

Circom ist eine domänenspezifische Sprache und ein Compiler zum Schreiben und Kompilieren arithmetischer Schaltkreise, die in Zero-Knowledge-Beweissystemen verwendet werden.

Tags

  • Compiler
  • CLI
  • Fokus auf Privatsphäre

Repositoryiden3

Info

Typ
ZK-Schaltkreise & Privatsphäre
GitHub-Sterne
1701
Lizenz
GPL-3.0
Eintrag überprüft
Juli 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.

snarkjs

snarkjs

snarkjs ist ein JavaScript- und CLI-Toolkit zum Generieren und Verifizieren von ZK-SNARK-Beweisen und zum Ausführen gängiger Beweis-Workflows in Node.js und im Browser.