Orijinal Başlık: Elveda EVM, Merhaba RISC-V

Orijinal Yazar: jaehaerys.eth, Kripto Araştırmacısı

Orijinal Çevirmen: TechFlow

Özet

Ethereum, kuruluşundan bu yana en önemli mimari dönüşümüne hazırlanıyor: EVM'yi RISC-V ile değiştirmek.

Sebebi basit: Sıfır bilgi (ZK) etrafında şekillenen bir gelecekte, EVM bir performans darboğazı haline geldi:

· Mevcut zkEVM bir yorumlayıcıya dayanıyor ve bu da 50-800 kat arasında bir performans yavaşlamasına neden oluyor;

· Önceden derlenmiş modüller protokolü karmaşıklaştırıyor ve riski artırıyor;

· 256 bit yığın tasarımı, kanıtlar üretilirken son derece verimsizdir.

RISC-V çözümü:

· Minimalist tasarım (yaklaşık 47 temel talimat) + olgun LLVM ekosistemi (Rust, C++, Go ve diğer dilleri destekler);

· Fiili zkVM standardı haline gelmiştir (projelerin %90'ı tarafından benimsenmiştir);

· Resmi bir SAIL spesifikasyonuna sahiptir (belirsiz sarı kağıda kıyasla) → sıkı doğrulamayı mümkün kılar;

· Donanım kanıt yolu (ASIC'ler/FPGA'ler) halihazırda test aşamasındadır (SP1, Nervos, Cartesi, vb.).

Göç süreci üç aşamaya ayrılmıştır:

· Önceden derlenmiş bir modül olarak RISC-V'nin değiştirilmesi (düşük riskli test);

· Çift sanal makine çağı: EVM ve RISC-V bir arada bulunur ve tamamen birlikte çalışabilir;

· RISC-V içinde EVM'nin yeniden uygulanması (Rosetta stratejisi).

Ekosistem etkisi:

· İyimser Toplamaların (Arbitrum ve İyimserlik gibi) sahtekarlığa dayanıklı mekanizmalarını yeniden oluşturması gerekir;

· Sıfır Bilgi Toplamaları (Polygon, zkSync ve Scroll gibi) önemli avantajlar elde edecek → daha ucuz, daha hızlı ve daha basit;

· Geliştiriciler Rust, Go ve Python gibi dil kütüphanelerini doğrudan L1 katmanında kullanabilirler;

· Kullanıcılar yaklaşık 100 kat daha düşük kanıt maliyetinden yararlanacak → bu da Gigagas L1'e (yaklaşık 10.000 TPS) yol açacak.

Sonuç olarak Ethereum, "akıllı sözleşme sanal makinesinden" internet için minimalist, doğrulanabilir bir güven katmanına dönüşecek ve nihai hedefi "her şeyi ZK-Snark yapmak" olacak. Ethereum Bir Yol Ayrımında Vitalik Buterin bir keresinde şöyle demişti: "Son oyun... her şeyi ZK-Snark yapmaktır." Sıfır bilgi (ZK) kanıtlarının sonu kaçınılmaz ve temel tez basit: Ethereum, sıfır bilgi kanıtları üzerine inşa edilerek kendini sıfırdan yeniden icat ediyor. Bu, protokolün teknik son noktasını işaret ediyor ve Succinct gibi temel geliştiriciler tarafından desteklenen yüksek performanslı bir zkVM tarafından desteklenen 1. Katman'ın yeniden düzenlenmesiyle nihai formuna ulaşıyor. Bu vizyon göz önünde bulundurulduğunda, Ethereum kuruluşundan bu yana en önemli mimari dönüşümünün eşiğinde duruyor. Bu tartışma artık kademeli yükseltmelerle ilgili değil, Ethereum Sanal Makinesi'nin (EVM) yerini alacak olan bilgi işlem çekirdeğinin tamamen yeniden inşasıyla ilgili. Bu girişim, "Yalın Ethereum"un daha geniş vizyonunun temel taşlarından biri. Yalın Ethereum vizyonu, tüm protokolü sistematik olarak basitleştirmeyi ve onu üç temel bileşene ayırmayı hedefliyor: Yalın Mutabakat, Yalın Veri ve Yalın Yürütme. Yalın Yürütme ile ilgili temel bir soru, akıllı sözleşme devriminin itici gücü olan EVM'nin, Ethereum'un gelecekteki gelişimi için önemli bir darboğaz haline gelip gelmediğidir. Ethereum Vakfı'ndan Justin Drake'in de belirttiği gibi, Ethereum'un uzun vadeli hedefi her zaman "her şeyi alaycı bir şekilde ele almak" olmuştur; bu, protokolün her katmanını geliştirecek güçlü bir araçtır. Ancak bu hedef, uzun zamandır uzak bir plan olarak kalmıştır; çünkü bu hedefe ulaşmak gerçek zamanlı kanıtlar kavramını gerektirir. Şimdi ise gerçek zamanlı kanıtlar gerçeğe dönüşürken, EVM'nin teorik yetersizlikleri acil bir pratik sorun haline gelmiştir.Bu makale, Ethereum'un 1. Katmanını (L1) RISC-V komut seti mimarisine (ISA) taşımanın teknik ve stratejik argümanlarını inceleyecektir. Bu hamle, eşi benzeri görülmemiş bir ölçeklenebilirlik vaat etmekle kalmıyor, aynı zamanda protokol yapısını basitleştiriyor ve Ethereum'u doğrulanabilir hesaplamanın geleceğiyle uyumlu hale getiriyor. Neler değişiyor? "Neden"i incelemeden önce, değişen "ne"yi anlamak önemlidir. Ethereum akıllı sözleşmelerinin çalışma zamanı olan EVM (Ethereum Sanal Makinesi), işlemleri işleyen ve blok zincirinin durumunu güncelleyen "dünya bilgisayarı" olarak adlandırılıyor. Yıllar içinde tasarımı devrim niteliğinde olmuş ve merkezi olmayan finansın (DeFi) ve NFT ekosisteminin ortaya çıkışının temellerini atmıştır. Ancak, neredeyse on yıllık bu özel mimari önemli bir teknik borç biriktirmiştir. RISC-V ise bir ürün değil, açık bir standarttır; özgür ve evrensel bir işlemci tasarımları "alfabesi"dir. Jeremy Bruestle'ın Ethproofs konferansında vurguladığı gibi, temel ilkeleri onu bu rol için mükemmel bir seçim haline getiriyor: · Minimalizm: RISC-V'nin temel komut seti son derece basit ve yalnızca yaklaşık 40 ila 47 komuttan oluşuyor. Jeremy'nin de belirttiği gibi, bu onu "süper minimalist genel amaçlı bir makine için ihtiyaç duyduğumuz kullanım senaryosu için neredeyse mükemmel" kılıyor. · Modüler tasarım: İsteğe bağlı uzantılar aracılığıyla daha karmaşık işlevler ekleniyor. Bu özellik, çekirdeğin basit kalmasını sağlarken, temel protokole gereksiz karmaşıklık yüklemeden işlevselliği gerektiği gibi genişletmesine olanak tanıdığı için çok önemli. · Açık ekosistem: RISC-V, geliştiricilerin Rust, C++ ve Go gibi ana akım programlama dillerini kullanmalarını sağlayan LLVM derleyicisi de dahil olmak üzere geniş ve gelişmiş bir araç zinciri desteğine sahip. Justin Drake'in de belirttiği gibi, "Derleyiciler etrafında çok sayıda araç mevcut ve derleyicileri geliştirmek inanılmaz derecede zor... bu nedenle bu derleyici araç zincirlerine sahip olmak inanılmaz derecede değerli." RISC-V, Ethereum'un bu mevcut araçları ücretsiz olarak devralmasına olanak tanıyor.

Yorumlayıcı Ek Yükü Sorunu

EVM'yi değiştirme isteği tek bir kusurdan değil, sıfır bilgi kanıtlarının merkezde olduğu bir gelecekte göz ardı edilmesi imkansız olan temel sınırlamaların bir araya gelmesinden kaynaklanmaktadır. Bu sınırlamalar, sıfır bilgi kanıt sistemlerindeki performans darboğazlarından, protokol içinde biriken artan karmaşıklığın oluşturduğu risklere kadar uzanmaktadır.

Bu geçişin en önemli itici gücü, EVM'nin sıfır bilgi kanıt sistemlerindeki içsel verimsizliğidir. Ethereum, L1 durumunun ZK kanıtlarıyla doğrulandığı bir modele geçiş yaptıkça, kanıtlayıcı performansı birincil darboğaz haline gelir. Sorun, mevcut zkEVM'nin çalışma biçiminde yatmaktadır. Sıfır bilgi kanıtlarını doğrudan EVM üzerinde gerçekleştirmek yerine, kanıtları RISC-V'ye derlenmiş olan EVM yorumlayıcısı üzerinde gerçekleştirirler. Vitalik Buterin bu temel sorunu açıkça ele almıştır:

"... zkVM uygulaması, EVM yürütmesini nihayetinde RISC-V koduna dönüştürüyorsa, neden temeldeki RISC-V'yi akıllı sözleşme geliştiricilerine açmayalım? Bu, tüm dış VM'nin ek yükünü tamamen ortadan kaldıracaktır."

Bu ek yorumlama katmanı, önemli bir performans düşüşüne neden olur. Tahminler, bu katmanın yerel kod kanıtlamaya kıyasla 50 ila 800 kat arasında bir performans düşüşüne yol açabileceğini gösteriyor. Diğer darboğazlar (örneğin Poseidon karma algoritmasına geçiş) optimize edildikten sonra bile, bu "blok yürütme" kısmı hala tüm kanıtlama süresinin %80-90'ını oluşturuyor ve bu da EVM'yi L1 ölçeklemesinin önündeki son ve en aşılmaz engel haline getiriyor. Vitalik, bu katmanın kaldırılmasıyla yürütme verimliliğinin potansiyel olarak 100 kat artabileceğini tahmin ediyor. EVM'nin belirli kriptografik işlemlerdeki performans eksikliklerini gidermek için Ethereum, önceden derlenmiş sözleşmeleri (doğrudan protokole kodlanmış özel işlevler) kullanıma sundu. Bu çözüm o zamanlar pragmatik görünse de, şimdi Vitalik Buterin'in "kötü" olarak adlandırdığı bir duruma yol açtı: "Ön derlemeler bizim için felaket oldu... Ethereum'un güvenilir kod tabanını büyük ölçüde şişirdiler... ve bize neredeyse fikir birliğiyle ulaşılabilecek birkaç ciddi hataya neden oldular." Karmaşıklık şaşırtıcı. Vitalik, modexp gibi tek bir önceden derlenmiş sözleşmenin sarmalayıcı kodunun, tüm RISC-V yorumlayıcısından daha karmaşık olduğunu ve önceden derlenmiş mantığın kendisinin daha da karmaşık olduğunu gösteriyor. Yeni önceden derlenmiş sözleşmeler eklemek, yavaş ve politik açıdan tartışmalı bir sert çatallanma süreci gerektiriyor ve bu da yeni kriptografik ilkeler gerektiren uygulamalarda inovasyonu ciddi şekilde engelliyor. Bu bağlamda Vitalik net bir sonuca vardı:

"Bence bugünden itibaren yeni önceden derlenmiş sözleşmeler eklemeyi bırakmalıyız."

Ethereum'un Mimari Teknik Borcu EVM'nin temel tasarımı geçmiş bir dönemin önceliklerini yansıtsa da artık modern bilişim ihtiyaçlarına uygun değil. EVM, kriptografik değerleri işlemek için 256 bit mimariyi seçti, ancak bu mimari akıllı sözleşmelerde yaygın olarak kullanılan 32 bit veya 64 bit tam sayılar için son derece verimsiz. Bu verimsizlik özellikle ZK sistemlerinde maliyetli. Vitalik'in açıkladığı gibi: "Daha küçük sayılar kullandığınızda, basamak başına aslında herhangi bir kaynak tasarrufu sağlamazsınız ve karmaşıklık iki ila dört kat artar." Dahası, EVM'nin yığın mimarisi, RISC-V ve modern CPU'ların kayıt mimarilerinden daha az verimlidir. Aynı işlemleri tamamlamak için daha fazla talimat gerektirir ve bu da derleyici optimizasyonlarını karmaşıklaştırır.

ZK kanıtlarının performans darboğazları, ön derlemenin karmaşıklığı ve güncelliğini yitirmiş mimari seçimler gibi bu sorunlar, Ethereum'un EVM'nin ötesine geçip geleceğe daha hazır bir teknoloji mimarisini benimsemesi için güçlü ve acil bir gerekçe oluşturuyor.

RISC-V Taslağı: Ethereum'un Geleceğini Daha Güçlü Bir Temelle Yeniden Şekillendirmek

RISC-V'nin güçlü yönleri yalnızca EVM'nin eksikliklerini gidermesinde değil, aynı zamanda tasarım felsefesinin özünde yatan güçlü yapısında da yatmaktadır. Mimarisi, Ethereum gibi yüksek riskli bir ortam için ideal olan sağlam, basit ve doğrulanabilir bir temel sağlar.

Açık standartlar neden özel tasarımlardan daha iyidir? Sıfırdan bir yazılım ekosistemi oluşturmayı gerektiren özel komut seti mimarilerinin (ISA) aksine, RISC-V, üç temel avantaja sahip olgun ve açık bir standarttır: Olgun bir ekosistem Ethereum, RISC-V'yi benimseyerek bilgisayar bilimlerindeki onlarca yıllık kolektif ilerlemeden yararlanabilir. Justin Drake'in açıkladığı gibi, bu, Ethereum'a dünya standartlarında araçlara doğrudan erişim sağlar: "LLVM adlı bir altyapı bileşeni var; bu, üst düzey programlama dillerini çeşitli arka uç hedeflerinden birine derlemenizi sağlayan bir derleyici araç zinciridir. Bu arka uçlardan biri RISC-V'dir. Dolayısıyla, RISC-V'yi desteklerseniz, LLVM tarafından desteklenen tüm üst düzey dilleri otomatik olarak desteklersiniz." Bu, geliştiriciler için giriş engellerini önemli ölçüde azaltır ve Rust, C++ ve Go gibi dillere aşina milyonlarca geliştiricinin başlamasını kolaylaştırır.

Minimalist Tasarım Felsefesi RISC-V'nin minimalizmi bir sınırlama değil, bilinçli bir özelliktir. Temel komut seti yalnızca yaklaşık 47 komuttan oluşur ve sanal makinenin çekirdeğini son derece basit tutar. Bu basitlik, daha küçük ve güvenilir bir kod tabanının denetlenmesi ve resmi olarak doğrulanması daha kolay olduğundan önemli güvenlik avantajları sunar.

Sıfır Bilgi Kanıtlarında Fiili Standart Daha da önemlisi, zkVM ekosistemi seçimini çoktan yapmıştır. Justin Drake'in de belirttiği gibi, Ethproofs verilerinde net bir eğilim görülebilir:

"RISC-V, zkVM arka uçları için önde gelen komut seti mimarisidir (ISA).

Ethereum bloklarını doğrulayabilen on zkVM'den dokuzu, hedef mimari olarak RISC-V'yi seçmiştir. Bu piyasa yakınsaması güçlü bir sinyal gönderiyor: Ethereum'un RISC-V'yi benimsemesi spekülatif bir deney değil, sıfır bilgili geleceklerini inşa eden projeler tarafından kabul görmüş, kanıtlanmış bir standartla uyumlu.

Sadece Yürütme İçin Değil, Güven İçin Doğdu

... Farklı çalışma seviyelerini tanımlar; öncelikle kullanıcı modu (akıllı sözleşmeler gibi güvenilmeyen uygulamalar için) ve denetleyici modu (güvenilir "yürütme çekirdeği" için). Cartesi'den Diego bunu derinlemesine açıklıyor: "İşletim sisteminin kendisi, diğer kodlardan etkilenmekten korunmalıdır. Farklı program yürütmelerini birbirinden izole etmesi gerekir ve tüm bu mekanizmalar RISC-V standardının bir parçasıdır." RISC-V mimarisinde, kullanıcı modunda çalışan akıllı sözleşmeler blok zincirinin durumuna doğrudan erişemez. Bunun yerine, denetleyici modunda çalışan güvenilir çekirdeğe özel bir ECALL (ortam çağrısı) talimatı aracılığıyla erişim talep etmeleri gerekir. Bu mekanizma, EVM'nin salt yazılım tabanlı deneme ortamına olan güveninden daha sağlam ve doğrulanması daha kolay olan, donanım tarafından uygulanan bir güvenlik sınırı oluşturur.

Vitalik'in Vizyonu

Bu geçiş, sistem istikrarını ve geriye dönük uyumluluğu sağlamak için kademeli, çok aşamalı bir süreç olarak öngörülmektedir. Ethereum kurucusu Vitalik Buterin'in de belirttiği gibi, bu yaklaşım radikal "devrim niteliğinde" bir değişim yerine "evrimsel" bir gelişmeyi hedeflemektedir.

İlk Adım: Ön Derlemenin Değiştirilmesi

İlk aşama, yeni sanal makineye (VM) sınırlı işlevsellik ekleyerek muhafazakar bir yaklaşım benimseyecektir. Vitalik Buterin'in önerdiği gibi, "Yeni VM için ön derleme işlevselliğini değiştirmek gibi sınırlı kullanım durumlarıyla başlayabiliriz." Bu, özellikle yeni EVM ön derleme işlevselliğinin eklenmesini durduracak ve bunun yerine gerekli işlevselliği beyaz listeye alınmış, onaylı RISC-V programları aracılığıyla uygulayacaktır. Bu yaklaşım, yeni sanal makinenin ana ağda düşük riskli bir ortamda sahada test edilmesine olanak tanırken, Ethereum istemcileri iki yürütme ortamı arasında aracı görevi görür. Bir sonraki aşama, yeni sanal makinenin kullanıcılar tarafından doğrudan erişilebilir olmasını içerecektir. Akıllı sözleşmeler, bayt kodlarının EVM mi yoksa RISC-V mi olduğunu belirtmek için etiketlenebilir. Temel bir özellik, sorunsuz birlikte çalışabilirliktir: "her iki türdeki sözleşmeler birbirini arayabilir." Bu işlevsellik, sistem çağrıları (ECALL'ler) aracılığıyla sağlanacak ve her iki sanal makinenin de aynı ekosistem içinde iş birliği yapmasını sağlayacaktır. Nihai hedef, minimal bir protokol elde etmektir. Bu aşamada, EVM yeni sanal makine içinde bir uygulama olarak uygulanacaktır. Standartlaştırılmış EVM, yerel RISC-V L1 üzerinde çalışan, resmi olarak doğrulanmış bir akıllı sözleşme olacaktır. Bu, eski uygulamalar için kalıcı destek sağlarken, istemci geliştiricilerin basitleştirilmiş bir yürütme motorunu sürdürmesine olanak tanıyarak karmaşıklığı ve bakım maliyetlerini önemli ölçüde azaltır.

Ekosistem Üzerindeki Dalga Etkileri

EVM'den RISC-V'ye geçiş, yalnızca temel bir protokol değişikliğinden daha fazlasıdır; tüm Ethereum ekosistemi üzerinde derin bir etkiye sahip olacaktır. Bu dönüşüm yalnızca geliştirici deneyimini yeniden şekillendirmekle kalmayacak, aynı zamanda Katman-2 çözümleri için rekabet ortamını da kökten değiştirecek ve yeni ekonomik doğrulama modellerinin önünü açacaktır.

Toplama Yeniden Konumlandırması: İyimser ve ZK

L1'de RISC-V yürütme katmanının benimsenmesi, iki ana Toplama türü üzerinde farklı etkilere sahip olacaktır.

Optimistic Rollup'lar (Arbitrum ve Optimism gibi) mimari zorluklarla karşı karşıyadır. Güvenlik modelleri, dolandırıcılık kanıtlarını çözmek için tartışmalı işlemlerin L1 EVM üzerinden yeniden yürütülmesine dayanır. L1 EVM değiştirilirse bu model tamamen çöker. Bu projeler zor bir seçimle karşı karşıyadır: ya yeni L1 VM'ye özel dolandırıcılığa dayanıklı bir sistem tasarlamak için büyük ölçekli bir mühendislik revizyonu yapmak ya da Ethereum'un güvenlik modelinden tamamen ayrılmak. Buna karşılık, ZK Rollup'lar önemli bir stratejik avantaja sahip olacaktır. ZK Rollup'ların büyük çoğunluğu, dahili komut seti mimarisi (ISA) olarak zaten RISC-V kullanmaktadır. "Aynı dili konuşan" bir L1, daha sıkı ve daha verimli bir entegrasyon sağlayacaktır. Justin Drake, "yerel rollup'lar" için bir gelecek vizyonu önermiştir: L2, L1'in kendi yürütme ortamının özelleştirilmiş bir örneği haline gelerek, L1'in yerleşik VM'inden sorunsuz bir çözüm için yararlanır. Bu uyum, aşağıdaki değişiklikleri getirecektir: · Teknoloji Yığını Basitleştirme: L2 ekibinin artık dahili RISC-V yürütme ortamı ile EVM arasında karmaşık köprüler kurmasına gerek kalmayacak. · Araç ve Kod Yeniden Kullanımı: L1 RISC-V ortamı için geliştirilen derleyiciler, hata ayıklayıcılar ve resmi doğrulama araçları, L2 tarafından doğrudan kullanılabilir ve bu da geliştirme maliyetlerini önemli ölçüde azaltır. · Ekonomik Teşvik Uyumlaştırması: L1 gaz ücretleri, RISC-V tabanlı ZK doğrulamasının gerçek maliyetlerini daha doğru bir şekilde yansıtacak ve daha makul bir ekonomik modelle sonuçlanacaktır. Geliştiriciler ve Kullanıcılar için Yeni Bir Dönem Ethereum geliştiricileri için bu geçiş, yıkıcı olmaktan ziyade kademeli olarak gerçekleşecek. Geliştiriciler, daha geniş ve daha olgun bir yazılım geliştirme ekosistemine erişebilecek. Vitalik Buterin'in de belirttiği gibi, geliştiriciler "Rust'ta sözleşme yazabilecek ve bu seçenekler bir arada var olabilecek." Aynı zamanda, "Solidity ve Vyper'ın akıllı sözleşme mantığı için zarif tasarımları nedeniyle popüler olmaya devam edeceğini" öngörüyor. LLVM araç zinciri aracılığıyla ana akım programlama dillerini ve bu dillerin geniş kütüphane kaynaklarını kullanmaya geçiş devrim niteliğinde olacak. Vitalik, bunu geliştiricilerin aynı dilde zincir içi ve zincir dışı kod yazabileceği ve birleşik geliştirme elde edebileceği "NodeJS benzeri bir deneyime" benzetti.Kullanıcılar için bu dönüşüm, nihayetinde daha düşük maliyetli ve daha yüksek performanslı bir ağ deneyimiyle sonuçlanacaktır. Doğrulama maliyetlerinin işlem başına birkaç dolardan birkaç kuruşa veya daha aza düşerek yaklaşık 100 kat azalması bekleniyor. Bu, doğrudan daha düşük L1 ücretleri ve L2 ödeme ücretleri anlamına geliyor. Bu ekonomik uygulanabilirlik, yaklaşık 10.000 TPS'yi hedefleyen "Gigagas L1" vizyonunun önünü açacak ve gelecekte daha karmaşık ve yüksek değerli zincir içi uygulamaların önünü açacaktır. Succinct Labs ve SP1: Doğrulamanın Geleceğini Bugünden İnşa Etmek Ethereum büyümeye hazır. "L1'i Ölçeklendirmek, Blok Zincirlerini Ölçeklendirmek", EF Protokol Kümesi içinde stratejik bir zorunluluktur. Önümüzdeki 6-12 ay içinde önemli performans iyileştirmeleri bekleniyor.

https://blog.ethereum.org/2025/07/31/lean-ethereum

Succinct Labs gibi ekipler, RISC-V'nin teorik avantajlarını pratikte göstererek, çalışmalarını bu önerinin geçerliliği için güçlü bir gerekçe haline getirdi.

RISC-V tabanlı, yüksek performanslı, açık kaynaklı bir zkVM olan Succinct Labs'ın SP1'i, bu yeni mimari yaklaşımın uygulanabilirliğini kanıtlıyor. SP1, EVM'nin kriptografik darboğazlarını sorunsuz bir şekilde ele almak için "ön derleme merkezli" bir felsefe kullanıyor. Yavaş, sabit kodlu ön derlemeye dayanan geleneksel yaklaşımların aksine, SP1, Keccak karma işlemi gibi yoğun işlemleri, standart ECALL talimatları aracılığıyla çağrılan, özel olarak tasarlanmış, elle optimize edilmiş ZK devrelerine aktarıyor. Bu yaklaşım, özel donanımın performansını yazılımın esnekliğiyle birleştirerek geliştiricilere daha verimli ve ölçeklenebilir bir çözüm sunar. Succinct Labs şimdiden gerçek dünyada etki yaratıyor. OP Succinct ürünleri, İyimser Toplamalar için sıfır bilgi kanıtlarını (ZK-ify) etkinleştirmek üzere SP1'den yararlanıyor. Succinct'in kurucu ortağı Uma Roy'un açıkladığı gibi: "OP Stack'in Toplamaları sayesinde, kesinlik ve geri çekme işlemleri için yedi gün beklemek yerine... artık onayları yalnızca bir saat içinde alıyoruz. Bu inanılmaz bir hız artışı." Bu çığır açan gelişme, tüm OP Stack ekosistemi için önemli bir soruna çözüm getiriyor. Dahası, Succinct'in altyapısı olan Succinct Kanıtlayıcı Ağı, doğrulanabilir hesaplamanın geleceği için uygulanabilir bir ekonomik model sunan merkezi olmayan bir kanıt oluşturma pazarı olarak tasarlandı. Çalışmaları yalnızca bir kavram kanıtı değil, aynı zamanda bu makalede açıklandığı gibi gelecek için pratik bir taslaktır.

Ethereum Riski Nasıl Azaltır?

RISC-V'nin en büyük avantajlarından biri, resmi doğrulamanın kutsal kasesini -bir sistemin doğruluğunu matematik yoluyla kanıtlamayı- ulaşılabilir bir hedef haline getirmesidir. Sarı Kitap'ta doğal dilde yazılmış olan EVM spesifikasyonunun resmileştirilmesi zordur. Öte yandan RISC-V, davranışı için net bir "altın referans" sağlayan resmi, makine tarafından okunabilir bir SAIL spesifikasyonuna sahiptir.

Bu, daha da güçlü bir güvenliğe giden yolu açar. Ethereum Vakfı'ndan Alex Hicks'in de belirttiği gibi, "zkVM RISC-V devrelerini ve resmi RISC-V spesifikasyonunu resmi doğrulama için Lean'e aktarmak" için çalışmalar halihazırda devam etmektedir. Bu, güveni yanılabilir insan uygulamalarından doğrulanabilir matematiksel kanıtlara kaydıran ve blok zinciri güvenliğinde yeni zirvelere taşıyan önemli bir gelişmedir.

Geçişin Başlıca Riskleri

RISC-V mimarisinin L1 sürümü birçok avantaj sunarken, aynı zamanda yeni ve karmaşık zorluklar da ortaya çıkarır.

Gaz Ölçümü

Genel amaçlı komut seti mimarileri (ISA'lar) için kesin ve adil bir gaz modeli oluşturmak, çözülmemiş bir sorundur. Basit komut sayma yöntemleri, hizmet reddi saldırılarına karşı savunmasızdır. Örneğin, bir saldırgan, önbellek ıskalamalarını tekrar tekrar tetikleyen ve son derece düşük gaz ücretleri ile yüksek kaynak tüketimine neden olan bir program oluşturabilir. Bu durum, ağ kararlılığı ve ekonomik model için önemli zorluklar yaratır.

Araç Zinciri Güvenliği ve "Yeniden Üretilebilir Yapılar"

Bu, geçişin en önemli ve genellikle hafife alınan riskidir. Güvenlik modeli, zincir içi sanal makinelere güvenmek yerine, oldukça karmaşık ve güvenlik açıkları içerdiği bilinen zincir dışı derleyicilere (LLVM gibi) güvenmeye doğru kayıyor. Saldırganlar, görünüşte zararsız kaynak kodunu kötü amaçlı bayt koduna dönüştürmek için derleyici güvenlik açıklarından yararlanabilir. Ayrıca, zincirdeki derlenmiş ikili dosyaların, herkese açık kaynak koduyla tamamen tutarlı olmasını sağlamak, yani "yeniden üretilebilir derleme" sorunu da son derece zordur. Derleme ortamındaki küçük farklılıklar, farklı ikili dosyaların oluşturulmasına ve dolayısıyla şeffaflık ve güvenin etkilenmesine neden olabilir. Bu sorunlar, geliştiricilerin ve kullanıcıların güvenliği için ciddi bir sınav teşkil eder.

Azaltma Stratejisi

Önümüzdeki yol, çok katmanlı bir savunma stratejisi gerektiriyor.

Aşama Tabanlı Yükseltme

Kademeli ve çok aşamalı bir geçiş planı, riski azaltmak için temel bir stratejidir. Topluluk, önce RISC-V'yi önceden derlenmiş bir alternatif olarak sunup ardından çift sanal makine ortamında çalıştırarak operasyonel deneyim kazanabilir ve düşük riskli bir ortamda güven oluşturabilir ve geri dönüşü olmayan değişikliklerden kaçınabilir. Bu kademeli yaklaşım, teknoloji geçişi için istikrarlı bir temel sağlar. Kapsamlı Denetim: Bulanıklık Testi ve Resmi Doğrulama Resmi doğrulama nihai hedef olsa da, sürekli ve yoğun testlerle birleştirilmelidir. Diligence Security'den Valentine'in Ethproofs çağrısında gösterdiği gibi, Argus bulanık test aracı, önde gelen zkVM'de 11 kritik sağlamlık ve bütünlük açığı keşfetti. Bu, en iyi tasarlanmış sistemlerin bile yalnızca titiz düşmanca testlerle keşfedilebilen güvenlik açıkları barındırabileceğini göstermektedir. Bulanıklık testini resmi doğrulamayla birleştirmek, sistem güvenliği konusunda daha güçlü bir güvence sağlar. Ekosistem parçalanmasını önlemek için topluluğun tek ve standartlaştırılmış bir RISC-V yapılandırmasında birleşmesi gerekir. Bu, muhtemelen RV64GC ve Linux uyumlu bir ABI kombinasyonu olacaktır, çünkü bu kombinasyon ana akım programlama dilleri ve araçları arasında en geniş desteğe sahip olup yeni ekosistemin faydalarını en üst düzeye çıkarır. Standardizasyon yalnızca geliştirici üretkenliğini artırmakla kalmaz, aynı zamanda ekosistemin uzun vadeli büyümesi için sağlam bir temel de oluşturur. Ethereum Sanal Makinesi'nin (EVM) RISC-V ile değiştirilmesi önerisi, kademeli bir yükseltmeden daha fazlasıdır; Ethereum'un yürütme katmanının kökten yeniden tasarlanmasını temsil eder. Bu iddialı vizyon, köklü ölçeklenebilirlik darboğazlarını ele almayı, protokol karmaşıklığını basitleştirmeyi ve platformu genel amaçlı bilgi işlem ekosisteminin daha geniş kapsamıyla uyumlu hale getirmeyi amaçlamaktadır. Bu geçiş önemli teknik ve toplumsal zorluklar ortaya çıkarsa da, uzun vadeli stratejik faydalar bu cesur girişimi haklı çıkarmaktadır.

Bu dönüşüm bir dizi temel uzlaşmaya odaklanmaktadır:

· ZK yerel mimarisinin muazzam performans kazanımları ile geriye dönük uyumluluğa duyulan acil ihtiyaç arasındaki denge;

· Basitleştirilmiş bir protokolün güvenlik avantajları ve EVM'nin devasa ağ etkilerinin ataleti;

· Genel amaçlı bir ekosistemin gücü ve karmaşık üçüncü taraf araç zincirlerine güvenmenin riskleri.

Sonuç olarak, bu mimari dönüşüm, Yalın Uygulama vaadini yerine getirmenin anahtarı ve Yalın Ethereum vizyonunun önemli bir bileşeni olacaktır. Ethereum'un L1'ini basit bir akıllı sözleşme platformundan, doğrulanabilir hesaplamanın geniş evrenini desteklemek üzere tasarlanmış verimli ve güvenli bir ödeme ve veri kullanılabilirliği katmanına dönüştürür.

Vitalik Buterin'in dediği gibi, "Sonuç... her şey için ZK-snark'lar sağlamak." Ethproofs gibi projeler, bu dönüşüm için nesnel veriler ve iş birliğine dayalı bir platform sunarken, Succinct Labs ekibi, SP1 zkVM'nin pratik uygulamasıyla bu gelecek için eyleme geçirilebilir bir plan sunuyor. Ethereum, RISC-V'yi benimseyerek yalnızca kendi ölçeklenebilirlik darboğazını çözmekle kalmıyor, aynı zamanda karma ve imzalardan sonra üçüncü en önemli kriptografik ilke olan SNARK'lar tarafından desteklenen yeni nesil internetin temel güven katmanı olarak konumlanıyor. Dünyayı kanıtlayan ve yeni bir şifreleme çağını başlatan yazılım.

Daha fazla bilgi edinin:

Vitalik'in yorumu:İzlemek için tıklayın

ETHProofs Dördüncü Tartışma:İzlemek için tıklayın

Orijinal bağlantı

BlockBeats Resmi Topluluğuna Katılın:

Telegram Abonelik Grubu: https://t.me/theblockbeats

Telegram Sohbet Grubu: https://t.me/BlockBeats_App

Twitter Resmi Hesabı: https://twitter.com/BlockBeatsAsia