Neues modulares zk-Toolkit! ⚡ Verwenden Sie es, um zkps aus Offchain-Bestätigungen zu generieren. Der Ablauf: - Offchain-Bestätigung signieren/verwenden - Beweise mit SP1 generieren - Mit WASM verifizieren - Verifizierungsergebnis onchain bestätigen (optional) Besonderer Dank an @shivansheth & @whoisgautxm (zkAttestify) für ihren Beitrag und an @SuccinctLabs für die Unterstützung!

Hier ist der Ablauf: 1) Signieren/Anbieten einer gültigen Offchain-Bestätigung - Strukturierte Bestätigungen werden mit EAS erstellt - Signiert mit EIP712 - Daten bleiben Offchain und privat. - Die Signatur ist verifizierbar. 2) ZK-Beweis generieren (SP1) - Verwenden Sie SP1 zkvm, um die EAS-Struktur zu analysieren - Überprüft die Richtigkeit der Signatur und die Logik (hardcodiert für die Demo) - Das SP1-Programm generiert Groth16- oder Plonk-Beweise - Die Ausgabe umfasst die Beweisdatei + öffentliche Eingaben Die Repos dob-program und dob-scripts behandeln die Logik. 3) Überprüfen in WASM (Browser oder Node) - Laden Sie den kompilierten Verifier - Geben Sie den Beweis + öffentliche Eingaben an - Das JS-Skript führt die Beweisverifizierung durch und überprüft die Logik 4) Optional: Bestätigen Sie das Verifizierungsergebnis Onchain - Reichen Sie den zk-Beweis bei einem Solidity-Vertragsverifier (Groth16-Verifier) ein - Bei Erfolg rufen Sie EAS auf, um eine neue Onchain-Bestätigung auszustellen - Schema und Daten sind anpassbar (isOver18 = true) - Gibt Ihnen Kontrolle über Ablauf/Rücknahme/Kombinierbarkeit - Kein Link zur ursprünglichen Offchain-Bestätigung Hinweise - Dieser Ablauf geht davon aus, dass Sie dem Bestätiger der Offchain-Bestätigung vertrauen. - Die Generierung von Groth16/Plonk-Beweisen ist langsam. Verwenden Sie das Succinct Prover Network für verbesserte Effizienz.

Dieses Tutorial/Demo wird Ihnen in 15 Minuten zeigen, wie es funktioniert. Es verwendet ein einfaches Beispiel zur Altersverifizierung. Das Toolkit ist modular, sodass Sie es mit ein paar Anpassungen später gegen Ihre eigenen Schemata / Schaltkreislogik austauschen können.

Besuchen Sie das Github

Möchten Sie stattdessen ein Video vom ZKAttestify-Team ansehen?

Möchten Sie den Ablauf anpassen? Hier ist, was Sie ändern sollten: - In `dob-program/src/main.rs` – ändern Sie die Logik (z. B. `degree == "CS"`) - In `dob-script/input.json` – ändern Sie die Attestierungsdaten und das Schema - In `WASM_verifier/` – überprüfen Sie jeden Nachweis mit der gleichen Struktur

Dieses Projekt ist eine Referenzimplementierung. Es ist modular, Open Source und bereit zum Forken. Helfen Sie uns, die Unterstützung für weitere Schemata, Prüfer und Anwendungsfälle zu erweitern. Wir suchen aktiv nach Mitwirkenden und Entwicklern, die dieses Repository auf die nächste Stufe bringen möchten. Nehmen Sie Kontakt auf! 🫡