Contract tooling

Halo2

ZK circuits & privacy

Fokus auf Privatsphäre · Skalierbarkeit · Entwicklererfahrung · Verifikation

privacy-scaling-explorations/halo2(250 ☆)

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.

Related resources

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.

Railgun

Railgun ist ein Privatsphäre-Protokoll für Ethereum- und EVM-Netzwerke, das abgeschirmte Transaktionen und private DeFi-Interaktionen mit Zero-Knowledge-Beweisen bietet.

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.

Noir

Noir ist eine von Rust inspirierte Sprache zum Schreiben von Zero-Knowledge-Schaltkreisen mit einer entwicklerfreundlichen Syntax und Tools, die von Aztec gepflegt werden.

Circom

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

Aztec

Aztec ist ein auf Privatsphäre ausgerichtetes Ethereum-Rollup und eine Entwicklerplattform zum Erstellen von Anwendungen mit programmierbarer Privatsphäre und Zero-Knowledge-Beweisen.