Sınırsız'a Daha Yakından Bakış: Ölçeklenebilir Kanıtlar için Evrensel ZK Altyapısı

@boundless_network, RISC Zero tarafından geliştirilen ve blok zincirlerinin, rollups'ın ve uygulamaların kanıtları nasıl ürettiğini ve doğruladığını devrim niteliğinde değiştirmeyi amaçlayan iddialı bir sıfır bilgi kanıtı altyapısıdır. Her ağın kendi kanıtlayıcı sistemini inşa etmesi yerine, Boundless, kanıt üretimi için paylaşılan bir pazar yeri ve yığın oluşturur; burada dış kanıtlayıcı düğümler, kanıt taleplerini yerine getirmek için rekabet eder. Yoğun hesaplama off-chain gerçekleşirken, doğrulama on-chain kalır; bu da zincirlerin, tam yürütme maliyetini üstlenmeden güvenliği korumasını sağlar. Bu yaklaşım, yürütme ve doğrulama rollerini ayırarak, gereksizliği azaltır, gaz maliyetlerini düşürür ve birden fazla ortamda verimliliği artırır.

Boundless'ın teknik kalbinde, RISC Zero’nun zkVM üzerine inşa edilmiş bir kanıt küme yığını olan Bento bulunmaktadır. Bento, provörlerin birden fazla makine ve GPU kullanarak, kanıt verilerini güvenli bir şekilde yönetmelerine, hataları yeniden denemelerine ve artan talep ile ölçeklenmelerine olanak tanıyan tek GPU kurulumlarından büyük kümelere kadar destekler. Bento'yu tamamlayan Broker, piyasa etkileşimlerini yönetir: teklif sahipleri kanıt taleplerini kilitler, teklif verir, iş gönderir, kanıtları teslim eder ve teminatı yönetir. Bu mimari, provörlerin ve talep edenlerin fiyat sınırları, zaman aşımı ve teminat gibi parametreleri belirttiği iyi tanımlanmış teklifler aracılığıyla etkileşimde bulunmalarına olanak tanır ve provörler doğru kanıtlar sunmaları için ekonomik olarak teşvik edilir.

Ekonomik model, Doğrulanabilir İş Kanıtı (PoVW) ve yerel token $ZKC etrafında dönmektedir. Prover'lar ZKC stake eder, ardından ürettikleri kanıtlar için $ZKC cinsinden ödüller kazanır; sistem hesaplama maliyetini ve kalitesini ölçer. Kötü davranış sergilemek veya talepleri yerine getirememek, teminatın kesilmesine neden olabilir. Token ayrıca yönetişim ve sözleşme dağıtımında rollere sahiptir. Tokenomikler arz, enflasyon (ilk başta daha yüksek, zamanla azalan) ve uzun vadeli katılımı sağlamak için teşvikleri dengelemek üzere tasarlanmıştır.

Boundless ayrıca geliştirici deneyimini ve birlikte çalışabilirliği vurgulamaktadır. Geliştiriciler, zkVM programlarını ( genellikle Rust) dilinde yazabilir, kanıta dayalı talepleri ( on-chain veya off-chain olarak sansür direnci ihtiyaçlarına göre gönderebilir ve Boundless ağının bunları kanıtlayıcılarla eşleştirmesine izin verebilir. Toplama mekanizmaları, daha düşük doğrulama maliyeti için kanıtları verimli bir şekilde toplu olarak işlemeye yardımcı olur. Dağıtılmış doğrulayıcı sözleşmeleri aracılığıyla birden fazla blockchain desteği ile Boundless ile entegre olan herhangi bir zincir, her bileşeni yeniden yapmadan fayda sağlayabilir. Protokol, sürtünmeyi azaltmak için SDK'lar, komut satırı araçları ve belgeler sağlar.

Eylül 2025 ortası itibarıyla bazı önemli metrikler Boundless'ın nerede durduğunu göstermektedir: ZKC'nin toplam arzı 1.000.000.000 token, yaklaşık %20,10 dolaşımda. Enflasyon, yıllık yaklaşık %7'den başlayıp 8. Yılda %3 civarına düşecek şekilde yapılandırılmıştır. Token tahsisi, doğrulayıcılara ve stake edenlere emisyonları içermekte olup, talep/doğrulama çerçevesine stake etme ve ceza uygulama dahil edilmiştir. Fon toplama çabaları, önemli taahhütlü talep ile bir launchpad aşamasını içermektedir.

Benim Çıkarım: Boundless, sıfır-knowledge kanıt sistemleri için temel bir altyapı katmanı olma yolunda şekilleniyor ve hesaplama yükünü off-chain taşırken on-chain güveni koruyan birleşik ve ölçeklenebilir bir çözüm sunuyor. Teknik yığını )Bento + Broker(, teşvik modeli )PoVW + ZKC( ve geliştirici araçları, yüksek performans ve kullanılabilirlik için inşa edildiğini gösteriyor. Önümüzdeki zorluklar, yeterli prover katılımını sağlamak )donanım, güvenilirlik(, kanıt gecikmesi ve maliyetlerini yönetmek ve birçok zincir ve uygulamayı doğrulayıcı sözleşmelerini benimsemeye ikna etmek etrafında olacak. Ancak bunlar iyi bir şekilde hizalanırsa, Boundless, blockchain alanında sağlam doğrulanabilir hesaplama için giriş engelini önemli ölçüde azaltabilir. #Sonsuz