zk-SNARKs pazarının yeni yeteneği: Succinct Prover Network'u derinlemesine inceleme

Giriş

ZK teknolojisi, Web3 alanında hızla popüler bir konu haline geliyor ve yapay zeka ve merkeziyetsiz finans ile birlikte sektörün dikkat çekici odak noktalarından biri oluyor. Bu eğilim, ZK tabanlı uygulamaların giderek olgunlaşmasından ve ZK SNARKs'ın stratejik olarak blok zinciri altyapısının merkezine entegre edilmesinden kaynaklanıyor.

ZK ekosisteminin genişlemesiyle birlikte, hesaplama yoğunluğu gerektiren kanıt üretimine olan talep kritik bir dönüm noktasına ulaştı. Bu talebi karşılamak için, yeni bir uzmanlaşmış altyapı katmanı ortaya çıktı. Succinct Prover Network, Ethereum tabanlı bir protokoldür ve ZK üretimi için merkeziyetsiz bir pazar oluşturmayı amaçlamaktadır. Yüksek performans ve doğrulanabilir güvenlik sunan vApp mimarisini kullanır. Sisteminin temelini, bu yeni dijital mal pazarını yönlendiren ödeme, güvenlik ve teşvikler aracılığıyla ekonomik motor olarak işlev gören bir token oluşturur.

Bu makale, Succinct Prover Network'ün mimarisini, temel işlevlerini ve token ekonomisini, ayrıca ekosisteminin piyasa dinamiklerini derinlemesine inceleyecektir.

Ağ Mimarisi

Succinct Prover Network'ün mimarisi, Ethereum tabanlı bir vApp'tır. Bu model, kullanıcılara geleneksel Web uygulamalarının yüksek performans deneyimini sunmayı, aynı zamanda merkeziyetsiz protokollerin güvenliğini ve güvence sağlamasını hedeflemektedir.

İcra ve uzlaşmanın ayrılması

vApp mimarisinin temeli, yürütme ve hesaplamanın ayrılmasıdır; bu, Layer 2 sıralayıcılarının tasarım modeliyle benzerdir.

• Off-chain işlemler, gerçek zamanlı olarak açık artırma süreçlerini, kanıt dağıtımını ve kullanıcı etkileşimlerini yöneten yüksek performanslı bir hizmet tarafından işlenir. Bu, kullanıcıların blok onaylarındaki gecikmeleri düşünmeden istek göndermelerini ve güncellemeler alabilmelerini sağlar.
• Zincir üstü uzlaşma Ethereum ana ağında gerçekleştirilir, ana ağ ZK ile düzenli olarak ağ durumunu ve zincir dışı işlemlerin doğruluğunu doğrular.

Bu karma yöntemi, kullanıcı fonlarının her zaman Ethereum sözleşmeleri ile korunduğundan ve doğrudan çekilebildiğinden emin olurken, piyasa operasyonlarının hızlı ve verimli kalmasını sağlar.

Ana bileşen

Bu ağ iki ana bileşenden oluşmaktadır:

• Off-chain ihale hizmeti: Bu, kullanıcı taleplerini ve kanıtlayıcıları eşleştirmekten sorumlu ana off-chain varlıktır. Kanıt taleplerini alır, teklifleri toplar, ihale düzenler ve işleri dağıtır. Kullanıcılar, gerçek zamanlı bir deneyim elde etmek için doğrudan bu hizmetle RPC çağrısı yaparak etkileşim kurar.
• Zincir Üzerinde Hesaplama Sözleşmesi: Ethereum üzerinde dağıtılan bir akıllı sözleşme seti, ağın güvenilir ankraj noktası olarak işlev görmektedir. Bu sözleşmeler, müzayedecilerin düzenli olarak sunduğu durum kökleri ve zk-SNARKs ile hesaplama yapmaktan sorumludur, böylece ağın bütünlüğünü sağlanır.

doğrulanabilir veritabanı

Zincir dışı işlemlerin bütünlüğünü sağlamak için, auksyon hizmeti doğrulanabilir bir veritabanı üzerine inşa edilmiştir. Bu arka uç mimarisi, herkesin tüm bakiye güncellemelerini ve kanıtların yerine getirilmesini bağımsız olarak doğrulamasına olanak tanır. İçerir:

• Kullanıcı bakiyelerini, bekleyen talepleri ve yerine getirme durumunu depolayan bir veritabanı. Bu veritabanı okuma ve yazma işlemlerini destekler.
• SP1 tabanlı bir kanıtlayıcı, veritabanını okumak ve ağın yeni durumunu hesaplamak için ZK kanıtı. Bu kanıt, bakiye güncellemeleri ve kanıt dağıtımı gibi tüm durum geçişlerini doğrulayacak ve ardından kamu doğrulaması için Ethereum üzerinde tasfiye edilecektir.

Token Ekonomisi

Ağın tokeni, Ethereum tabanlı bir ERC-20 yardımcı token'dır ve Succinct Prover Network'ün ekonomik omurgasını oluşturur. Tasarımı, ödemeleri teşvik etme, ağ güvenliğini sağlama ve tüm katılımcıların çıkarlarını koordine etme gibi üç ana işlevi içerir.

temel kullanılabilirlik

Bu tokenin kullanışlılığı birçok alanda kendini göstermektedir:

• Ödeme: Bu token, ağdaki tek ödeme tokenidir. Talep eden, hesaplamalarının bir kanıtını almak istiyorsa, kanıtlayıcıya ilgili ücreti bu token ile ödemek zorundadır. Bu, token için doğrudan ve sürekli bir işlem talebi yaratır.
• Güvenlik: Ağ güvenliğini teminat altına almak için staking. Kanıtlayıcıların açık artırmaya katılabilmeleri için token'ları stake etmeleri gerekmektedir, bu da onların dürüst bir şekilde hareket etmelerini sağlar. Eğer bir kanıtlayıcı kötü niyetli davranır veya son tarihlere uymazsa, stakelerinin bir kısmı cezalandırılacaktır.
• Teşvik: Bu token, doğrulayıcıları altyapıya yatırım yapmaları için teşvik etmek ve rekabetçi fiyatlar sunmaya devam etmek için kullanılır.

Token Arzı ve İhracı

Bu tokenin başlangıç arzı 1 milyar adettir, ancak sabit bir üst sınır değildir çünkü protokol sürekli token ihraç mekanizmasını içerir. Yeni ihraç hızı sabit değildir, bunun yerine ağın merkeziyetsiz yönetişim sistemi tarafından kontrol edilen bir parametredir ve topluluğun ağın gelişimiyle birlikte teşvikleri dinamik bir şekilde ayarlamasına olanak tanır.

Stake et Delegasyon

Ekonomik güvenliği sağlamak için, herhangi bir kullanıcı token stake edebilir. Sistem iki ana yöntemi desteklemektedir:

• Kanıtlayıcı Teminatı: Kanıtlayıcı teminat token'ları ile, açık artırmalara katılma ve kanıt taleplerini yerine getirme hakkı kazanılır.
• Delegasyon: Her token sahibi, tokenlerini seçtiği doğrulayıcıya delegasyon yapabilir. Bu, onların ağ güvenliğine katkıda bulunmalarını sağlar ve seçtikleri doğrulayıcıdan alınan ücretlerden bir kısmını kazanabilirler, herhangi bir donanım çalıştırmadan. Bir delegatör, aynı anda en fazla bir doğrulayıcıya delegasyon yapabilir.

İspat talebi başarıyla gerçekleştirildiğinde, talep edenin ödediği ücretler ve ağ tarafından çıkarılan tokenler, kazanan ispatlayıcı, onun temsilcisi ve protokol hazinesi arasında dağıtılacaktır. Örneğin, muhtemel bir dağıtım şeması şöyle olabilir: Kazanan ispatlayıcı, ücretlerin büyük bir kısmını alırken, temsilcisi güvenlik sağladığı için bir miktar ücret alacak ve protokol, hazine olarak ağdan küçük bir ücret alacaktır. Ağın çıkarılan miktarı, tüm stake edenlere (ispatlayıcılar ve temsilciler dahil) orantılı olarak dağıtılacaktır.

yönetişim

Token sahipleri, protokolün nihai yöneticileridir ve kritik ağ parametreleri üzerinde oy verme hakları vardır. Bu, ağ ücretlerinin belirlenmesi, staking gereksinimlerinin ayarlanması ve ihale mekanizmasının biçiminin belirlenmesini içerir.

Müzayede ve Talepler

Succinct Prover Network, fiyat keşfini teşvik etmek için dikkatlice tasarlanmış bir piyasa yapısı benimser ve kanıt oluşturma görevlerini en verimli kanıtlayıcılara dağıtır. Bu sistem esnek bir şekilde inşa edilmiştir ve farklı hizmet modelleri aracılığıyla geniş bir kullanıcı ihtiyacını karşılayabilir.

Müzayede Mekanizması

Bu ağ, gerçek zamanlı açık artırma ile istekleri tahsis etmektedir. Bu açık artırma mekanizması, en düşük gecikme ile etkili fiyat keşfi sağlamayı ve ödeme için token kullanmayı mümkün kılar.

• İlk sürüm: Bu ağın ilk sürümü, ispat taleplerini en düşük teklifi veren ispatlayıcılara tahsis eden basit bir ters açık artırma yöntemi kullanmaktadır.
• Gelecek Evrimi: Zamanla, yönetim mekanizmaları aracılığıyla bu mekanizma "kanıt yarışması" moduna geçiş yapabilir. Bu mod, ödülleri daha geniş bir kanıtlayıcı grubuna dağıtmayı amaçlayarak merkeziyetsizliği artırır.

Tüm ihale süreci, off-chain ihale hizmeti tarafından işlenir, ancak herhangi biri, zincir üzerinde düzenli olarak yayınlanan zk-SNARKs kullanarak sonuçları bağımsız olarak doğrulayabilir.

kullanıcı deneyimi

İstek ve kanıt yürütme süreci basit ve güvenli olacak şekilde tasarlanmıştır.

• Talep edenler için: Kullanıcılar (örneğin ZK Rollup operatörleri) kolayca bir kanıt talep edebilir, önce tokenleri bir açık artırmacıya ücret ödemek için transfer ederler. Ardından, RPC çağrısı ile kanıt talebini gönderirler, kanıtlanacak programı, son tarihi ve ödemeye istekli oldukları en yüksek ücreti belirlerler. Zincir dışı açık artırmacı, bu talebi en düşük fiyatlı uygun kanıtlayıcılarla eşleştirir. Kanıt tamamlandığında ve gönderildiğinde, ücret transfer edilir ve tüm işlem Ethereum'da tek bir ZK kanıtı ile hesaplanır, bu da talep edenin doğru bir şekilde işlenip işlenmediğini doğrulamasını sağlar.
• Kanıtlayıcılar için: Kanıtlayıcılar, talep edilen işleme erişim hakkı için rekabet ederler. Belirli bir açık artırmaya katılmak için, kanıtlayıcının teminat olarak yatırdığı tokenler, talep edenin belirlediği minimum gereksinimleri karşılamalıdır (örneğin, bir talep 50 token teminatı gerektirebilir). Uygun kanıtlayıcılar, açık artırıcıya teklif sunarlar. En düşük teklifi veren kanıtlayıcı, açık artırmayı kazanır ve kanıt elde eder; bunu belirtilen son tarihten önce tamamlamalıdır. Başarıyla tamamlandıklarında, token şeklinde ödeme alacaklardır. Zamanında kanıt sunulamazsa, teminatları kesilecektir.

Minimum staking amount: 1.000 token (testnet; mainnet to be determined)

hizmet modeli

Ağ, kullanıcılara iki farklı hizmet modeli aracılığıyla esneklik sunar:

• Talep Üzerine İstek: Kullanıcılar, ihtiyaçlarına göre ağa istek gönderebilirler; bu istekler, tüm çevrimiçi kanıtlayıcılara açık olan bir kamu müzayedesine girecektir. Bu, en rekabetçi fiyatları arayan kullanıcılar veya zaman zaman büyük talepler olan uygulamalar için ideal bir seçenektir.
• Off-chain rezervasyon: Daha güçlü güvenilirlik garantisi veya yüksek frekanslı, büyük ölçekli taleplere ihtiyaç duyan kullanıcılar için, ağ belirli bir kanıtlayıcı ile off-chain hizmet sözleşmesi (SLA) imzalamayı destekler. Bu sözleşmeler onaylanmış kanıtlayıcıları beyaz listeye alarak yalnızca teklif verme hakkına sahip olmalarını sağlar. Sözleşmenin uzun vadeli doğası nedeniyle, fiyatlar daha avantajlı olabilir.

Piyasa Dinamikleri ve Ekosistem

Başarılı bir kripto ekonomi sistemi yalnızca güçlü bir teknolojiye değil, aynı zamanda dinamik bir katılımcı ekosistemine ve ağ etkilerini yaratmak için net bir stratejiye de ihtiyaç duyar. Bu token, rasyonel, bağımsız katılımcıların refah içindeki piyasalarda hareket etmesini koordine etmeyi amaçlayan ekonomik sistemin merkezidir.

Çift taraflı pazar

Ağ, DePIN alanında yaygın bir model olan klasik bir iki taraflı pazar kurmuştur. Bu durumda, koordine edilen altyapı, ZK üretimi için gereken hesaplama donanımıdır (GPU, FPGA, ASIC). Taraflar şunlardır:

• Talep Eden Taraf (İstekçi): Bu grup, iş yapmak için ZK'ye ihtiyaç duyan blok zinciri protokolleri, uygulamalar ve geliştiricilerden oluşmaktadır. Bu istekçiler, ağ hizmetleri için organik bir talep yaratmakta ve ekosisteme token ödemeleri şeklinde ana gelir kaynağı olarak akmaktadır.
• Sağlayıcı (kanıtlayıcı): Bu grup, ZK üretimi için gerekli hesaplama donanımına sahip olan ve bunu işleten bireyler ve profesyonel varlıklardan oluşmaktadır. Hizmet sağlamak için rekabet etmek amacıyla sermaye yoğun altyapıya yatırım yaparlar ve token cinsinden ücretler ve ağ ödülleri kazanırlar.

Ekosistem Güvencesi

Yeni pazarlar için en büyük zorluklardan biri "soğuk başlatma" sorunudur: talep yoksa, kanıtlayıcılar katılmayacaktır; güvenilir kanıtlayıcı arzı olmadığında, talep edenler de katılmayacaktır. Succinct Labs, ana ağ başlatılmadan önce pazar talebini sağlamaya odaklanarak bu sorunu çözmektedir.

Bu proje, Web3 alanındaki birçok önde gelen projeyle işbirliği kurdu ve ilk günden itibaren anlık ve büyük bir talep sağladı.

Bu adım, kanıtlayıcıların ekonomik riskini azaltır ve tokenlerin başından itibaren anlık işlem hızına sahip olmasını sağlayarak tüm ekonomik modeli destekler.

Sonuç olarak, Succinct Prover Network basit bir öncül üzerine kuruludur: Hesaplamaların geleceği doğrulanabilir. Bu token, bu geleceği gerçekleştirmek için kritik bir mekanizmadır ve kripto kanıtlarını niş bir teknolojiden herkesin erişebileceği, likit bir dijital mala dönüştürmektedir.