Succinct Prover Network: Merkeziyetsizlik piyasası için zk-SNARKs

Zero bilgi teknolojisi, Web3 alanında hızla popüler bir konu haline geliyor ve niş akademik bir kavramdan geliştiriciler ve pazar tarafından geniş bir şekilde ilgi gören bir odak haline dönüşüyor. ZK'ye dayalı uygulamalar giderek olgunlaşıyor ve ZK kanıtları stratejik bir şekilde blok zinciri altyapısının merkezine entegre ediliyor.

ZK ekosisteminin genişlemesiyle birlikte, hesaplama yoğunluğu kanıtları üretme talebi kritik bir noktaya ulaştı. Bu talebi karşılamak için Succinct Prover Network ortaya çıktı. Bu, ZK üretimini sağlayan merkeziyetsiz bir pazar oluşturmak üzere inşa edilmiş, Ethereum tabanlı bir protokoldür. vApp mimarisini benimseyen sistem, yüksek performans ve doğrulanabilir güvenlik sunar. Sisteminin temeli $PROVE token'ıdır ve bu yeni dijital mal pazarını ilerleten ekonomik motor görevi görür.

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

Ağ Mimarisi

Succinct Prover Network'ün mimarisi, Ethereum'un vApp'ine dayanmaktadır. Bu model, kullanıcılara geleneksel Web uygulamalarının yüksek performans deneyimini sunmayı amaçlarken, Merkeziyetsizlik protokollerinin güvenliğini ve güven garantisini korumaktadır.

Uygulama ve Hesaplama Ayrımı

vApp mimarisi, yürütme ve hesaplama ayrımına dayanır, Layer 2 sıralayıcılarının tasarım modeline benzer.

• Off-chain işlemler, yüksek performanslı hizmetler tarafından işlenir, açık artırma süreçlerini, kanıt dağıtımını ve kullanıcı etkileşimlerini gerçek zamanlı olarak yönetir. Kullanıcılar, blok onay gecikmelerinden endişe etmeden taleplerini gönderebilir ve güncellemeleri alabilir.
• Zincir üzerindeki hesaplamalar Ethereum ana ağında gerçekleştirilmektedir, ağ durumunu ve zincir dışı işlemlerin doğruluğunu düzenli olarak doğrulamak için zk-SNARKs kullanılmaktadır.

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

Ana Bileşenler

Ağ, iki ana bileşenden oluşmaktadır:

• Off-chain ihale hizmeti: Kullanıcı taleplerini kanıtlayıcılarla eşleştiren ana off-chain varlık. Kanıt taleplerini alır, teklifler toplar, ihale yürütür ve işleri dağıtır. Kullanıcılar, gerçek zamanlı deneyim elde etmek için doğrudan RPC çağrıları aracılığıyla etkileşimde bulunurlar.
• Zincir üstü hesaplaşma sözleşmesi: Ethereum üzerinde dağıtılan akıllı sözleşmeler, SuccinctVApp.sol, SuccinctStaking.sol ve SuccinctGovernor.sol dahil, ağın güvenilirlik noktası olarak görev yapar. Açık artırıcıların periyodik olarak sunduğu durum köklerini ve ZK kanıtlarını hesaplamakla sorumludur, ağın bütünlüğünü sağlar.

Doğrulanabilir Veritabanı

Zincir dışı işlemlerin bütünlüğünü sağlamak için, ihale 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 getirilme durumunu bağımsız olarak doğrulamasına olanak tanır. İçerir:

• Kullanıcı bakiyelerini, bekleyen talepleri ve yerine getirme durumunu depolayan veritabanı, okuma ve yazma işlemlerini destekler.
• SP1 tabanlı kanıtlayıcı, veritabanını okumak ve ağın yeni durumunu hesaplamak için ZK kanıtı. Bu kanıt, tüm durum dönüşümlerini, örneğin bakiye güncellemelerini ve kanıt dağıtımını doğrular, ardından Ethereum üzerinde kamuya doğrulanmak üzere tasfiye edilir.

$PROVE token

$PROVE token, Ethereum tabanlı bir ERC-20 yardımcı token'dır ve Succinct Prover Network'ün ekonomik omurgasıdır. 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ışlılık

Bu tokenin kullanılabilirliği birden fazla alanda kendisini göstermektedir:

• Ödeme: $PROVE, ağdaki tek ödeme token'ıdır. Talep eden, bir kanıt elde etmek istiyorsa, kanıtlayıcıya ilgili ücreti $PROVE ile ödemelidir. Bu, token için doğrudan ve sürekli bir işlem talebi yaratır.
• Güvenlik: Ağı güvence altına almak için staking. Kanıtlayıcılar, dürüst bir şekilde hareket etmelerini sağlamak için tekliflere katılmak üzere $PROVE stake etmelidir. Eğer kanıtlayıcı kötü niyetli davranır veya son tarihi kaçırırsa, stake edilen miktarın bir kısmı cezalandırılacaktır.
• Teşvik: $PROVE, kanıtlayıcıları altyapıya yatırım yapmaya teşvik etmek ve rekabetçi fiyatlar sunmaya devam etmek için kullanılır.

Token Arzı ve İhracı

$PROVE'in başlangıç arzı 1 milyar adettir, ancak sabit bir üst sınırı yoktur; protokol sürekli token ihraç mekanizmasını içerir. Yeni ihraç hızı sabit değildir, bunun yerine ağın merkeziyetsizlik yönetim sistemi tarafından kontrol edilen parametrelerle belirlenir ve topluluğa ağın gelişimi ile birlikte teşvikleri dinamik olarak ayarlama imkanı tanır.

Stake ve Yetkilendirme

Ekonomik güvenliği sağlamak için, her kullanıcı $PROVE'yi stake edebilir. Sistem iki ana yöntemi desteklemektedir:

• Kanıtlayıcı stake: Kanıtlayıcı $PROVE stake ederek, açık artırmalara katılma ve kanıt taleplerini yerine getirme hakkı kazanır.
• Delegasyon: Herhangi bir $PROVE tutucusu, tokenlerini seçilen bir doğrulayıcıya delegasyon yapabilir. Bu, onların ağ güvenliğine katkıda bulunmalarını ve seçilen doğrulayıcıdan alınan ücretlerden kâr elde etmelerini sağlar, 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 yerine getirildiğ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, potansiyel dağıtım planı şöyle olabilir: kazanan ispatlayıcı ücretlerin büyük bir kısmını alırken, temsilci güvenlik sağladığı için bir kısmını alır, protokol ise hazine olarak ağ ücretinin küçük bir miktarını alır. Ağın çıkarılan miktarı, tüm stake edenler ( dahil olmak üzere ispatlayıcılar ve temsilciler ) arasında orantılı olarak dağıtılacaktır.

Yönetim

$PROVE token sahipleri, protokolün nihai yöneticileridir ve kritik ağ parametreleri üzerinde oy verme yetkisine sahiptir. Bu, ağ ücretlerini belirlemeyi, staking gereksinimlerini ayarlamayı ve ihale mekanizmasının şeklini belirlemeyi içerir.

Müzayede ve Talepler

Succinct Prover Network, fiyat keşfini teşvik etmek için özenle tasarlanmış bir piyasa yapısı kullanır ve kanıt oluşturma görevlerini en verimli kanıtlayıcılara dağıtır. Bu sistem esnek bir yapıdadır ve farklı hizmet modelleri ile geniş kullanıcı ihtiyaçlarını karşılayabilir.

Müzayede Mekanizması

Ağ, gerçek zamanlı açık artırma ile talep dağıtımı yapmaktadır. Bu açık artırma mekanizması, en düşük gecikme ile etkili fiyat keşfi sağlamaktadır ve $PROVE tokeni ile ödeme yapılmaktadır.

• İlk sürüm: Ağın ilk sürümü, basit ters açık artırma kullanarak kanıt taleplerini en düşük teklifi veren kanıtlayıcılara dağıtır.
• Gelecek Gelişimi: Zamanla, yönetim mekanizmaları aracılığıyla bu mekanizma "kanıt yarışması" moduna geçirilebilir. Bu mod, ödülleri daha geniş bir kanıtlayıcı topluluğuna dağıtmayı amaçlayarak merkeziyetsizlik derecesini artırır.

Tüm müzayede süreci, çevrimdışı müzayede hizmeti tarafından işlenmektedir, ancak herkes, zincir üzerinde düzenli olarak yayınlanan zk-SNARKs ile sonuçları bağımsız olarak doğrulayabilir.

Kullanıcı Deneyimi

Talep etme ve icra etme süreci basit ve güvenli olacak şekilde tasarlanmıştır.

• Talep edenler için: Kullanıcılar, ilk olarak $PROVE'yi müzayedeciye ücret ödemek için kolayca gönderebilirler. Ardından, RPC çağrısı ile kanıt talebini gönderirler, kanıtlanacak programı, son tarihi ve ödemek istedikleri maksimum ücreti belirtirler. Off-chain müzayedecisi bu talebi en düşük fiyatlı uygun kanıtlayıcı ile eşleştirir. Bir kez kanıt tamamlanıp sunulduğunda, ücret transfer edilir ve tüm işlem Ethereum üzerinde tek bir ZK kanıtı ile hesaplanır, bu da talep edenin işlemin doğru bir şekilde işlenip işlenmediğini doğrulamasını sağlar.
• Kanıtlayıcılar için: Kanıtlayıcılar, istekleri yerine getirme hakkı için rekabet eder. Belirli bir açık artırma uygunluğu elde etmek için, kanıtlayıcının stake ettiği $PROVE, talep edenin belirlediği minimum gereksinimleri karşılamalıdır ( Örneğin, bir talep 50 $PROVE stake edilmesini gerektirebilir ). Uygun kanıtlayıcılar, açık artırmacıya teklif sunar. En düşük teklifi veren kanıtlayıcı, açık artırmayı kazanır ve kanıt alır, bunu belirlenen son tarih öncesinde tamamlamalıdır. Başarılı olursa, $PROVE şeklinde ödeme alır. Kanıtı zamanında sunamazsa, stake edilen miktar düşürülecektir.

Minimum stake amount: 1,000 $PROVE( testnet; mainnet to be determined )

Hizmet Modeli

Ağ, kullanıcılara esneklik sağlamak için iki farklı hizmet modeli sunmaktadır:

• İhtiyaç doğrultusunda talep: Kullanıcılar ihtiyaç duyduklarında ağa talep gönderebilirler, bu talepler 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 bir talep ortaya çıkan 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 talebi olan 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 onaylı kanıtlayıcıları beyaz listeye alarak, sadece onlara teklif verme yetkisi tanır. Sözleşmenin uzun vadeli doğası nedeniyle, fiyatlar daha uygun 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ğ etkileri yaratmak için net stratejilere de ihtiyaç duyar. $PROVE token'i, refah içinde rasyonel ve bağımsız katılımcıların harekete geçmesini koordine etmeyi amaçlayan ekonomi sisteminin merkezidir.

Çift taraflı pazar

Bu ağ, DePIN alanında yaygın bir model olan klasik ikili pazarları kurmuştur. Bu durumda, koordine edilen altyapı, ZK oluşturmak için gereken hesaplama donanımı olan (GPU, FPGA, ASIC)'dır. Taraflar şunlardır:

• Talep eden ( isteyici ): Bu grup, iş yapmak için ZK'ya ihtiyaç duyan blockchain protokolleri, uygulamaları ve geliştiricilerden oluşmaktadır. Bu talep edenler, ağ hizmetleri için organik talep yaratır ve ekosisteme $PROVE ödeme biçiminde ana gelir kaynağı olarak akmaktadır.
• Tedarikçi ( 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 sunmak için rekabet etmek amacıyla sermaye yoğun altyapıya yatırım yaparlar, $PROVE 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, doğrulayıcılar katılmaz; güvenilir bir doğrulayıcı arzı yoksa, talep edenler de katılmaz. Succinct Labs, ana ağın başlatılmasından önce pazar talebini sağlamaya odaklanarak bu sorunu çözmektedir.

Bu proje, Web3 alanındaki birçok önde gelen projeyle işbirliği kurmuştur ve ilk günden itibaren anlık ve büyük ölçekte talep sağlamıştır.

Bu adım, kanıtlayıcıların ekonomik risklerini azaltmakta ve $PROVE tokeninin en başından itibaren anlık işlem hızı sağlamasını, tüm ekonomik modeli desteklemesini garanti etmektedir.

Sonuç olarak, Succinct Prover Network basit bir öncül üzerine kuruludur: Geleceğin hesaplanabilir olduğu doğrulanabilir. $PROVE token'i bu geleceği gerçekleştirmek için anahtar mekanizmadır, kriptografik kanıtları niş bir teknolojiden herkesin erişebileceği, likit bir dijital mala dönüştürür.