Stellar unterstützt jetzt Zero-Knowledge-Proof-Verifizierung direkt in seinen Smart Contracts und gibt Entwicklern damit neue Tools für Datenschutz und umfangreiche Off-Chain-Berechnungen. Das Upgrade nutzt Groth16 zk-SNARKs und die neue BN254-Kryptografie, sodass Apps komplexe Proofs mit einer einzigen On-Chain-Transaktion überprüfen können.
So funktionieren ZK-Proofs jetzt auf Stellar
Mit dem aktuellen X-Ray-Protokoll-Upgrade und den neuen BN254-Host-Funktionen können Soroban-Smart Contracts wichtige elliptische Kurven- und Paarungsoperationen durchführen, die für zk-SNARKs nötig sind. Diese Funktionen sind wie die Precompiles EIP-196 und EIP-197 von Ethereum, was es einfacher macht, bestehende ZK-Projekte auf Stellar zu portieren.
Das Netzwerk unterstützt derzeit die Verifizierung von Proofs, die von RISC Zero’s zkVM und mit Tools wie Circom kompilierten Schaltkreisen erstellt wurden, unter Verwendung des Groth16-Verifizierungssystems. Entwickler generieren Proofs außerhalb der Blockchain und übermitteln dann kompakte Proof-Daten an Soroban-Verträge, die diese innerhalb der Blockchain verifizieren, ohne die ursprüngliche Berechnung erneut auszuführen.
RISC Zero-Integration und Off-Chain-Berechnung
Die neue Integration von Stellar mit RISC Zero ermöglicht es Entwicklern, nachzuweisen, dass beliebiger Code in einer zkVM korrekt ausgeführt wurde, und diesen Nachweis dann on-chain zu verifizieren. Nethermind hat den Verifizierungsvertrag entwickelt, der RISC Zero-Nachweise mit Soroban verbindet, sodass Apps die zkVM wie eine überprüfbare Black Box behandeln können.
Dieses Design verlagert die aufwändige Arbeit außerhalb der Blockchain: Apps können Megabytes an Daten oder komplexe Logik an anderer Stelle verarbeiten und dann nur einen kryptografischen Nachweis an Stellar senden. Der Vertrag überprüft den Nachweis in einer einzigen Transaktion, wodurch die Gebühren niedrig bleiben und die Rechenlimits der Blockchain nicht erreicht werden.
Die Entwickler von Stellar haben schon einen Open-Source-Prototyp für „private Zahlungen” veröffentlicht, der Groth16-Proofs nutzt, um Details zu Einzahlungen, Überweisungen und Abhebungen zu verbergen und gleichzeitig die Guthaben gültig zu halten. Die Architektur kombiniert einen Pool-Vertrag, einen Circom Groth16-Verifizierer und Merkle-Bäume für die Mitgliedschaft, um zu verwalten, wer Geld senden und empfangen kann.
Die Stiftung sagt, dass diese Tools neue Anwendungsfälle wie vertrauliche Gehaltsabrechnungen, private Überweisungen und compliancefreundliche Datenschutzpools für Finanzinstitute ermöglichen. Allgemeiner gesagt kann jede Anwendung, die Fakten über einen Benutzer oder eine Transaktion nachweisen muss, ohne die vollständigen Daten preiszugeben, dies nun auf Stellar tun.
Für Entwickler bietet die native ZK-Verifizierung auf Soroban eine Möglichkeit, Rollups im Ethereum-Stil, Intent-Systeme und Datenschutzprotokolle auf eine Kette mit niedrigeren Gebühren zu bringen. Teams können vorhandene BN254-basierte Schaltungen und Bibliotheken wiederverwenden, anstatt ihre Stacks auf einer anderen Kurve neu aufzubauen.
WEITERLESEN: Monero-Kursprognose: Wie geht es weiter mit XMR, wenn das Volumen nachlässt?
