Mari kita bicara tentang kekuatan super Starknet: Sierra. Saat Anda membangun blockchain berbasis ZK, dengan VM berbasis ZK untuk komputasi umum (seperti Kairo untuk Starknet), Anda akan menghadapi masalah: Bagaimana Anda membuat VM aman untuk blockchain *dan* ramah ZK? Masalahnya adalah salah satu non-determinisme. Saya akan menjelaskan: zkVM menjadi jauh lebih efisien jika sequencer/prover dapat "menebak" entri tertentu dan mengisinya secara ajaib. Masalahnya adalah bahwa ini membuka ruang untuk berbagai serangan: Pengguna jahat dapat mengirim tx yang tidak dapat ditebak dengan mudah, dan sequencer/pembuktian jahat dapat memutuskan untuk tidak menebak nilai yang tepat, untuk membahayakan pengguna. Apa solusinya? - Salah satu pilihannya adalah menghapus non-determinisme. Tapi ini membahayakan efisiensi. - Pilihan lainnya adalah menggunakan metode teoritis permainan untuk memungkinkan sequencer lain menghukum penyerang sambil memberi insentif kepada beberapa sequencer untuk menyertakan transaksi yang baik. - Opsi ketiga adalah membangun representasi perantara yang aman (kami menyebutnya: Sierra). Sierra mengizinkan jenis non-determinisme yang tepat, dengan cara yang semua tebakan dapat diisi. Sepanjang jalan, memiliki alat ini memungkinkan untuk menyelesaikan hal-hal keren lainnya, seperti menambahkan pengukuran gas sebagai bagian dari proses kompilasi. Ringkasan: Di bawah tenda Kairo, Bahasa Kontrak Cerdas terbaik, ada permata, kekuatan super, yang memungkinkan ZK berbasis blockchain yang aman dan efisien untuk dijalankan. Hanya di Starknet, teknologi masa depan hari ini.