Offchain Labs, Vitalik’in RISC-V önerisine karşı çıkıyor, Ethereum L1 için WASM’ı destekliyor

Offchain Labs, Ethereum üzerindeki lider Layer 2 çözümü Arbitrum’un ana geliştiricisi olarak, Ethereum’un yürütme katmanının RISC-V mimarisine taşınması yönündeki Vitalik Buterin’in önerisine karşı bir argüman ortaya koydu. 20/11 tarihinde Ethereum Research’te yayımlanan teknik makalede, araştırma ekibi uzun vadede üstün faydalar sağlayacak seçeneğin WebAssembly (WASM) olduğunu savundu.

Offchain Labs’tan dört araştırmacı – Mario Alvarez, Matteo Campanelli, Tsahi Zidenberg ve Daniel Lumi – RISC-V’nin şu anda ZK kanıtı oluşturma konusunda avantajlı olsa da, bunun Ethereum’da akıllı kontratların dağıtımı ve depolanması için uygun bir format olduğu anlamına gelmediğini belirtiyor.

Vitalik’in tartışmalı önerisi

Vitalik Buterin, Ethereum Virtual Machine’in bytecode’unun yerine açık kaynaklı RISC-V komut setinin geçirilmesini, Nisan ayında Ethereum Magicians’ta yayımlanan bir yazısında önermişti. Bu fikir, bazı durumlarda ZK kanıtı oluşturma maliyetini 100 kat azaltmayı hedefliyordu.

Ancak Offchain Labs, “tek bir ISA’nın hem proving hem de akıllı kontrat dağıtımı için en iyi sonucu vereceği” varsayımının mantıklı olmadığını belirtiyor.

“delivery ISA” ve “proving ISA”yı ayırmak

Ekibin temel argümanı, iki ayrım yapılması gerekliliği:

• Delivery ISA (dISA): Akıllı kontratları on-chain’e taşımak için kullanılan format.
• Proving ISA (pISA): ZK sanal makinesinde kanıt oluşturmak için kullanılan format.

Bu iki katman zorunlu olarak aynı olmak zorunda değildir.

Offchain Labs, bu yaklaşıma yönelik bir prototip geliştirdiklerini belirtiyor: Arbitrum blokları – WASM üzerinde çalışan Stylus akıllı kontratları dahil – WASM’den RISC-V’ye derlenerek ve ardından RISC-V yürütme kanıtı oluşturularak ZK-prove edilebiliyor.

“Blockchain üzerindeki gerçek blokları, dISA olarak WASM ve RISC-V tabanlı ZK-VM backend’iyle ZK-prove edebiliyoruz,” şeklinde yazıyorlar.

RISC-V son durak olmayabilir

Araştırmacılar ayrıca, ZK-VM ekosistemi hızla değişirken RISC-V’nin gerçekten nihai hedef olup olmadığını da sorguluyor. RISC-V’nin yakın zamanda 32-bit’ten 64-bit’e kayması, teknolojinin henüz istikrar kazanmadığını gösteriyor.

Ethereum RISC-V’yi Layer 1’de “sabitleyerek”, daha iyi çözümler ortaya çıktığında blockchain’i eski bir proving teknolojisine mahkum edebilir. Buna karşın, WASM tabanlı ZK-VM’ler – Ligero’nun Ligetron’u gibi – donanım odaklı ISA mimarisinin yetişmekte zorlandığı avantajlar sunuyor.

Ayrıca, ZK-prove maliyeti blok başına yaklaşık 0,025 USD’ye kadar gerilemiş durumda ve daha da düşüyor; bu da aşırı proving optimizasyonunun aciliyetini azaltıyor. “L1, her blok için birden fazla ZK kanıtı gerektirse dahi, bu maliyet builder’ın elde ettiği gas ve MEV gelirinin yanında çok küçük kalır,” diyorlar.

WASM’in uzun vadeli avantajları

Offchain Labs, WASM’in şu nedenlerle üstün olduğunu belirtiyor:

• Açık ve net yapı, mevcut kontratları bozmadan optimize veya modifiye etmeye olanak sağlar.
• Yaygın donanımlarda iyi performans, RISC-V’deki gibi simülasyon gerektirmez.
• Güçlü doğrulama mekanizması, type safety sağlar ve güvenlik açıklarını sınırlar.
• Olgun araç ekosistemi, milyarlarca çalışma ortamında kendini kanıtladı.

Ekip şöyle sonuçluyor: “WASM’in, akıllı kontratlar için bir çeşit internet protokolü – farklı programlama dilleri ile çeşitli yürütme ve proving backend’leri arasında ideal bir ara katman – haline gelebileceğine inanıyoruz.”

Thạch Sanh