Contract tooling

Circom-MPC

ZK circuits & privacy

Fokus auf Privatsphäre · Verschlüsselung

Ein PSE-Forschungsprojekt, das die Verwendung der Circom-Sprache zur Entwicklung von MPC-Anwendungen ermöglicht. Kompilierte arithmetische und boolesche MPC-Schaltkreise unter Verwendung von Circom mit MP-SPDZ-Backend-Integration für Anwendungen des maschinellen Lernens.

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.