Succinct, Ethereum üzerinde talep üzerine sıfır-bilgi kanıtları (ZKP) üreten bağımsız kanıtlayıcıların dağıtık bir kümesini organize eden bir protokoldür. Kanıt üretimini paylaşılan bir hizmete dönüştürerek Succinct, ZKP'leri daha hızlı, daha ucuz ve hem zincir üstü hem de zincir dışı herhangi bir uygulamaya entegre etmeyi daha basit hâle getirir.
Ağ, merkeziyetsiz bir pazar yeri işlevi görür. Kanıt gerektiren uygulamalar veya geliştiriciler bir istek gönderir. Rekabetçi bir kanıtlayıcı ağı daha sonra bu isteği yerine getirmek için teklif verir. Maliyetli, özel donanımlar ve karmaşık yazılım hatları kurup sürdürmek yerine ekipler bu paylaşılan altyapıya erişebilir. Bu, operasyonel maliyetleri önemli ölçüde düşürür ve geliştiricilerin gizlilik, ölçeklenebilirlik ve doğrulanabilir hesaplama gibi ZK destekli özellikleri çok daha hızlı sunmasına yardımcı olur.
SP1, geliştiricilerin Rust veya C++ gibi tanıdık dillerde kod yazıp bunu kanıtlayıcıların çalıştırıp ZKP üretebileceği programlara derleyebilmesine olanak tanıyan genel amaçlı bir sıfır-bilgi sanal makinesidir (zkVM). Bu, ekiplerin karmaşık aritmetik devreler veya özel ZK yığınları tasarlaması gerekmediği anlamına gelir. Yazıp derler ve programları gönderirler; kanıtlayıcılar SP1 altında bunları çalıştırır ve özel girdileri açığa çıkarmadan hesaplamanın doğru yapıldığını kanıtlayan bir kanıt döner.
Sistem iki ana aktörü birbirine bağlar: istek sahipleri (kanıta ihtiyaç duyan uygulamalar) ve kanıtlayıcılar (kanıt üreten düğümler). Bir kanıt görevi yayınlandığında, kanıtlayıcılar bunu değerlendirir ve fiyat, hız veya itibar üzerinden rekabet eden teklifler sunar; böylece istek sahipleri en iyi hizmeti seçebilir.
Eşleştirme ve teklif verme, RPC tarzı mesajlaşma kullanan hızlı bir zincir dışı müzayede katmanı aracılığıyla gerçekleşir. Bu, gecikmeyi düşük tutar ve blok onaylarını beklemeyi önler; kanıtlayıcıların görevleri gerçek zamanlı görüp yanıtlamasına imkan tanır.
Eşleştirme zincir dışında yapılsa da sonuçlar ve bütünlük Ethereum'a bağlanır. Müzayede hizmeti ve kanıtlayıcılar kriptografik kanıtları ve durum taahhütlerini zincir üstü sözleşmelere gönderir; bu sözleşmeler fonları tutar ve iş ataması ile ödeme hesaplaşmasının doğruluğunu herkesin doğrulayabilmesini sağlar.
Tüm sistem şeffaflık ve bağımsız doğrulama için tasarlanmıştır. Müzayede hizmeti tüm isteklerin, bakiyelerin ve tamamlanan işlerin net, denetlenebilir bir kaydını tutar; bütünlüğünü kanıtlamak için Merkle taahhütleri gibi kriptografik teknikler kullanır. Ayrı bir kanıtlayıcı servisi bu durumu okur, bir ZK kanıtı (SP1 kullanarak) üretir ve o nihai kanıtı zincir üstüne gönderir. Bu, herhangi bir üçüncü taraf gözlemcinin ağın tasarlandığı şekilde çalıştığını teyit etmesine olanak tanır.
Protokol, ağ genelinde teşvikleri hizalamak için bir ERC-20 yardımcı tokenı olan PROVE'u kullanır. Token için tipik roller şunlardır:
Harici bir kanıtlayıcı ağı kullanmak, kanıt altyapısını çalıştırmanın yükünün büyük bir kısmını ortadan kaldırır; ancak ekipler gecikme, fiyatlandırma ve stake etme ile zincir üstü hesaplaşmanın sağladığı ekonomik güvenliği değerlendirmelidir. Yayınlanan zincir üstü kanıtların izlenmesi ve müzayede dinamiklerinin anlaşılması, hizmet modeline güvenmek ve üretim sistemleri için istenen SLA'ların sağlanması açısından önemlidir.
Bir kanıtlayıcı pazarı, geliştirici dostu bir zkVM (SP1) ve zincir üstü hesaplaşma katmanını birleştirerek Succinct mimarisi, sıfır-bilgi kanıtlarını gerçek dünya uygulamaları için daha erişilebilir kılmayı hedefler. Bu yaklaşım teknik engelleri düşürür ve kanıt üretiminin maliyetini ile karmaşıklığını merkeziyetsiz bir ağ üzerinden dağıtarak geliştiricilerin ürünlerine gizlilik, ölçeklenebilirlik ve doğrulanabilir hesaplama eklemelerini kolaylaştırır.