Offchain Labs Menanggapi Dorongan RISC-V Vitalik Buterin Dengan Kasus untuk WASM di Ethereum L1

Offchain Labs berpendapat bahwa Ethereum harus memisahkan pengiriman dan instruksi pembuktian untuk mempertahankan fleksibilitas jangka panjang.

Tim mencatat perubahan cepat dalam desain ZK-VM menciptakan ketidakpastian seputar penguncian Ethereum ke RISC-V.

WASM menawarkan stabilitas struktural, kompatibilitas perangkat keras, dan fitur validasi yang kuat untuk eksekusi kontrak pintar di dalam blockchain.

Peneliti Offchain Labs mengajukan tantangan terperinci terhadap proposal Vitalik Buterin untuk menggeser lapisan eksekusi Ethereum menuju set instruksi RISC-V. Posisi mereka memperkenalkan struktur yang berbeda untuk mengevaluasi bagaimana Ethereum menangani kode kontrak pintar. Para peneliti mempresentasikan temuan mereka dalam diskusi November di Ethereum Research, di mana mereka mengkaji bagaimana WebAssembly dapat beroperasi sebagai format pengiriman jangka panjang untuk Layer 1 Ethereum.

Peneliti Menekankan Peran Berbeda untuk Sistem Pengiriman dan Pembuktian

Tim menjelaskan bagaimana sistem kontrak pintar bergantung pada dua lapisan berbeda. Mereka menggambarkan sekumpulan instruksi pengiriman yang menentukan bagaimana kontrak muncul di rantai. Mereka juga merinci sekumpulan instruksi pembuktian yang digunakan oleh mesin virtual ZK untuk memverifikasi eksekusi. Mereka menyatakan bahwa peran-peran ini tidak perlu berbagi desain yang sama.

Pos mereka menggambarkan pemisahan ini sebagai metode yang mempertahankan fleksibilitas untuk sistem pembuktian di masa depan. Mereka merujuk pada pekerjaan yang sedang berlangsung yang mengompilasi kontrak WASM ke dalam RISC-V sebelum membuktikannya. Mereka menambahkan bahwa pendekatan ini sudah berjalan di dalam tes Arbitrum yang memproses data blok langsung.

Para peneliti memeriksa perubahan cepat dalam pengembangan ZK-VM. Mereka mencatat bahwa implementasi RISC-V baru-baru ini beralih dari desain 32-bit ke 64-bit. Mereka menyatakan bahwa perubahan ini menciptakan ketidakpastian seputar optimasi jangka panjang untuk sistem pembuktian. Mereka fokus pada risiko mengintegrasikan satu ISA yang berorientasi pada perangkat keras ke dalam lapisan dasar Ethereum sementara proyek ZK-VM lainnya mengembangkan struktur pembuktian alternatif. Mereka merujuk pada upaya pembuktian yang berorientasi pada WASM seperti Ligero's Ligetron sebagai contoh arah baru dalam lanskap itu.

Biaya Pembuktian Terus Menurun di Seluruh Ekosistem

Postingan tersebut menggambarkan penurunan biaya pembuktian ZK. Para peneliti menyatakan bahwa biaya saat ini berada di sekitar $0,025 untuk setiap blok Ethereum. Mereka menambahkan bahwa biaya terus menurun seiring dengan berkembangnya sistem pembuktian. Mereka menjelaskan bahwa angka-angka ini mengurangi kebutuhan untuk merancang format pengiriman hanya sekitar efisiensi pembuktian.

Mereka mencatat bahwa pembangun masih dapat mengumpulkan biaya gas dan MEV yang melebihi biaya pembuktian dalam kondisi blok normal. Para peneliti menunjuk pada format terstruktur WASM. Mereka menjelaskan bahwa struktur ini memudahkan pembaruan kode tanpa merusak kontrak yang ada. Mereka menambahkan bahwa WASM berjalan efisien di perangkat keras umum yang digunakan oleh kebanyakan node Ethereum.

Mereka juga mencatat bahwa WASM mencakup validasi bawaan yang menegakkan keamanan tipe dalam lingkungan eksekusi. Mereka merujuk pada basis alat yang luas, yang berasal dari penggunaan yang luas di berbagai aplikasi. Mereka menggambarkan WASM sebagai lapisan stabil yang menghubungkan bahasa kontrak dengan berbagai sistem eksekusi dan pembuktian.