ZK Oyun Sonu: Sınırsıza Karşı Özlü ZK sezonu yaklaşıyor ve ZK altyapı pazarının 2030 yılına kadar > 10 milyar dolara çıkması bekleniyor. Bu arada, Boundless ve Succinct kendini kanıtlayan hakimler olmak için şekilleniyor. Birçoğunun anlayamadığı şey, benzer olsalar da farklı olmalarıdır. Bunu açmama izin ver ↓ Sınırsız: "ZK Bilgi İşlem için Uber" - Yürütme Modeli: İşlerin zincir üzerinde yayınlandığı evrensel bir pazar yeri sağlar (köprüleme olmadan herhangi bir zincirde mümkündür, bu önemli bir farklılaştırıcıdır), ters Hollanda müzayedeleri ve Doğrulanabilir İş Kanıtı (PoVW) kanıt talep edenleri ve kanıtlayanları birbirine bağlayan rekabetçi bir pazar oluştururken, ikincisini gerçekleştirdikleri gerçek hesaplama döngülerine göre ödüllendirir. Boundless üç katmanlı bir mimari kullanır: Bento (yerel kanıtlama), Broker (piyasa arayüzü) ve zincir üstü yerleşim. - Performans ve Benimseme: RiscZero'nun R0 zkVM'sine (RISC-V'ye dayalı) güç veren, kanıtlama maliyetlerini binlerce dolardan sadece birkaç dolara düşüren ve SP1'den (Succinct'in zkVM'si) 7 kat daha küçük kanıtlar üreten, zincir içi doğrulama ve daha küçük iş yükleri için ideal hale getiren açık kanıtlama pazarı. Boundless'ın halihazırda ana ağ betasında canlı olarak 1.700 > kanıtlayıcı ve yalnızca "The Signal"den (birlikte çalışma kamu yararı için ZK devlet kanıtları) talep edilen >391 bin kanıtı var. Özlü: Yüksek Performanslı Geliştirici Platformu - Yürütme Modeli: SP1 zkVM (ayrıca RISC-V'ye dayalı) ve iş başına bir kanıtlayıcıyı eşleştirmek/atamak için hızlı bir zincir dışı müzayedeci tarafından desteklenen, düşük gecikme süresi için optimize eden ve geliştiricilerin daha sonra zincir üzerinde (Ethereum'da) doğrulanan standart Rust kodundan kanıtlar oluşturmasına olanak tanıyan yalın, yüksek performanslı ağ. Succinct SP1'i yerel kanıtlama veya barındırılan kanıtlayıcı ağ API'si aracılığıyla çalıştırır. - Performans ve Benimseme: SP1'in yüksek performanslı kanıtlayıcı ağı, önceden derleme mimarisi sayesinde karmaşık şifreleme işlemlerinde mükemmeldir. Tamamen üretime hazırdır ve örneğin >2 saatlik Tendermint provasını yalnızca birkaç dakikaya indirir. Kanıtlayıcı ağları, %5+ çalışma süresi ile şimdiden 99.9 milyona yakın kanıt üretti ve >1,600 programa ev sahipliği yaptı. Temel çıkarımlar nelerdir? Her ikisi de nihayetinde ZK'nın inşaatçılar için daha verimli ve geniş çapta erişilebilir olmasını sağlamaya çalışırken, bu misyona teknik düzeyde farklı bir yaklaşım benimsiyorlar. Örneğin Boundless, tüm kanıtlar zincir üzerinde sunulurken herhangi bir kanıtlayıcının zincir dışı hesaplama yapabildiği ve tüm büyük ekosistemlerde/zincirlerde piyasa sözleşmeleri ile daha çok açık bir ağdır. Bu arada PoVW, gerçekleştirilen gerçek hesaplamaya dayalı olarak ölçülü kanıtlayıcı ödülleri sağlar. Aynı zamanda sistemden bağımsız bir altyapıdır ve izinsiz bir pazar yeri olarak, tüm doğrulanabilir bilgi işlem ve kanıtlama ihtiyaçları için tek durak noktası olmayı amaçlar (R0 zkVM, Kailua, Steel yardımcı işlemcisi vb. dahil olmak üzere tam RiscZero ZK ürün paketini güçlendirmenin ötesinde, veya daha yakın zamanda Boundless'ın "The Signal"i). Boundless etrafındaki RiscZero ekosistemi bir bütün olarak, tam yığın bir ZK geliştirme çözümü sağlar. Öte yandan, Succinct'in kanıtlayıcı ağında, en ucuz kanıtlayıcıyı gerçek zamanlı olarak bulan, tek bir kanıtlayıcının işi kazanması ve ardından teslim edilen kanıtın zincir üstü doğrulanmasıyla, Ethereum'da yaşayan zincir üstü bileşenlerle ağın açık artırma sistemidir. Özellikle SP1'i, Succinct'in yüksek performanslı zkVM'sini ve etrafındaki geliştirme araçlarını güçlendirmeye odaklanmıştır. Succinct'in mevcut benimsenmesinin çoğu, OP Succinct çerçevesiyle "ZKfiyng" toplamalarından veya modüler ekosisteme odaklanarak ZK uygulama zincirlerini (örneğin Hibachi) güçlendirmekten kaynaklanmaktadır. Onlar rakip mi? Büyük ölçüde evet, çünkü hem @boundless_xyz hem de @SuccinctLabs nihayetinde kanıtlama hizmetleri sağlaması, aynı zamanda kaçınılmaz olarak, benimseme açısından nihayetinde birbirine rakip olan bu altyapının üzerine inşa edilmiş ürünler olacağı anlamına gelir (ve altta yatan altyapıya tahakkuk eden talebi kanıtlama). Buradaki bazı örnekler, zkVM'leri (R0 ve SP1) ve bu sayede etkinleştirilen birçok kullanım durumudur. RiscZero'nun OP Succinct (Succinct'in OP zincirleri için ZK çerçevesi), her iki ekibin de kendi altyapılarının üzerine inşa ettiği Blobstream'in iki ZK destekli sürümü (Celestia için DA köprüsü) ile rekabet eden hibrit ZK dolandırıcılık kanıtları için OP Kailua çerçevesi veya şirket içi ZK yardımcı işlemcileri (Steel vs SP1-CC), vb. Bununla birlikte, ZK kanıtlama altyapısı pazarının iki (veya daha fazla?) büyük oyuncu için yeterince büyük olduğuna ve özellikle yüksek bahisli uygulamalar (örneğin kurumsal DeFi, bazı yapay zeka kullanım durumları vb.) veya bu dikeylere hitap eden zincirler söz konusu olduğunda, çok kanıtlayıcı sistemlerin giderek daha yaygın hale geleceğine (sağlamlığı ve güvenliği artırarak) ve potansiyel olarak her iki ağla ikili entegrasyona yol açacağına inanıyorum. Ayrıca, sonuçta her ikisi de bu altyapı katmanlarının bir dereceye kadar birlikte çalışmasına yol açacak olan birden fazla kanıtlayan pazarın/ağın üzerine inşa edilmiş toplama katmanlarını göreceğiz. ZK oyunun sonudur. ZK sezonu yaklaşıyor. ZK'yı inceleyin.