Kısa cevap:
- Buterin, EIP-7864 altında Ethereum’un hexary durum ağacını ikili bir yapıyla değiştirmeyi önerdi ve verimliliği 100 kat artırdı.
- Bu değişiklik, Merkle dal uzunluğunu dört kat azaltacak ve sık kullanılan dapp'larda her işlemde 10.000'den fazla gaz tasarrufu sağlayabilir.
- Daha uzun vadeli olarak, Buterin, ZK kanıt üretimi darboğazlarını ortadan kaldırmak için EVM yerine RISC-V sanal makinesi kullanmayı öneriyor.
Vitalik Buterin, Ethereum'nun geleceği için gerekli olduğunu düşündüğü iki yapısal değişikliği tanımlayan kapsamlı bir teknik öneri yayınladı: durum ağacına bir değişiklik ve sanal makinesinin değiştirilmesi. İkisi de aynı temel soruna yöneliktir: mevcut mimari, verimli ZK kanıtları üretmenin merkezi öncelik olduğu bir ortam için optimize edilmemiştir.
Değişikliklerin ilki zaten geliştirme aşamasında. Guillaume Ballet ve diğer katkıda bulunanlar tarafından üzerinde çalışılan EIP-7864, keccak tabanlı heksal Merkle Patricia Ağacından daha verimli bir hash fonksiyonuna sahip ikili ağaçlara geçiş öneriyor. Teknik fark önemli: Merkle dalları dört kat azalıyor, bu da istemci tarafı doğrulama maliyetlerini ve Helios ve PIR gibi araçları kullanmak için gerekli bant genişliğini aynı oranda azaltıyor.
Ek olarak, hash fonksiyonunun iyileştirilmesi: blake3, keccak'a göre ek olarak 3 kat performans sağlayabilirken, bir Poseidon varyantı 100 katına ulaşabilir; ancak Buterin, sonuncusunun üretim için hazır olabilmesi için ek güvenlik çalışmaları gerektirdiğini uyarıyor.
Buterin, ethereum'in temellerini değiştirmek istiyor
İkili tasarım, 64 ile 256 arasında ardışık slotları gruplayan sayfa tabanlı bir depolama şemasını da getirir. Blok başlığı ve kodun ilk kilobaytı ile depolamanın ilk kilobaytı aynı sayfayı paylaşır; bu da ilk depolama slotlarını okuyan sözleşmelerin bireysel erişim maliyetlerini ödemek yerine toplu verimlilikten yararlanmasını sağlar. Buterin, bu değişikliğin, zaten bu deseni kullanan ve aktif dağıtılmış sözleşmelerin önemli bir kısmını temsil eden dapp'ler için her işlemde 10.000'den fazla gaz tasarrufu sağlayabileceğini tahmin ediyor.
İkinci değişim daha spekülatiftir. Buterin, EVM yerine şu anda ZK kanıtlayıcılar tarafından kullanılan RISC-V mimarisini öneriyor. Kanıt altyapısı zaten RISC-V'de yazılmışsa, bu standartta yerel bir sanal makine, birikmiş önceden derlenmiş kodlar aracılığıyla yönetmek yerine bu sınırlamayı ortadan kaldırır. Bir RISC-V yorumlayıcısı, EVM'in artan karmaşıklığına kıyasla sadece birkaç yüz satır kod gerektirir.
Buterin’in ortaya koyduğu rota üç aşamadan oluşuyor: ilk olarak, RISC-V yalnızca ön derlenmiş kodlar için; ardından, kullanıcı tarafından dağıtılan sözleşmeler için açılış; nihayetinde, EVM kapatılıp yeni VM’de yazılmış bir akıllı sözleşme olarak yeniden uygulanıyor. Var olan sözleşmeler için tam geriye dönük uyumluluk korunuyor ve Buterin’in sürekli ölçeklenebilirlik çalışmasına göre önemsiz gördüğü gas maliyetleri ayarlanıyor. Vitalik’e göre, ağaç ve VM birlikte verimli kanıt oluşturmada olan darboğazın %80’inden fazlasını oluşturuyor.