Contract tooling

zkTLS/ TLSNotary

ZK circuits & privacy

Fokus auf Privatsphäre · Verifikation

zkTLS / TLSNotary ist ein offenes Protokoll zum Beweisen von Eigenschaften von TLS-Sitzungen mit MPC, sodass Verifizierer Transkripten vertrauen können, ohne den vollständigen Klartext zu sehen.

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.