Offchain Labs, Vitalik Buterin'in RISC-V itirazına karşı Ethereum L1'de WASM için bir gerekçe sunuyor.

Offchain Labs, Ethereum'un uzun vadeli esnekliği korumak için teslimat ve kanıtlama talimat setlerini ayırması gerektiğini savunuyor.

Ekip, ZK-VM tasarımlarındaki hızlı değişimlerin Ethereum'un RISC-V'ye kilitlenmesi konusunda belirsizlik yarattığını belirtiyor.

WASM, zincir üstü akıllı sözleşme yürütümü için yapısal istikrar, donanım uyumluluğu ve güçlü doğrulama özellikleri sunar.

Offchain Labs araştırmacıları, Vitalik Buterin'in Ethereum'un yürütme katmanını RISC-V talimat setine kaydırma önerisine detaylı bir meydan okuma getirdi. Pozisyonları, Ethereum'un akıllı sözleşme kodunu nasıl yönettiğini değerlendirmek için farklı bir yapı sundu. Araştırmacılar, Ethereum Araştırması'nda gerçekleştirdikleri Kasım ayındaki tartışmada bulgularını sundular ve WebAssembly'nin Ethereum'un Katman 1'i için uzun vadeli bir teslimat formatı olarak nasıl işleyebileceğini incelediler.

Araştırmacılar, Dağıtım ve Kanıtlama Sistemleri için Farklı Roller Üzerinde Duruyorlar

Ekip, akıllı sözleşme sistemlerinin iki farklı katmana nasıl bağımlı olduğunu açıkladı. Sözleşmelerin zincir üzerinde nasıl görüneceğini belirleyen bir teslimat talimat setini tanımladılar. Ayrıca, ZK sanal makineleri tarafından yürütmeyi doğrulamak için kullanılan bir kanıtlama talimat setini detaylandırdılar. Bu rollerin aynı tasarımı paylaşması gerekmediğini belirttiler.

Onların gönderisi, bu ayrımı gelecekteki kanıtlama sistemleri için esnekliği koruyan bir yöntem olarak tanımladı. WASM sözleşmelerini RISC-V'ye derleyen devam eden çalışmalara atıfta bulundular. Bu yaklaşımın, canlı blok verilerini işleyen Arbitrum testleri içinde zaten çalıştığını eklediler.

Araştırmacılar ZK-VM geliştirmelerindeki hızlı değişimleri inceledi. RISC-V uygulamalarının son zamanlarda 32-bit tasarımlardan 64-bit tasarımlara kaydırıldığını belirttiler. Bu değişikliğin, kanıtlama sistemleri için uzun vadeli optimizasyon konusunda belirsizlik yarattığını ifade ettiler. Ethereum'un temel katmanına tek bir donanım odaklı ISA yerleştirme riskine odaklandılar; diğer ZK-VM projeleri alternatif kanıtlama yapıları geliştirmekte. Ligero’nun Ligetron’u gibi WASM odaklı kanıtlama çabalarını bu alandaki yeni yönlerin örnekleri olarak gösterdiler.

Ekoistem Genelinde Kanıt Maliyetleri Düşmeye Devam Ediyor

Gönderide ZK kanıt maliyetlerindeki düşüşten bahsedildi. Araştırmacılar, mevcut maliyetlerin her Ethereum bloğu için yaklaşık 0,025 $ seviyesinde olduğunu belirtti. Ayrıca, kanıt sistemleri geliştikçe maliyetlerin düşmeye devam ettiğini eklediler. Bu rakamların, teslimat formatını yalnızca kanıt verimliliği etrafında tasarlama ihtiyacını azalttığını açıkladılar.

Yapıcıların normal blok koşulları altında kanıt masraflarını aşan gaz ücretleri ve MEV toplayabileceğini belirttiler. Araştırmacılar, WASM'nin yapılandırılmış formatına dikkat çekti. Bu yapının, mevcut sözleşmeleri bozmadan kod güncellemelerini kolaylaştırdığını açıkladılar. Ayrıca, WASM'nin çoğu Ethereum düğümü tarafından kullanılan yaygın donanımda verimli bir şekilde çalıştığını eklediler.

Ayrıca, WASM'in yürütme ortamları içinde tür güvenliğini zorlayan yerleşik doğrulama içerdiğini de belirttiler. Geniş uygulama yelpazesi sayesinde geniş bir araç setine sahip olduğunu ifade ettiler. WASM'i, sözleşme dilleri ile çeşitli yürütme ve kanıtlama sistemlerini bağlayan stabil bir katman olarak tanımladılar.