Compass Investments

Offchain Labs’tan dört Arbitrum geliştirme uzmanı, Vitalik Buterin’in Ethereum yürütme kademesi için RISC-V komut seti mimarisini (ISA) uygulama konusundaki duruşuna katılmadı.

Onlara göre WASM, Ethereum’un L1 akıllı sözleşme formatı veya “teslimat ISA’sı” için RISC-V’den daha iyi bir uzun vadeli çözüm gibi görünüyor.

Ethereum Arbitrum katman 2 çözümlerinin önemli bir geliştiricisi olan Offchain Labs, Vitalik Buterin’in Ethereum’un yürütme katmanını RISC-V’ye taşıma önerisine karşı çıktı ve uzun vadede WebAssembly’nin (WASM) üstünlüğünü savunan ayrıntılı bir teknik döküm yayınladı.

Ethereum Research’te 20 Kasım’da yayınlanan bir yazıda, Offchain Labs’ten dört uzman, RISC-V’nin şu anda ZK onayları oluşturmada iyi performans göstermesine rağmen, bunun onu Ethereum ağında akıllı sözleşmelerin yatırılması ve saklanması için en uygun seçim yapmadığını savunuyor.

Ethereum kurucu ortağı Buterin, Ethereum Magicians’da Nisan ayında yayınlanan bir gönderide, Ethereum sanal makine bayt kodunun açık RISC-V komut seti mimarisi (ISA) (“risk-five” olarak telaffuz edilir

) ile değiştirilmesini önermiş ve bunun zincir içi ZK kanıtlarının maliyetini bazı durumlarda yüz kata kadar azaltabileceğini savunmuştur.

Bu hedefleri paylaşıyoruz, ancak Vitalik’in aynı ISA’nın hem ZK kanıtı hem de akıllı sözleşme teslimi için ideal olabileceği yönündeki temelsiz sonucunu sorguluyoruz.

Mario Alvarez, Matteo Campanelli, Tzahi Siedenberg ve Daniel Lumi notu.

Teslimat ve kanıtın ayrılması mı?

Ekibin ana tezi, sözleşmelerin ağa yüklenmesi için kullanılan format olan dISA (dISA) ile ZK sanal makineleri tarafından kullanılan format olan pISA (pISA) arasında bir ayrım olması gerektiğidir. Bu işlevlerin birleştirilmemesi gerektiğini düşünüyorlar.

Offchain Labs, bu fikri desteklemek için halihazırda bir test örneği oluşturuyor: WASM tabanlı Stylus akıllı sözleşmeleri de dahil olmak üzere Arbitrum blokları, WASM’nin RISC-V’ye derlenmesi ve ardından RISC-V üzerinde yürütme kanıtı yoluyla ZK doğrulamasından geçiyor.

Bugün, sunucu tarafı olarak RISC-V tabanlı ZK-VM uygulayarak, dISA olarak WASM kullanan bir blok zinciri üzerinde ZK proof-of-stake gerçek blok zinciri kanıtları gerçekleştirebiliyoruz.

, dedi.

Ekip, kanıt alanındaki hızlı değişikliklere işaret ederek, RISC-V’nin ZK-VM’nin gelişiminde son nokta olma olasılığına şüpheyle yaklaşıyor. RISC-V’nin 32-bit’ten 64-bit sürümlerine geçişi bu belirsizliği vurgulamaktadır.

Ligero’nun Ligetron’u gibi WASM tabanlı ZK-VM’ler, donanım tabanlı ISA’ların karşılayamayabileceği avantajları şimdiden gösterirken, RISC-V’nin L1’e sabitlenmesinin Ethereum’u belirli bir kavram kanıtlama teknolojisine bağlayabileceği konusunda uyarıyorlar.

Araştırmacılar, bu arada ZK proof-of-concept maliyetinin Ethereum bloğu başına yaklaşık 0,025 dolara düştüğünü ve düşmeye devam ettiğini, bunun da proof-of-concept verimliliği için dar odaklı optimizasyonu daha az öncelikli hale getirdiğini söylüyor.

L1 blok başına birden fazla ZK ispatı gerektirse bile, bu maliyetler bir blok oluşturucunun alabileceği gaz ve MEV ücretlerine kıyasla ihmal edilebilir düzeyde olacaktır.

diye yazıyorlar.

Ekip, WASM’ın mevcut sözleşmelerle uyumluluğu bozmadan değişiklik yapmayı ve kodu optimize etmeyi kolaylaştıran yapılandırılmış tasarımına dikkat çekiyor. Buna ek olarak, WASM standart donanım üzerinde iyi çalışırken, Ethereum düğümlerinin çoğunda RISC-V işlemciler bulunmuyor ve bu da emülasyon gerektiriyor.

WASM’ın doğrulama yetenekleri tip güvenliğini sağlar ve güvenlik açıklarını önler ve olgun araç seti milyarlarca yürütme senaryosunda test edilmiştir.

WASM’ın akıllı sözleşmeler için bir tür İnternet protokolü haline gelebileceğine ve akıllı sözleşmeler oluşturmak için kullanılan çeşitli kaynak kod dilleri ile bunları yürütmek ve doğrulamak için kullanılan çeşitli sunucu çözümleri arasında ideal bir orta yol görevi görebileceğine inanıyoruz.