Contract tooling

ZoKrates

ZK circuits & privacy

Compiler · CLI · Fokus auf Privatsphäre

ZoKrates ist eine Toolbox für ZK-SNARKs auf Ethereum, die eine DSL, einen Compiler und Dienstprogramme für das Trusted Setup, die Beweisgenerierung und die Integration von Verifizierern bietet.

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.