Lass uns über eine Superkraft von Starknet sprechen: Sierra. Wenn du eine ZK-basierte Blockchain mit einer ZK-basierten VM für allgemeine Berechnungen (wie Cairo für Starknet) baust, wirst du auf ein Problem stoßen: Wie machst du die VM sowohl blockchain-sicher *als auch* ZK-freundlich? Das Problem ist eines der Nicht-Determinismus. Ich werde es erklären: zkVMs werden viel effizienter, wenn der Sequencer/Prover bestimmte Eingaben "erraten" und sie magisch ausfüllen kann. Das Problem ist, dass dies Raum für verschiedene Angriffe eröffnet: Ein böswilliger Benutzer kann eine Transaktion senden, die nicht leicht erraten werden kann, und ein böswilliger Sequencer/Prover kann entscheiden, den richtigen Wert nicht zu erraten, um einem Benutzer zu schaden. Was ist die Lösung? - Eine Möglichkeit besteht darin, den Nicht-Determinismus zu entfernen. Aber das schadet der Effizienz. - Eine andere Möglichkeit besteht darin, spieltheoretische Methoden zu verwenden, um anderen Sequencern zu ermöglichen, Angreifer zu bestrafen, während einige Sequencer incentiviert werden, gute Transaktionen einzuschließen. - Eine dritte Möglichkeit besteht darin, eine sichere Zwischenrepräsentation zu erstellen (wir nennen sie: Sierra). Sierra ermöglicht genau die richtige Art von Nicht-Determinismus, sodass alle Vermutungen ausgefüllt werden können. Auf dem Weg dorthin ermöglicht dieses Werkzeug, auch andere coole Dinge zu lösen, wie das Hinzufügen von Gas-Messung als Teil des Kompilierungsprozesses. Zusammenfassung: Unter der Haube von Cairo, der besten Smart Contract Sprache, gibt es ein Juwel, eine Superkraft, die es ermöglicht, sichere und effiziente blockchain-basierte ZK auszuführen. Nur auf Starknet, Zukunftstechnologie von heute.