Über den Service
ÜbersetztIch entwickle industrielle Zero-Knowledge-Schemata und -Beweise auf Noir — Aztecs ZK-Sprache mit Rust-inspirierter Syntax. Noir ermöglicht es Ihnen, private Logik in sauberem, lesbarem Code zu beschreiben, während es backend-unabhängig bleibt: das Schema wird zu ACIR (Abstract Circuit Intermediate Representation) kompiliert und kann mit verschiedenen Beweissystemen arbeiten, einschließlich Barretenberg für UltraHonk und UltraPlonk-Beweise.
Was Sie erhalten:
— Benutzerdefinierte Schemata auf Noir für Identifikation, Mitgliedschaftsbeweise, geheime Abstimmungen, Berechtigungsüberprüfung, Mixer und vertrauliche Übertragungen.
— Effizientes Constraint-Design, das die Anzahl der Tore und die Beweisgenerierungszeit reduziert.
— Wiederverwendbare Noir-Bibliotheken und -Module mit klaren Schnittstellen, Unit-Tests über nargo und dokumentierten öffentlichen und privaten Eingaben.
— Verifier-Integration: Generierung von Solidity- oder Vertragsverifizierern für die On-Chain-Beweisverifizierung sowie Off-Chain-Beweisgenerierung.
— Merkle-Baum-Einschlussbeweise, Hash-Verpflichtungen (Pedersen, Poseidon, Keccak), Bereichsprüfungen und Signaturverifizierung innerhalb des Schaltkreises.
— Vollständige Integration mit JavaScript- oder TypeScript-Schicht (Node oder Browser) für die Zeugen-Konstruktion und Beweisgenerierung.
Prozess: Ich beginne mit Ihren Datenschutzanforderungen, identifiziere öffentliche und private Eingaben, modelliere die Einschränkungen und verfeinere das Schema für Robustheit und Leistung. Jedes Schema kommt mit einer Testsuite, einer Beschreibung der Vertrauensannahmen und Anweisungen für Beweis und Verifizierung.
Beschreiben Sie Ihre Aufgabe — ich werde die Kosten basierend auf den Einschränkungen bewerten und die sauberste Noir-Lösung vorschlagen.
Was Sie erhalten:
— Benutzerdefinierte Schemata auf Noir für Identifikation, Mitgliedschaftsbeweise, geheime Abstimmungen, Berechtigungsüberprüfung, Mixer und vertrauliche Übertragungen.
— Effizientes Constraint-Design, das die Anzahl der Tore und die Beweisgenerierungszeit reduziert.
— Wiederverwendbare Noir-Bibliotheken und -Module mit klaren Schnittstellen, Unit-Tests über nargo und dokumentierten öffentlichen und privaten Eingaben.
— Verifier-Integration: Generierung von Solidity- oder Vertragsverifizierern für die On-Chain-Beweisverifizierung sowie Off-Chain-Beweisgenerierung.
— Merkle-Baum-Einschlussbeweise, Hash-Verpflichtungen (Pedersen, Poseidon, Keccak), Bereichsprüfungen und Signaturverifizierung innerhalb des Schaltkreises.
— Vollständige Integration mit JavaScript- oder TypeScript-Schicht (Node oder Browser) für die Zeugen-Konstruktion und Beweisgenerierung.
Prozess: Ich beginne mit Ihren Datenschutzanforderungen, identifiziere öffentliche und private Eingaben, modelliere die Einschränkungen und verfeinere das Schema für Robustheit und Leistung. Jedes Schema kommt mit einer Testsuite, einer Beschreibung der Vertrauensannahmen und Anweisungen für Beweis und Verifizierung.
Beschreiben Sie Ihre Aufgabe — ich werde die Kosten basierend auf den Einschränkungen bewerten und die sauberste Noir-Lösung vorschlagen.
