Vitalik Buterin: Ethereum (ETH), Hegotá Sonrası Bir “Kriptografik Dünya Bilgisayarına” Dönüşüyor

“Kriptografik Dünya Bilgisayarı” Vizyonu

Ethereum'un (ETH) kurucu ortağı Vitalik Buterin, 27 Eylül'de yayımladığı kapsamlı bir denemede 2030'a gelindiğinde Ethereum'un hâlâ blok zinciri etiketini taşıyabileceğini ama çok daha farklı bir şekilde çalışacağını savunuyor. “The cryptographic world computer” başlıklı metin, zincirin konsensüs (mutabakat) katmanını kriptografik kanıtlarla ve zincir dışında çalışan bilgisayar ağlarıyla birleştiren bir mimari çiziyor. Bugün Ethereum'u tam olarak doğrulayan bir makine her işlemi yeniden çalıştırıyor — göndericinin yeterli bakiyeye sahip olduğunu ve her akıllı sözleşmenin kendi kuralları içinde kaldığını tek tek kontrol ediyor. Bu fazlalık ağın dürüstlüğünü koruyor; ama aynı zamanda işlem hacmini de sınırlıyor: her makine aynı işi tekrar ettiğinde makine eklemek kapasite eklemez. Buterin'in çözümü şu: bir bilgisayar bir işlem paketini işliyor ve kompakt bir matematiksel kanıt üretiyor; diğer düğümler bu kanıtı hesaplamayı yeniden koşturmaktan çok daha hızlı doğrulayabiliyor, ayrı rastgele kontroller de altta yatan verinin incelenebilir kaldığını teyit ediyor. Sıra duyarlı uzlaştırma zincir üstünde kalırken, ağır işin daha büyük bölümü işlem dahil edilmeden önce tamamlanacak. Gizlilik tarafında bakiye sorgularının dış sunuculardan gizlenmesini, ödeme detayları ve hesap kurallarıyla birlikte öneriyor — böylece bir işletme hangi hesapları kontrol ettiğini açıklamadan ödemeleri gizli tutabiliyor. Buterin, gelecek yıl planlanan Hegotá'yı muhtemelen Ethereum'un 2015'ten beri geliştiricilerin tanıyacağı türden son “normal” fork'u olarak konumlandırıyor; ondan sonra ağın ana hikâyesi kanıt odaklı dönüşüm olacak.

EIP-8288 Mempool İçi Birleştirmeyi Hedefliyor

Denemenin teknik izdüşümü, Ethereum'un yönetişim hattında halihazırda ilerleyen somut önerilere oturuyor. FOCIL, yani EIP-7805, Hegotá'nın konsensüs katmanındaki başlık önerisi: doğrulayıcı komiteleri, blok üreticilerin uymak zorunda olduğu dahil etme listeleri hazırlıyor ve tek bir üreticinin geçerli işlemleri sansürleme alanını daraltıyor. Yanında Frame Transactions, yani EIP-8141 yer alıyor; hesapların kendi yetkilendirme mantıklarını tanımlamasına izin veriyor — sosyal kurtarma, harcama kontrolleri, sponsorlu gas ücreti ve gelecekteki kuantum dirençli imzalar için protokol seviyesinde bir kanca. Buterin ayrıca Thomas Coratger ile birlikte hazırladığı EIP-8288 taslağına dikkat çekti: mempool düğümleri çok sayıda imza ve STARK kanıtını, üreticiye iletmeden önce tek bir özyinelemeli kanıtta birleştirebilecek; böylece LeanSPHINCS imzaları gibi büyük post-kuantum kriptografik nesnelerin aksi halde yaratacağı bant genişliği ve hesaplama yükü küçülecek. Doğrulama zaten dönüşüyor: Fusaka ile etkinleşen PeerDAS, düğümlerin her blob'u indirmek yerine veri erişilebilirliğini örneklemesine imkân tanıyor ve modeli tam yeniden çalıştırmadan SNARK doğrulaması artı örnekleme kaydırıyor. Buterin, 27 Eylül'deki X paylaşımında denemeyi duyurdu ve Ethereum'u Nakamoto'nun temel fikriyle yarım yüzyıllık kriptografi araştırmasının bir melezi olarak tanımladı. Daha güçlü dahil etme garantileri, Layer 2 rollup'ların dayandığı uzlaştırma varsayımlarını da sağlamlaştırıyor.

@VitalikButerin · X gönderisi

27 Eylül'deki X paylaşımı.

X'te görüntüle

Daha Hızlı Kesinleşme, Tarihli Kuantum Hedefleri

Buterin'in Bitcoin'in 2010 tasarımıyla madde madde karşılaştırma yaptığı 2030 tablosu, kullanıcı deneyiminin ne kadar değişebileceğini sayısallaştırıyor. 2015'te Ethereum (ETH) yaklaşık 17 saniyede bir blok üretiyor ve bir ödemenin 12 onay biriktirmesi yaklaşık 200 saniye sürüyordu; 2030 eskizi dört ila sekiz saniyelik slotları ve kabaca sekiz ila 32 saniye içinde geri döndürülemez kesinleşmeyi hedefliyor. Gizlilik beklentileri de paralel değişiyor: işlem kayıtları ZK-SNARK koruması taşıyacak, hesap kuralları özel hesap soyutlamasının arkasına gizlenecek ve okumalar, adresleri dış sunucuya ifşa etmek yerine hafif tam düğümler veya TEE, ORAM ve PIR gibi araçlar üzerinden yönlendirilebilecek. Konsensüs tarafında, tek slotlu kesinleşme olarak başlayan araştırma üç slotlu kesinleşmeden geçti ve şimdi Lean Ethereum programı altındaki tek tur tasarrufu Minimmit'te. Ayrıca Ethereum Vakfı'nın protokol ekibi 7 Eylül'de, 2029 Aralık itibarıyla yürütme, konsensüs ve veri katmanlarında kuantum direncini hedeflediğini açıkladı — kriptografik açıdan anlamlı kuantum makinelerinin 2030 gibi erken bir tarihte bile gelebileceği varsayımına dayanan, kasıtlı olarak iddialı bir tarih. İncelenen alanlar arasında BLS doğrulayıcı imzaları, ECDSA hesap imzaları ve veri erişilebilirliğinin dayandığı KZG taahhütleri var. Ne kesinleşme rakamları ne de gizlilik yığını taahhüt edilmiş bir takvim; yol haritasının kendisi bunları değişebilecek araştırma hedefleri olarak işaretliyor. Piyasayı gerçek zamanlı izleyen okuyucular spot ve vadeli fiyatları Binance üzerinden canlı takip edebilir.

Hegotá'dan Sonra: Kanıt Çağı

Buterin'in aynı gün X'te yaptığı yorumlar, denemenin teknik kapsamında sayılmayan iki iş daha ekledi: Lean Consensus, konsensüs katmanını daha basit ve daha doğrulanabilir bir yapıya taşımayı hedefleyen uzun vadeli bir çaba; ve formal verification, yani kritik protokol bileşenlerinin matematiksel yöntemlerle doğrulanması — geliştirilmiş durum yönetimiyle birlikte. Bu ikisini bir arada, Ethereum'u blok zinciri çekirdeğinin ötesine taşıyan bir melez olarak konumlandırıyor; kriptografi işlem doğrulamada, kullanıcı gizliliğinde ve ağ güvenliğinde daha fazla iş üstleniyor. Dikkat çekici bir nokta: FOCIL, EIP-8288, Lean Consensus, durum yönetimi veya formal verification'dan hiçbiri tek bir sürümde gelmesi beklenmiyor; her biri uzun vadeli yol haritasında farklı bir gelişme aşamasında. Açıklanan hedefler ise salt işlem hacmi değil; güvenlik, gizlilik, verimlilik ve daha güçlü sansür direnci.

Kanıt mimarisinin ötesinde Buterin'in denemesi, yol haritası tartışmasına daha önce hiç girmemiş iki fikri daha çiziyor. Kıyamet dediğimiz, kriptografik yöntemler yoluyla ileride geniş kapsamlı programlanabilir şifreli hesaplamayı mümkün kılabilir olumsuzluk tekniklerine (obfuscation) değindi — bunları yakın vadedeki dönüşümün ön koşulu değil, uzun vadeli bir olasılık olarak çerçeveliyor. Performans beklentilerine de net bir sınır çekti: Ethereum'un kendisi gecikmede hiçbir zaman bir sunucuyla yarışamayacak ama çevresine inşa edilen altyapı yarışabilecek. Geliştirici ekonomisi konusunda ise her hesaplamanın özdeş bir gerçek maliyeti taşıdığı fikrinin artık geçerli olmadığını savunuyor: önerilen model altında, paralel çalışabilir ya da blok dahil edilmeden önce işlenebilir ayrıştırılmış görevlere bölünmüş uygulamalar, sıralı işlemlere paketlenmiş uygulamalardan farklı maliyetlerle karşılaşacak — hesaplama yapısı merkezi bir tasarım meselesi haline geliyor.