Vertrags-Tooling

Sonobe

ZK-Schaltkreise & Privatsphäre

Fokus auf Privatsphäre · Skalierbarkeit · SDK

Website privacy-scaling-explorations/sonobe

Eine modulare Folding-Bibliothek, die mehrere Folding-Schemata (Nova, HyperNova, ProtoGalaxy, CycleFold) und Decider-Backends (Groth16, KZG) für Incremental Verifiable Computation unterstützt. Unterstützt Arkworks-, Circom-, Noir- und Noname-Frontends.

Verwandte Ressourcen

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.

zkTLS/ TLSNotary

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.

ZKPassport

Private Identitätsverifizierung unter Verwendung von Zero-Knowledge-Beweisen. Verifizieren Sie Alter, Land oder den Nachweis der Menschlichkeit (Proof of Personhood), ohne persönliche Informationen preiszugeben. Mobile-First-Design mit SDK zur Integration und Onchain-Registrierungsverträgen.

Self Protocol

Self Protocol bietet offene Identitäts- und Beweis-Primitive, die Ersteller einbetten können, wenn sie datenschutzfreundliche Verifizierungsabläufe benötigen, die an Wallets oder Anmeldeinformationen gebunden sind.

Circom

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

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.