Starknet'in süper gücü: Sierra'dan bahsedelim. Genel hesaplama için ZK tabanlı bir blockchain kurduğunuzda (tıpkı Starknet için Kahire gibi) ZK tabanlı bir VM oluşturduğunuzda, şu sorunlarla karşılaşacaksınız: VM'yi hem blokzincir güvenli *ve* ZK dostu nasıl yaparsınız? Sorun determinizm olmama meselesi. Açıklayacağım: zkVM'ler, sequencer/prover belirli girişleri "tahmin edebiliyor" ve sihirli bir şekilde doldurabilirse çok daha verimli hale gelir. Sorun şu ki, bu çeşitli saldırılara yol açabilir: Kötü niyetli bir kullanıcı, kolayca tahmin edilemeyen bir mesaj gönderebilir ve kötü niyetli bir sequencer/prover, kullanıcıya zarar vermek için doğru değeri tahmin etmemeye karar verebilir. Çözüm nedir? - Bir seçenek, determinizm olmayanlığı kaldırmaktır. Ama bu verimliliğe zarar verir. - Bir diğer seçenek, diğer sequencer'ların saldırganları cezalandırmasına izin vermek ve bazı sequencer'ları iyi işlemler eklemeye teşvik etmek için oyun teorisi yöntemlerini kullanmaktır. - Üçüncü bir seçenek, güvenli bir ara temsil (biz buna Sierra diyoruz) inşa etmektir. Sierra, tüm tahminlerin doldurulabileceği şekilde tam doğru türde determinizm olmaya izin veriyor. Bu araca sahip olmak, derleme sürecinin bir parçası olarak gaz ölçüm ekleyip eklemek gibi başka ilginç şeyleri de çözmeye olanak tanıyor. Özet: En iyi Akıllı Sözleşme Dili olan Kahire'nin kaputu altında, güvenli ve verimli blokzincir tabanlı ZK'nın çalıştırılmasına olanak tanıyan bir mücevher, süper güç var. Sadece Starknet'te, bugün gelecek teknolojisi.