Pojďme si povídat o superschopnosti Starknetu: Sierra. Když vytvoříte blockchain založený na ZK, s VM založeným na ZK pro běžné výpočty (jako je Cairo pro Starknet), narazíte na problém: Jak udělat VM zároveň bezpečný pro blockchain *a* pro ZK? Problém je v nedeterminismu. Vysvětlím: zkVM jsou mnohem efektivnější, pokud sekvencer/prover dokáže "hádat" určité položky a magicky je doplnit. Problém je v tom, že to otevírá prostor pro různé útoky: škodlivý uživatel může poslat převodovku, kterou nelze snadno uhodnout, a škodlivý sekvencer/prover se může rozhodnout neuhodnout správnou hodnotu, aby uživateli uškodil. Jaké je řešení? - Jednou z možností je odstranit nedeterminismus. Ale to snižuje efektivitu. - Další možností je použít herní metody, které umožní ostatním sekvencerům trestat útočníky a zároveň motivovat některé sekvencery k zahrnování dobrých transakcí. - Třetí možností je vytvořit bezpečnou mezilehlou reprezentaci (nazýváme ji: Sierra). Sierra umožňuje přesně ten správný druh nedeterminismu, tak, že lze doplnit všechny odhady. Během toho vám tento nástroj umožňuje řešit i další zajímavé věci, například přidání měření plynu jako součást procesu kompilace. Shrnutí: Pod kapotou Cairo, nejlepšího jazyka Smart Contract, se skrývá klenot, superschopnost, která umožňuje bezpečné a efektivní provozování ZK založeného na blockchainu. Jen na Starknetu, dnešní future-tech.