Zum Hauptinhalt springen
Vertrags-Tooling
Archiviert

Halo2

ZK-Schaltkreise & Privatsphäre

Auf GitHub ansehen (öffnet in einem neuen Tab)

Nächstes ansehen

p0tion

Über Halo2

Der neu strukturierte Fork des Halo2-PLONK-Beweissystems von Zcash durch PSE, mit einem KZG-Backend und Solidity-Verifizierer für wirtschaftliche L1-Verifizierung, Unterstützung für mehrere elliptische Kurven und einer entkoppelten Frontend-/Backend-Architektur.

Tags

  • Fokus auf Privatsphäre
  • Skalierbarkeit
  • Entwicklererfahrung
  • Verifikation

Repositoryprivacy-scaling-explorations

Info

Typ
ZK-Schaltkreise & Privatsphäre
GitHub-Sterne
250
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.

Circom

Circom

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