Brevis, ilk merkezi olmayan sıfır bilgi kanıt üretim pazaryerini ayrıntılarıyla anlatan ProverNet Beyaz Bülteni'ni yayınladı.
Kaynak: Brevis
Brevis, bugün, ana akım çok zincirli bir protokol üretim ortamında gerçek dünya testlerinden türetilen, merkezi olmayan sıfır bilgi kanıt üretim pazaryeri mimarisini tanıtan ProverNet Teknik Raporu'nu yayınladı. Bu sistem, mevcut kanıt altyapısındaki temel bir sınırlamayı ele alıyor: farklı donanım, kanıt sistemleri ve optimizasyon yöntemleri gerektiren heterojen bilgi işlem iş yüklerine etkili bir şekilde hizmet verememek.
ProverNet, kanıt üretimini, uygulamaların belirli taleplerde bulunduğu ve uzman kanıtlayıcıların bu ihtiyaçları karşılamak için teklif verdiği iki taraflı bir pazar olarak görmektedir. Pazar, dürüst teklif ve optimum kaynak tahsisi sağlarken aynı anda birden fazla kanıt türünü ele almak üzere tasarlanmış Gerçek Çevrimiçi Çift Müzayede mekanizmasıyla işlemektedir. ProverNet, 2025 yılı sonuna kadar faaliyete geçmeyi planlamaktadır.
Brevis'in mevcut altyapısı, PancakeSwap, Uniswap, Euler, Linea ve MetaMask gibi protokolleri kapsayan 98.000 kullanıcı için 124 milyondan fazla kanıt üreterek, 224 milyon dolarlık güvensiz ödül dağıtımını kolaylaştırdı. Bu dağıtımlar, kanıtlama çalışmalarının çeşitliliğini belirgin bir şekilde ortaya koydu ve tek bir sağlayıcı mimarisinin etkili bir şekilde hizmet vermesini zorlaştırdı.
PancakeSwap'ın VIP ücret indirim sistemi, uygunluğu doğrulamak için her işlemden önce her bir yatırımcı için saniyenin altında sürelerde kanıt oluşturulmasını gerektirir. Euler'in teşvik dağıtımı, gecikmeden ziyade verimi önceliklendirerek her dört saatte bir 100.000 adresi işler. Linea'nın ekosistem faaliyetleri, 61.902 adresi içeren çok protokollü ödül hesaplamaları için 12,1 milyon kanıt oluşturmuştur. Her iş yükü farklı donanım yapılandırmaları, kanıt sistemleri (SNARK'lar ve STARK'lar) ve performans özellikleri gerektirir.
Brevis CEO'su ve Kurucu Ortağı Michael, "Mevcut kanıt sistemleri, belirli Rollup'lar, tekil sanal makineler veya homojen iş yükü türleri gibi belirli kullanım durumları için optimize edilmiştir. ProverNet'in doğuşu, uygulamaların temelde farklı kanıtlama yaklaşımları gerektirdiği gözlemimizden kaynaklanmaktadır. Uzman kanıtlayıcıların rekabet ettiği bir pazar, tüm kullanım durumlarına hizmet etmeye çalışan tek bir operatörden daha verimlidir." dedi.
ProverNet mimarisi, farklı kanıt türlerini bir açık artırmada farklı emtialar olarak ele alır. Uygulamalar, işleme türleri (zkVM yürütme, veri kanıtları, yinelemeli toplama), son tarihler, maksimum ücretler ve kalite parametreleri dahil olmak üzere kanıt gereksinimlerini belirler. TODA mekanizması, her turda en uygun tahsisi hesaplayarak, farklı talepleri uygun kanıtlama yetenekleriyle eşleştirir.
Bu mekanizma, kanıt oluşturma pazarının benzersiz bir zorluğunu ele almaktadır. Geleneksel açık artırma mekanizmaları homojen mallar varsayımına dayanırken, TODA aynı anda birden fazla kanıt türünü işleyebilir. Karmaşık kanıt görevleri, farklı kanıtlayıcılar tarafından iş birliği içinde yürütülen alt görevlere ayrıştırılır.
Örneğin, bir zkVM kanıtı, bir kanıtlayıcıda parçalama, bir diğerinde sıkıştırma, üçüncüsünde toplama ve son olarak dördüncü bir özel sistemde paketlemeyi doğrulama işlemlerini içerebilir.
TODA birçok ekonomik özelliği garanti eder:
Dürüstlük (en iyi strateji dürüstçe teklif vermektir)
Bütçe dengesi (toplanan ücretler ödenen ücretleri aşıyor)
Bireysel rasyonellik (hiçbir katılımcı kârsız görevleri kabul etmez)
Asimptotik optimallik (kanıtlayıcıların arzı arttıkça, tahsis maksimum verimliliğe yaklaşır).
Bu pazar, açık artırma koordinasyonu için özel olarak tasarlanmış özel bir Rollup mimarisi olan Brevis Zinciri üzerinde çalışır. Bu mimari, şeffaflığı ve izinsiz katılımı korurken, pazar verimliliğini Katman 1 veya Katman 2 ağ tıkanıklığından izole eder. ProverNet aracılığıyla oluşturulan kanıtlar, herhangi bir hedef blok zinciriyle doğrulanabilir.
ProverNet, farklı hesaplama ihtiyaçlarını karşılamak üzere iki tamamlayıcı ürünü içeren Brevis'in mevcut kanıt altyapısı üzerine inşa edilmiştir.
Pico zkVM, ultra verimli bir çekirdeğin özel bir kriptografik hızlandırıcıya bağlandığı "genel çekirdek + yüksek performanslı yardımcı işlemci" mimarisini benimser ve bu sayede programların hedeflenen donanım optimizasyonlarından yararlanırken kararlı bir sanal makine çalıştırmasına olanak tanır.
Pico Prism, yakın zamanda 45 milyonluk gas limitine sahip bir Ethereum bloğunun %99,6'lık kanıt kapsamına ulaştı ve kanıtların %96,8'ini 12 saniyede, ortalama 6,9 saniyelik kanıt süresiyle tamamladı. Sistem, 64xRTX 5090 GPU kümesi kullanıyor ve önceki pazar lideri zkVM'ye kıyasla %50 daha düşük donanım maliyetiyle gerçek zamanlı kanıtlar elde ediyor.
ZK Veri Eş İşlemcisi, akıllı sözleşmelerin geçmiş blok zinciri verilerine erişmesini ve zincir dışı doğrulanabilir hesaplamalar yapmasını sağlar.
Bu sistem tarafından desteklenen uygulamalar arasında PancakeSwap'ın VIP oranı (30 günlük işlem hacminin işlem öncesi kontrolü), Euler'in güvensiz ödül dağıtımı (binlerce adresin zaman ağırlıklı bakiyelerinin işlenmesi) ve Uniswap v4'ün rota indirimleri (merkezi bir defter olmadan işlem uygunluğunun doğrulanması) yer almaktadır.
Bu entegrasyonlar, genel amaçlı hesaplama doğrulamasından farklı olan veri yoğunluklu kanıt gereksinimlerini göstermektedir.
Bu sistemler bir arada, ProverNet pazar mimarisini teşvik eden heterojen iş yükü türlerine hizmet ederken, temel katmanda gerçek zamanlı kriptografik doğrulamanın ekonomik uygulanabilirliğini oluşturur.
ProverNet, tek bir kanıt tedarikçisinin altyapısından piyasa odaklı kaynak tahsisine geçişi temsil eder. Mevcut kanıtlayıcı ağları genellikle dar kullanım durumları (örneğin, belirli Rollup kanıtları, belirli sanal makineler veya homojen iş türleri) için optimize edilmiştir ve bu da çeşitli talepleri verimli bir şekilde karşılama yeteneklerini sınırlar.
Pazar açık artırma modeli, kanıt ekiplerinin genel bir altyapı oluşturmaya gerek kalmadan belirli optimizasyon hedeflerine (örneğin, STARK tabanlı toplu işleme, düşük gecikmeli SNARK kanıtları, belirli kriptografik işlemler) odaklanmasını sağlar. Uygulamalar böylece, tedarikçi bağımlılığına maruz kalmadan rekabetçi fiyatlandırma ve hizmet garantilerinden yararlanabilir.
Geliştiriciler için bu, özel kanıt altyapısı oluşturma (pahalı ve zaman alıcı) ile merkezi hizmetlere güvenme (güven varsayımlarını beraberinde getirir) arasındaki dengeyi ortadan kaldırır; çünkü kriptografik doğrulama hesaplama doğruluğunu garantilerken, piyasa rekabeti fiyatlandırma verimliliğini ve kaynak kullanılabilirliğini garantiler.
ProverNet teknik dokümanının tamamına şu adresten ulaşılabilir: http://www.brevis.network/whitepaper/provernet.pdf
Brevis blogunda kısa bir teknik genel bakış yayınlandı: https://blog.brevis.network/2025/10/28/brevis-provernet-building-the-open-marketplace-for-zero-knowledge-proofs/
Bu makale katkıda bulunulan bir içeriktir ve BlockBeats'in görüşlerini temsil etmemektedir.
Resmi BlockBeats topluluğuna katılmaya hoş geldiniz:
Telegram Abonelik Grubu: https://t.me/theblockbeats
Telegram Tartışma Grubu: https://t.me/BlockBeats_App
Resmi Twitter Hesabı: https://twitter.com/BlockBeatsAsia
Bu içerik yalnızca bilgilendirme ve eğitim amaçlıdır ve BTCC ile ilgili yatırım tavsiyesi teşkil etmez. BTCC yukarıdaki içeriğin doğruluğunu, kesinliğini veya özgünlüğünü garanti etmek için elinden geleni yapmaktadır ancak bu konuda garanti veremez.