Låt oss prata om en superkraft i Starknet: Sierra. När du bygger en ZK-baserad blockkedja, med en ZK-baserad VM för allmän beräkning (som Kairo är för Starknet), kommer du att stöta på ett fråga: Hur gör du VM:n både blockkedjesäker *och* ZK-vänlig? Problemet är icke-determinism. Jag ska förklara: zkVM:er blir mycket effektivare om sequencer/prover kan "gissa" vissa poster och magiskt fylla i dem. Problemet är att detta öppnar utrymme för olika attacker: En illvillig användare kan skicka en transaktion som inte lätt kan gissas, och en illvillig sequencer/prover kan välja att inte gissa rätt värde för att skada användaren. Vad är lösningen? - Ett alternativ är att ta bort icke-determinism. Men detta skadar effektiviteten. - Ett annat alternativ är att använda spelteoretiska metoder för att låta andra sequencers straffa angripare samtidigt som vissa sequencers uppmuntras att inkludera bra transaktioner. - Ett tredje alternativ är att bygga en säker intermediär representation (vi kallar den: Sierra). Sierra tillåter precis rätt sorts icke-determinism, på ett sätt som alla gissningar kan fyllas i. På vägen gör detta verktyg det möjligt att lösa andra häftiga saker, som att lägga till gasmätning som en del av sammanställningsprocessen. Sammanfattning: Under huven av Kairo, det bästa Smart Contract Language, finns en pärla, en superkraft, som möjliggör säker och effektiv blockkedjebaserad ZK. Endast på Starknet, framtidsteknologi idag.