Puhutaanpa Starknetin supervoimasta: Sierra. Kun rakennat ZK-pohjaisen lohkoketjun, jossa on ZK-pohjainen VM yleistä laskentaa varten (kuten Cairo on Starknetille), kohtaat ongelmia: Miten teet VM:stä sekä lohkoketjuturvallisen *että* ZK-ystävällisen? Kyse on epädeterminismistä. Selitän: zkVM:t muuttuvat paljon tehokkaammiksi, jos sekvensseri/todistaja voi "arvata" tiettyjä merkintöjä ja täyttää ne taianomaisesti. Ongelma on, että tämä avaa tilaa erilaisille hyökkäyksille: Haitallinen käyttäjä voi lähettää viestin, jota ei ole helppo arvata, ja haitallinen sekvensseri/todistaja voi päättää olla arvaamatta oikeaa arvoa vahingoittaakseen käyttäjää. Mikä on ratkaisu? - Yksi vaihtoehto on poistaa ei-determinismi. Mutta tämä heikentää tehokkuutta. - Toinen vaihtoehto on käyttää peliteoreettisia menetelmiä, jotta muut sekvensserit voivat rangaista hyökkääjiä samalla kun kannustetaan jotakin sekvensseriä sisällyttämään hyviä transaktioita. - Kolmas vaihtoehto on rakentaa turvallinen väliesitys (kutsumme sitä: Sierra). Sierra sallii juuri oikeanlaisen ei-determinismin, tavalla, jolla kaikki arvaukset voidaan täyttää. Matkan varrella tämän työkalun avulla voidaan ratkaista muita hienoja asioita, kuten lisätä kaasun annostelua osana käännösprosessia. Yhteenveto: Cairon alla, joka on paras älysopimuskieli, on helmi, supervoima, joka mahdollistaa turvallisen ja tehokkaan lohkoketjupohjaisen ZK:n pyörittämisen. Vain Starknetissä, tulevaisuuden teknologiassa tänään.