Compass Investments

Empat spesialis pengembangan Arbitrum dari Offchain Labs tidak setuju dengan pendirian Vitalik Buterin dalam mengimplementasikan arsitektur set instruksi (ISA) RISC-V untuk tingkat eksekusi Ethereum.

Menurut mereka, WASM tampaknya menjadi solusi jangka panjang yang lebih baik daripada RISC-V untuk format kontrak pintar L1 Ethereum, atau pengiriman ISA.

Offchain Labs, pengembang utama solusi Ethereum Arbitrum layer 2, telah berbicara menentang proposal Vitalik Buterin untuk memindahkan lapisan eksekutif Ethereum ke RISC-V, menerbitkan perincian teknis terperinci yang memperdebatkan keunggulan WebAssembly (WASM) dalam jangka panjang.

Dalam posting 20 November di Ethereum Research, empat ahli dari Offchain Labs berpendapat bahwa meskipun RISC-V saat ini berkinerja baik dalam menghasilkan konfirmasi ZK, ini tidak menjadikannya pilihan optimal untuk menyimpan dan menyimpan kontrak pintar di jaringan Ethereum.

Salah satu pendiri Ethereum, Buterin, menyarankan dalam sebuah posting bulan April di Ethereum Magicians bahwa bytecode mesin virtual Ethereum diganti dengan arsitektur set instruksi RISC-V terbuka (ISA) (diucapkan risiko-lima), dengan alasan bahwa hal itu berpotensi mengurangi biaya pembuktian ZK dalam rantai hingga seratus kali lipat dalam beberapa kasus.

Kami memiliki tujuan yang sama, tetapi kami mempertanyakan kesimpulan Vitalik yang tidak berdasar bahwa ISA yang sama dapat menjadi ideal untuk bukti ZK dan pengiriman kontrak pintar.

Catatan Mario Alvarez, Matteo Campanelli, Tzahi Siedenberg, dan Daniel Lumi.

Pemisahan pengiriman dan bukti?

Tesis utama tim adalah bahwa harus ada pemisahan antara dISA (dISA) – format untuk mengunggah kontrak ke jaringan – dan pISA (pISA), format yang digunakan oleh mesin virtual ZK. Mereka merasa bahwa fungsi-fungsi ini tidak boleh digabungkan.

Offchain Labs sudah membangun kasus uji coba untuk mendukung ide ini: Blok arbitrum, termasuk kontrak pintar Stylus berbasis WASM, menjalani verifikasi ZK melalui kompilasi WASM ke dalam RISC-V dan bukti eksekusi berikutnya pada RISC-V.

Kami dapat melakukan pembuktian blockchain nyata ZK proof-of-stake hari ini di blockchain yang menggunakan WASM sebagai dISA, menerapkan ZK-VM berbasis RISC-V sebagai sisi server, kata publikasi tersebut.

tim skeptis tentang prospek RISC-V sebagai titik akhir dalam pengembangan ZK-VM, menunjuk pada perubahan cepat dalam domain bukti. Perpindahan baru-baru ini dari versi 32-bit ke 64-bit RISC-V menekankan ketidakpastian ini.

Fiksasi RISC-V pada L1 dapat mengikat Ethereum ke teknologi proof-of-concept tertentu, sementara alternatif yang lebih baik bermunculan, mereka memperingatkan, sementara ZK-VM berbasis WASM seperti Ligero’s Ligetron telah menunjukkan keuntungan yang mungkin tidak dapat ditandingi oleh ISA berbasis perangkat keras.

Sementara itu, biaya proof-of-concept ZK telah turun menjadi sekitar $ 0,025 per blok Ethereum dan terus turun, membuat pengoptimalan yang terfokus pada efisiensi proof-of-concept menjadi kurang prioritas, kata para peneliti.

Bahkan jika L1 membutuhkan beberapa bukti ZK per blok, biaya ini akan diabaikan dibandingkan dengan biaya gas dan MEV yang mungkin diterima oleh pembuat blok,

, tulis mereka.

Tim mencatat desain terstruktur WASM, yang membuatnya mudah untuk membuat perubahan dan mengoptimalkan kode tanpa merusak kompatibilitas dengan kontrak yang ada. Selain itu, WASM berjalan dengan baik pada perangkat keras standar, sedangkan sebagian besar node Ethereum tidak memiliki prosesor RISC-V, sehingga membutuhkan emulasi. Kemampuan validasi

WASM memastikan keamanan tipe dan mencegah kerentanan, dan toolkitnya yang matang telah diuji dalam miliaran skenario eksekusi.

Kami percaya bahwa WASM dapat menjadi semacam protokol Internet untuk kontrak pintar, bertindak sebagai jalan tengah yang ideal antara berbagai bahasa kode sumber yang digunakan untuk membuat kontrak pintar dan berbagai solusi server yang digunakan untuk menjalankan dan memvalidasinya.