Vitalik Buterin: Blok zincirleri yeni bir hesaplama dönemine giriyor Global Blockchain Summit (Shanghai Blockchain Week)’de Vitalik Buterin, ZK kanıtlarının, formel doğrulamanın ve yapay zekânın blok zinciri mimarisini nasıl yeniden şekillendireceğini açıkladı. Temel noktası: her node’un aynı hesaplamayı tekrar tekrar yürüttüğü eski model fazla geçiyor. SNARKs/STARKs ile bir taraf hesaplar ve kanıtlar, diğer tüm taraflar yalnızca doğrular. Özyinelemeli STARKs (EIP-8288 önerisiyle ilişkili), birçok kanıtı tek bir kanıta birleştirerek blok zinciri üzerindeki veri ve maliyeti azaltabilir. EIP-8141 (işlemleri paralelleştirilebilir eylemlere bölmek) ve FOCIL (merkeziyetsiz blok oluşturma) ile birlikte, hedef yerel cihaz yürütmesinden mempool'lara, kanıt birleştirme, L2'ler ve L1'e kadar tam bir hesaplama hattı oluşturmak — merkeziyetsizliği koruyarak ölçeklenebilirlik sağlamaktır. Yapay zeka konusunda Buterin, bunun bir sonraki aşamanın temel altyapısı olduğunu görüyor: kod yazmak/denetlemek, spesifikasyon üretmek ve insanlar tarafından elle yapılamayacak ölçeklerde formel doğrulama yapmak — ki bunu, bugünün L2 güvenlik açıklarını gidermek için kritik olarak görüyor. Geliştiricileri, ileri kripto ve otomatik doğrulamanın pratik olmadığı bir dünyayı tasarlamaktan vazgeçmeye çağırıyor — çünkü bu kısıtlama hızla ortadan kalkıyor. #Ethereum #Buterin #ZKProofs #Blockchain #Web3 #AI #Crypto