Vitalik Buterin'e Göre Yapay Zeka Destekli Doğrulama Yazılımın 'Nihai Hali' Olabilir

Ethereum'un kurucusu Vitalik Buterin, yapay zeka (YZ) destekli formal doğrulamanın yazılım geliştirmenin 'nihai hali' olabileceğini öne sürdü. Bu yaklaşımın, kodun hem yüksek verimlilikte hem de matematiksel olarak doğrulanmış olmasını sağlayacağını belirtti. Buterin, ZK-EVM'ler, STARK kanıtları, konsensüs algoritmaları ve kuantum dirençli kriptografi dahil olmak üzere Ethereum'un temel yol haritasındaki uygulamalara dikkat çekti. Aynı zamanda, formal doğrulamanın güçlü olduğunu ancak her derde deva olmadığını vurguladı.

Buterin'in bu açıklamaları, daha önce yaptığı ve yapay zekanın, ekosistemin YZ hız kazançlarının yaklaşık yarısını daha güçlü test ve doğrulama süreçlerine yönlendirmesi koşuluyla, hatasız kripto koduna yakın bir beklenti yaratabileceği yönündeki çağrılarını yansıtıyor. Buterin, geliştiricileri, YZ tarafından üretilen koddan sihir beklememeleri konusunda uyararak, tek bir komutla yüksek güvenlikli bir versiyon elde edemeyeceklerini, kodlar arasında birçok hata ve tutarsızlıkla uğraşacaklarını belirtti.

Ayrıca, YZ destekli formal yöntemlerin sahada zaten çalıştığına dair pratik kanıtlara dikkat çekti. Örneğin, Lean Ethereum projesinde bir işbirlikçinin, STARK'ların güvenliği için kullandığı en karmaşık teoremlerden birinin makine tarafından doğrulanabilir bir kanıtını YZ ile kodlamayı başardığını belirtti. Bu deney, YZ araçlarının geliştiricilerin istenen özellikleri bir kanıt dilinde ifade etmelerine yardımcı olacağı ve ardından verilen bir uygulamanın bu özellikleri gerçekten sağlayıp sağlamadığını otomatik olarak arayıp kontrol edeceği bir geleceğin ipuçlarını veriyor.

Buterin, mükemmel formal doğrulamanın bile, tüm bir sistemin amaçlandığı gibi davrandığını garanti edemeyeceği konusunda defalarca uyardı. Yeni yazısında, formal doğrulamanın bir 'panzehir' olmadığını belirtiyor ve geliştiricilerin, yüksek seviyeli özellikten, RISC-V uygulamasına veya kanıtlayıcı aritmetizasyona kadar her şeyi doğrulaması gerektiğini ekledi. Bu yaklaşım, kullanıcı niyetleri ile sistem davranışı arasındaki boşluğu en aza indirme ve güvenlik kaygılarını giderme çabalarını vurguluyor.

Buterin'in görüşü, YZ'nin hem Ethereum'un yol haritasını hızlandırmak hem de aynı zamanda güvenlik çıtasını yükseltmek için kullanılması gerektiği yönünde. Geliştiricilerin, YZ ve formal doğrulama geleceğinde bile hatalar ve uç durumlarla mücadele etmek zorunda kalacağını da sözlerine ekledi.