Brevis Araştırma Raporu: ZKVM ve Veri İşlemcileri için Sonsuz Güvenilir Hesaplama Katmanı

Brevis, “tekrarlanabilir performans” ve "ticari iniş"in her iki ucunda bir ön hendek inşa etti ve çekirdek olarak sıfır bilgi işlem ile genel doğrulanabilir bir bilgi işlem altyapısı oluşturdu. (Özet: Ethereum, yangını söndürmek için “V Tanrısı Polygon'u övdü” üzerine yakıldı: sadece sıkıcı finansa değil, ZK'ya da çok katkıda bulundu) (Arka plan eki: V Shenfa uzun makale: GKR kriptografik protokolü Ethereum'u hızlı bir şekilde kanıtlayabilir, zk-ML, AI LM'yi hızlandırıyor) Brevis, “performans tekrarlanabilir” ve “ticari iniş” in her iki ucunda bir ön hendek inşa etti: Pico/Prism, L1 RTP pistinin ilk kademesinde sağlam bir şekilde yer aldı ve zkCoprocessor yüksek frekansı açtı, Yeniden kullanılabilir ticari senaryolar. “Zincir dışı bilgi işlem + zincir içi doğrulama” Doğrulanabilir Hesaplama paradigması, blok zinciri sistemleri için genel bir bilgi işlem modeli haline geldi. Blok zinciri uygulamalarının ademi merkeziyetçilik ve güvenilmezlik güvenliğini korurken neredeyse sınırsız hesaplama özgürlüğü kazanmasına olanak tanır. Sıfır bilgi kanıtı (ZKP), bu paradigmanın temel direğidir ve uygulaması temel olarak ölçeklenebilirlik, gizlilik, birlikte çalışabilirlik ve veri bütünlüğü olmak üzere üç temel yöne odaklanır. Bunlar arasında ölçeklendirme, işlem yürütmeyi zincir dışına taşıyarak ve sonuçları kısa kanıtlarla zincir üzerinde doğrulayarak yüksek TPS ve düşük maliyetli güvenilir ölçeklendirme elde eden ZK teknolojisinin en eski senaryosudur. ZK güvenilir bilgi işlemin evrimi, L2 zkRollup → zkVM → zkCoprocessor → L1 zkEVM olarak özetlenebilir. Erken L2 zkRollup, yürütmeyi ikinci katmana taşıyacak ve Geçerlilik Kanıtı'nı birinci katta sunarak minimum değişiklikle yüksek verim ve düşük maliyetli ölçeklendirme elde edecektir. zkVM daha sonra zincirler arası doğrulamayı, yapay zeka çıkarımını ve kriptografik hesaplamayı destekleyen genel amaçlı doğrulanabilir bir bilgi işlem katmanına genişletildi (temsili projeler: Risc Zero, Succinct, Brevis Pico). zkCoprocessor, buna paralel olarak, senaryo tabanlı bir doğrulama modülü olarak, DeFi, RWA, risk kontrolü vb. için tak ve çalıştır bilgi işlem ve kanıt hizmetleri sağlar (temsili projeler: Brevis, Axiom). 2025'te zkEVM konsepti, EVM komut düzeyinde doğrulanabilir devreler oluşturarak, sıfır bilgi kanıtlarını doğrudan Ethereum ana ağ yürütme ve doğrulama sürecine entegre ederek L1 Gerçek Zamanlı Kanıtlama'ya (RTP) genişletilecek ve yerel bir doğrulanabilir yürütme mekanizması haline gelecektir. Bu bağlam, blok zincirinin "ölçeklenebilir"den "doğrulanabilir"e teknolojik sıçramasını yansıtıyor ve güvenilir bilgi işlemin yeni bir aşamasını açıyor. 1. Ethereum'un zkEVM ölçeklendirme yolu: L2 Rollup'tan L1'e gerçek zamanlı kanıt Ethereum'un zkEVM ölçeklendirme yolu iki aşamadan geçer: Aşama 1 (2022–2024): L2 zkRollup, yürütmeyi ikinci katmana taşır ve birinci katta geçerlilik kanıtı sunar; Maliyetleri önemli ölçüde azaltın ve verimi artırın, ancak likidite ve durum parçalanması getirin, L1 hala N-of-N yeniden yürütmeye tabidir. Aşama 2 (2025–): L1 Gerçek Zamanlı Kanıtlama (RTP), ağır yürütmeyi “1/N kanıtı + ağ genelinde hafif doğrulama” ile değiştirerek ademi merkeziyetçilikten ödün vermeden verimi artırıyor ve hala gelişiyor. L2 zkRollup Aşaması: 2022'de Uyumluluk ve Ölçeklendirme Performansı Arasındaki Denge Layer2 ekosisteminin çiçeklenme aşamasında, Ethereum kurucusu Vitalik Buterin, uyumluluk ve performans arasındaki yapısal dengeyi sistematik olarak ortaya koyan dört ZK-EVM (Tip 1-4) sınıflandırması önerdi. Bu çerçeve, sonraki zkRollup teknik yol haritası için net koordinatlar oluşturur: Tip 1 tamamen eşdeğerdir: Ethereum bayt koduyla tutarlı, en düşük geçiş maliyeti ve en yavaş kanıt ile. Taiko。 Tip 2 tamamen uyumludur: Maksimum uyumluluk için minimum düşük seviyeli optimizasyonlar. Kaydırma、Çizgia。 Tip 2.5 Yarı uyumlu: Performans için küçük değişiklikler (gaz/ön derleme vb.). Çokgen zkEVM、Kakarot。 Tip 3 kısmen uyumludur: Daha büyük değişiklikler, çoğu uygulamayı çalıştırabilir, ancak L1 altyapısını tam olarak yeniden kullanmak zordur. zkSync Dönemi。 Tip 4 dil seviyesi: bayt kodu uyumluluğundan vazgeçin, doğrudan üst düzey dilden devreye derleyin, en iyi performans ancak ekolojiyi yeniden oluşturmanız gerekiyor (temsilci: Starknet/Kahire). Mevcut L2 zkRollup modeli olgunlaştı: yürütmeyi ikinci katmana taşıyarak, ilk katmanda Geçerlilik Kanıtını göndererek ve Ethereum ekosistemini ve araç zincirini minimum değişiklikle kullanarak, ana akım genişleme ve ücret azaltma planı haline geldi. Kanıt nesnesi L2 bloğu ve durum geçişidir, yerleşim ve güvenlik ise hala L1'e bağlıdır. Bu mimari, aktarım hızını ve verimliliği önemli ölçüde artırır ve geliştiricilerle yüksek derecede uyumluluk sağlar, ancak aynı zamanda likidite ve durum parçalanması da getirir ve L1 hala N-of-N yürütme darboğazı ile sınırlıdır. L1 zkEVM: Gerçek zamanlı kanıtlar Ethereum'un hafif doğrulama mantığını yeniden şekillendiriyor Temmuz 2025'te Ethereum Vakfı, “Bir L1 zkEVM #1 Gönderimi: Gerçek Zamanlı Kanıtlama” adlı bir makale yayınladı ve resmi olarak L1 zkEVM rotasını önerdi. L1 zkEVM, Ethereum'u N-of-N yeniden yürütmeden 1-of-N kanıt + ağ genelinde hızlı doğrulamaya yükseltir: Az sayıda kanıtlayıcı, tüm EVM durum aktarımı için kısa kanıtlar oluşturur ve tüm doğrulayıcılar yalnızca sabit zamanlı doğrulama yapar. Ademi merkeziyetçilikten ödün verme öncülüğünde çözüm, L1 gerçek zamanlı kanıtlamayı gerçekleştirir, ana ağ gazının üst sınırını ve verimini güvenli bir şekilde iyileştirir ve düğüm donanımının eşiğini önemli ölçüde azaltır. İniş planı, geleneksel yürütme istemcisini ZK istemcisi ile değiştirmek, önce paralel olarak çalışmak ve performans, güvenlik ve teşvik mekanizmaları olgunlaştıktan sonra kademeli olarak protokol katmanının yeni normali haline gelmektir. Eski paradigmanın N'si: Tüm doğrulayıcılar, güvenli olan ancak sınırlı verime ve yüksek tepe ücretlerine sahip olan doğrulamak için tekrar tekrar tüm blok işlemlerini yürütür. N yeni paradigmanın 1'i: az sayıda kanıtlayıcı tüm bloğu gerçekleştirir ve kısa kanıtlar üretir; Tüm ağ yalnızca sürekli zaman doğrulaması yapar. Doğrulama, yeniden yürütmeden çok daha düşük maliyetlidir, L1 gaz limitini güvenli bir şekilde artırır ve donanım gereksinimlerini azaltır. L1 zkEVM Yol Haritası Üç Ana Hat Gerçek Zamanlı Kanıtlama: Tüm blok kanıtını 12 saniyelik bir yuva süresinde tamamlayın, paralelleştirme ve donanım hızlandırma yoluyla gecikmeyi sıkıştırın; İstemci ve protokol entegrasyonu: standartlaştırılmış kanıt doğrulama arayüzü, önce isteğe bağlı, sonra varsayılan; Teşvikler ve güvenlik: Sansür direncini ve ağ etkinliğini güçlendirmek için bir Prover pazarı ve ücret modeli oluşturun. Ethereum L1 Instant Proof (RTP), blok işlemlerini zincir dışı olarak yeniden yürütmek ve kriptografik kanıtlar oluşturmak için zkVM'yi kullanmaktır, böylece doğrulayıcıların yeniden hesaplamasına gerek kalmaz, yalnızca 1'de yeniden hesaplaması gerekir…