Vitalik Buterin: GKR, ZK teknolojisinin "otobanı" haline gelecek.

Ethereum kurucu ortağı Vitalik Buterin, (10/19) en son teknik makalesi "A GKR Tutorial"ı yayımladı ve “GKR (Goldreich–Kahan–Rothblum)” adlı yeni bir kanıt protokolünü detaylı bir şekilde açıkladı. Bu teknolojinin, günümüzdeki "yüksek hızlı ZK kanıtları"nın arkasındaki anahtar olduğunu belirtti. Bu makale matematiksel türevlerle dolu olsa da, temel mesaj oldukça net: GKR, sıfır bilgi kanıtlarını teoriden pratiğe taşıyarak karmaşık on-chain hesaplamaları ve AI doğrulamasını gerçekleştirilebilir, anlık ve düşük maliyetli hale getiriyor.

zk-SNARKs (ZK) “Hızlandırma” dönemine giriyor

Vitalik, yazıya başlarken, kripto dünyasının “ZK hızlandırma” adlı yeni bir aşamaya girdiğini belirtti. Ethereum L1'in onlarca tüketici seviyesindeki GPU üzerinde anlık doğrulama yapmasından, dizüstü bilgisayarların saniyede iki yüz bin karma işlemi gerçekleştirebilmesine, hatta büyük dil modellerinin (LLM) ZK teknolojisi ile çıkarım süreçlerini doğrulayabilmesine kadar - bu görünüşte farklı alanlardaki atılımlar aslında ortak bir temele sahip: GKR protokolü.

GKR'ye neden ihtiyaç var: Büyük hesaplamaları “güvenilir” hale getirirken “ağır” olmaktan kaçınmak

Geleneksel ZK sistemleri sonuç doğruluğunu doğrulasa da, maliyeti oldukça yüksektir: Her hesaplama katmanı için bir şifreleme taahhüdü (commitment) oluşturulması gerekir, bu da işlem maliyetinin fahiş bir şekilde artmasına neden olur.

Vitalik, GKR'nın bu modeli değiştirdiğini belirtmektedir. Sadece “girdi ve çıktı” üzerine taahhüt vermekle kalır, ara katmanı atlayabilir, ancak genel hesaplamanın güvenilirliğini sağlamaya devam eder. Bu şu anlama geliyor:

Hız artışı kat kat

Maliyetler önemli ölçüde düştü

Doğrulayıcılar sadece başlangıcı ve sonu kontrol ederek tüm sürece güvenebilirler.

Bu yapıyı “çok katmanlı, tekrarlayan hesaplamalar için tasarlanmış” olarak tanımladı, örneğin büyük miktarda hash veya AI sinir ağı çıkarımı.

Kripto'dan AI'ye: GKR'nin çoklu uygulama senaryoları

Vitalik, Poseidon karma fonksiyonunu örnek olarak kullanarak GKR'nin katman katman hesaplama yapısını nasıl işlediğini gösterdi. Ancak bu teknolojinin potansiyeli tek bir uygulamanın çok ötesinde.

GKR şunlarda kullanılabilir:

1. ZK-EVM doğrulaması: Ethereum ana ağ katmanı (L1) çalışmasını hızlandırarak anlık on-chain doğrulama sağlamak; 2. AI model doğrulaması (ZK-ML): AI çıkarım sonuçlarının şifreli olarak doğrulanmasını sağlamak; 3. Toplu şifreleme ve veri doğrulaması: İşlem doğrulama, toplu imzalama gibi yüksek tekrar eden senaryoların verimliliğini artırmak.

Vitalik vurguladı: “Hesaplamalar çok katmanlı bir yapıda ifade edilebildiği ve her katman düşük dereceli bir polinom olarak sadeleştirilebildiği sürece, doğrudan GKR uygulanabilir.”

Maliyetler önemli ölçüde düştü, ancak hala zorluklar var.

Vitalik'in testlerine göre, GKR teorik olarak yalnızca yaklaşık 15 kat işlem yüküne sahiptir, bu da geleneksel STARK'ın 100 katına göre önemli bir azalma sağlar. Uygulandıktan sonra bu, 10 katın altına bile düşebilir; eğer grup yapısı daha da optimize edilirse, yük neredeyse 0'a yaklaşır.

Vitalik, hız peşinde koşarken protokol güvenliğine dikkat edilmesi gerektiğini hatırlatıyor. Yanlış tasarım durumunda, kötü niyetliler Fiat–Shamir rastgele zorluk değerlerini tahmin edebilir ve böylece kanıtları manipüle edebilir. Geliştiriciler için bu, ZK sisteminin mühendislik aşamasına geçtikten sonra yeni bir tasarım zorluğu.

GKR'yi bir mecazla tanımlamak gerekirse, Vitalik bunun “sıfır bilgi dünyası için inşa edilmiş bir otoyol” olduğunu düşünüyor - varış noktasını (doğruluk kanıtı) değiştirmeden, verilerin daha hızlı ve daha hafif bir şekilde geçmesini sağlıyor. Blockchain ile AI teknolojilerinin hızla birleştiği bir çağda, bu “otoyol” sadece verimlilikle ilgili değil, aynı zamanda Web3 güven temellerini destekleyen ana yapı taşını oluşturuyor.

Bu makale Vitalik Buterin: GKR, ZK teknolojisinin “otobanı” olacağına dair. İlk olarak on-chain haberleri ABMedia'da yayımlandı.