Starknet 0.12.0'ın 12 Temmuz'da resmi olarak ana ağda konuşlandırıldığı ve daha fazla verim ve daha düşük gecikme sağladığı bildirildi. Bu makaleyi okumadan önce, sıfır bilgi kanıtı kavramı hakkında bir ön bilgi sahibi olmanız gerekir:
Sıfır bilgi kanıtı, kriptografi kavramına aittir ve etkileşimli bir kanıttır. Klasik bir örnekle başlayalım: A kırmızı-yeşil renk körüdür ve B'nin biri kırmızı biri yeşil olmak üzere iki bilardo topu vardır. A'nın gözünde iki top tamamen aynı renge sahiptir ve B'nin iki bilardo toptan birinin kırmızı diğerinin yeşil olduğunu A'ya kanıtlaması gerekmektedir. Bu sırada, A bilardo toplarını arkasına koyar, iki topu değiştirebilir ya da değiştiremez ve B'nin her seferinde B'nin tahmininin sonucu Doğruysa, A'nın iki topu değiştirip değiştirmediğini, bunu birçok kez tekrarlayarak yargılaması gerekir. , o zaman A iki bilardo topundan birinin kırmızı diğerinin yeşil olduğunu düşünür ki gerçek durum budur. Bu klasik sıfır bilgi ispatına bir örnektir.Sıfır bilgi ispatında sadece "kanıtlayan" ve "doğrulayıcı" olmak üzere iki kimliğe ihtiyacımız vardır.
1 Starknet'e Giriş
StarkNet, izinsiz merkezi olmayan bir Validity-Rollup'tur ("ZK-Toplaması" olarak da bilinir). Ethereum üzerinde bir Katman 2 olarak, herhangi bir Dapp'ın Ethereum'un birleştirilebilirliği ve güvenliğinden ödün vermeden bilgi işlemde sonsuz genişleme elde etmesini sağlar.
StarekNet'in ana şirketi olan StarkWare, 2018 yılında kurulmuş ve merkezi İsrail'de olup, ana ürünleri Starknet ve StarkEx'tir. Şirket değerlemesi 8 milyar ABD dolarına ulaştı. Şimdiye kadar, StarkNet beş tur finansmandan geçerek toplam 273 milyon ABD doları topladı.
Ethereum Vakfı'nın, stark yazılımlarını kullanan starkware'i özellikle kamuya açık bir şekilde desteklediğini ve starkware'e 12 milyon dolarlık bir hibe sağladıklarını belirtmekte fayda var. Ve bu, endüstrinin StarkNet'in gelecekteki gelişimi ve ortodoksisi hakkında genel olarak iyimser olmasının nedenlerinden biridir.
Token Ekonomik Modeli
StarkNet, 16 Kasım 2022'de kendi token'ı $STRK'nin oylama, staking ve ücret ödemesi için Ethereum ana ağında konuşlandırılacağını duyurdu.
Şekil 1-1 $STARK Token Ekonomik Modeli
Token ekonomik modelinde, yatırımcıların ve ana katkıda bulunanların %49,9'luk token'ları dışında kalan %50,1'lik token'ların tamamı StarkNet Foundation'a aittir. Bunun, belirteçlerin %8,1'i tahsis edilmemiş durumda. Bu kısım topluluk tarafından karşılık gelen kullanımı belirlemek için kullanılacaktır, bu nedenle belirteçlerin bu kısmı genellikle potansiyel bir airdrop kotası olarak tahmin edilir. Starknet Vakfı, eski Facebook yöneticisi Diego Oliva'yı da ilk CEO'su olarak atadı. Oliva daha önce, geliştiricilerin ve kullanıcıların haklarını ve çıkarlarını vurgulayarak, Starknet merkezi olmayan topluluğunun yönetişimine odaklanacağını belirtmişti.
yol haritası
V 0.12.0 aktarım hızı ve gecikme
Yetkili kısa süre önce 2023 için genel yol haritasını duyurdu. Sürüm 0.12.0, 12 Temmuz Çarşamba günü resmi olarak ana ağda konuşlandırıldı. Starknet'in en son sürümü olan 0.12.0, verim ve gecikmedeki iyileştirmeler dahil olmak üzere önemli performans iyileştirmeleri sunar. Rust tabanlı Sequencer ve Rust-Cairo VM'yi benimseyerek, StarkNet'in performansı önemli ölçüde iyileşecek ve OKEX borsası, ETH starknet ana ağının yatırılmasını desteklemeye başladı.
V 0.13.0 İşlem Maliyeti
V 0.13.0 sürümünde, Starknet'in işlem maliyeti büyük ölçüde azaltılacaktır. Bu, işlem maliyetlerini azaltmanın önemli bir bileşeni olan irade yoluyla elde edilir. L1 (Ethereum) veri maliyetleri, bugün işlem maliyetlerinin %95'ini oluşturuyor ve Volition, geliştiricilerin hibrit bir Veri Kullanılabilirliği (DA) modeli kullanarak Starknet uygulamaları oluşturmasına izin verecek. Ek olarak, Ethereum'un EIP-4844'ünün (Parçalı Blob İşlemleri) 2023'ün 4. çeyreğinde piyasaya sürülmesi bekleniyor. Ethereum'un EIP-4844'ü ve Starknet'in İradesi (zincir dışı veri mevcudiyeti) sayesinde, Starknet'in veri maliyetleri önemli ölçüde azalacaktır.
V 0.14.0 Ücret Piyasası
Ağ tıkanıklığı, her geliştirici ve kullanıcı için bir baş ağrısıdır. Bu sorunu çözmek için Starknet, V 0.14.0'da, Starknet'in sınırlı kaynaklarını, gas kullanıcılarının işlemler için ne kadar ödediğine göre verimli bir şekilde tahsis etmek için bir ücret piyasası sunacak.
V 0.15.0 daha kısa sabit blok aralığı
V0.15.0 sürümünde, bazı iyileştirme planları, bloklar ve ispatlar arasındaki ilişkiyi ayrıştırarak Starknet'in performansını ve kullanıcı deneyimini iyileştirmeyi, blok aralığını azaltmayı ve ağın verimini iyileştirmeyi amaçlamaktadır. Bu, Starknet'i daha güçlü ve verimli bir blockchain platformu yapacak.
2 Teknik Analiz
ZK-Toplaması VS OP-Toplaması
Şu anda piyasada en yaygın olarak kullanılan Katman 2 - Arbitrium'un altında yatan teknoloji OP-Toplama, (İyimser Toplama)'dır. Dolandırıcılık kanıtları aracılığıyla genişleme sağlar. Op-Rollup'ta, işlem verilerinin gerçek zamanlı doğrulama olmaksızın doğrudan bir bekleme süresine girerek sistem tarafından doğru olduğuna iyimser bir şekilde inanılır. Bekleme süresi boyunca bir node itiraz ederse ve kötü niyetli bir işlem olduğuna dair kanıt sunarsa işlem iptal edilir, herhangi bir itiraz olmazsa işlem otomatik olarak tamamlanır ve bekleme sonrasında ana zincir üzerinde doğrulanır. dönem bitti.
Starknet, ZK-Rollup teknolojisine dayalı Layer 2'dir. ZK-Rollup temel olarak sıfır bilgi kanıtı teknolojisine dayanır.Hesaplama ve doğrulama süreçlerini ayırarak, sözleşme yürütme doğrulaması zincir dışında tamamlanır ve ardından doğrulama sonuçları Ethereum ana ağına gönderilir. Hesaplama işlemi zincir dışında gerçekleştirilir ve doğrulama sonucu yalnızca kanıt olarak Ethereum'a sunulur.Bu nedenle, bu yöntem en üst düzeyde güvenlik ve kullanıcı gizliliği koruması sağlar.
OP toplaması ve ZK toplaması ile karşılaştırıldığında ZK toplaması, OP toplamasından daha güvenli bir alternatifken OP toplaması, EVM uyumluluğuna sahip DeFi projeleri için daha iyi bir seçimdir. EVM uyumlu ZK toplamasının, doğal güvenlik avantajlarıyla Katman 2'nin gelecekteki anlatım geliştirme yönü olacağı görülebilir. Güvenlik, StarkNet'in en güvenli ve ölçeklenebilir kriptografik kanıt sistemi olan STARK'a güvenmesi sayesinde sağlanır.
Zk-STARK'lar Zk-SNARK'lara Karşı
STARK (Zero-Knowledge Scalable Transparent Arguments of Knowledge) ve Zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge), tüm bilgileri ifşa etmeden doğrulanabilecek kanıtlar oluşturmak için kullanılan sıfır bilgi kanıtlama teknolojileridir. Ancak bunların uygulanmasında ve özelliklerinde bazı önemli farklılıklar vardır.
SNARK'ları veya STARK'ları kullanmayı seçmek, belirli uygulama senaryolarına ve gereksinimlerine bağlıdır. SNARK'ların kanıt boyutu ve doğrulama hızı açısından avantajları vardır, ancak bir güven kurulumu gerektirir. STARK'lar güven ayarları gerektirmez ve kuantum bilgisayar saldırılarına karşı dayanıklıdır, ancak kanıt daha büyüktür ve doğrulama hızı daha yavaştır.
Burada bir kavram tanıtılmaktadır - bazı sıfır bilgi kanıtı sistemlerinde (zk-SNARK'lar gibi) kullanılan ve sistem çalışmaya başlamadan önce bazı başlangıç parametreleri oluşturan bir süreç olan Güvenilir Kurulum. Bu parametreler hem kanıt oluşturma hem de doğrulama sırasında kullanılır.
Güven kurulumunun anahtarı, oluşturucuların ilk parametreleri oluşturduktan sonra kullandıkları sırları tamamen yok etmelerini sağlamaktır. Üretici bu sırrı saklarsa, sistemin güvenliğini tehlikeye atacak şekilde geçerli gibi görünen sahte kanıtlar yaratma yeteneğine sahip olurlardı. Bu nedenle, tüm üreticilerin gizli bilgileri uygun şekilde yok ettiğinden emin olmak için güven oluşturma sürecinin titiz bir incelemeye ve izlemeye tabi olması gerekir. Bu nedenle buna "güven kurulumu" denir, çünkü kullanıcının sürecin adil olduğuna ve üreticinin hile yapmadığına güvenmesi gerekir.
Ancak zk-STARKs, güven ayarları gerektirmeyen sıfır bilgi kanıtı sistemidir. Bu, bir güven kurulumu gerektiren sistemlerin (zk-SNARK'lar gibi) aksine, zk-STARK'ların kanıt oluşturma ve doğrulama sürecinin herhangi bir gizli bilgiye dayanmadığı anlamına gelir. Sistemin güvenliği belirli bir kişinin veya kuruluşun eylemlerine bağlı olmadığından, bu daha fazla şeffaflık ve güvenlik sağlar. zk-STARK'lar, "FRI" (Fast Reed-Solomon Interactive Oracle Proofs) adı verilen bir teknoloji kullanılarak gerçekleştirilmektedir.
CUM anlaşması
FRI protokolünün temel fikri, bir dizi örnekleme ve enterpolasyon adımı yoluyla polinomların derecesini kademeli olarak azaltmaktır. Her adımda kanıtlayıcı, orijinal polinomun sıkıştırılmış bir versiyonu olduğunu iddia ettiği yeni bir polinom sağlar. Doğrulayıcı, bu polinomların değerlerini rastgele noktalarda kontrol ederek iddianın doğru olduğunu doğrulayabilir.
Bu süreç, polinomun derecesi, doğrulayıcının tüm katsayılarını doğrudan kontrol edebileceği kadar düşük olana kadar devam eder. Her adımda polinomun derecesi yarıya indirildiğinden, bu işlem logaritmik zamanda yapılabilir, bu da FRI protokolünü çok verimli kılar.
FRI protokolünün önemli bir özelliği, yalnızca genel, önceden tanımlanmış parametrelere dayanması ve herhangi bir gizli bilgi gerektirmemesidir. Bu, güven kurulumu gerektirmeyen zk-STARK'lar gibi sıfır bilgi kanıtlı sistemler oluşturmak için onu kullanışlı kılar. Ancak FRI (Fast Reed-Solomon Interactive Oracle Proofs) protokolü, bir güven kurulumuna eşdeğer değildir. Bunun yerine FRI protokolü, zk-STARK'ların kanıtlarını oluşturmaya ve doğrulamaya yönelik bir teknolojidir. Kanıtlayanın doğrulayıcıya bir polinomun katsayılarının polinomun spesifik içeriğini açıklamadan düşük dereceli olduğunu kanıtlamasına izin verir. FRI protokolünün temel özelliği, yalnızca genel, önceden tanımlanmış parametrelere dayanması ve herhangi bir gizli bilgi gerektirmemesidir. Bu, güven kurulumu gerektirmeyen zk-STARK'lar gibi sıfır bilgi kanıtlı sistemler oluşturmak için onu kullanışlı kılar. FRI protokolü, zk-STARK'ların bir güven kurulumu gerektirmeden çalışmasını sağlayan, zk-STARK'ların önemli bir bileşenidir. Ancak FRI protokolünün kendisi, herhangi bir gizli bilginin üretilmesini veya yok edilmesini içermediğinden, bir güven oluşturma süreci değildir.
Starknet Nasıl Çalışır
StarkWare'in ürünleri, proje tarafları için özelleştirilmiş bir ZKR kurumsal hizmeti olan StarkEx'i ve daha genel StarkNet'i içerir. StarkNet, Starknet üzerinde prover (sertifikalayıcı), Sequencer (sıralayıcı) ve Full node (full node) ve Ethereum sözleşmesinde dağıtılan doğrulayıcı (verifier) ve Starknet çekirdeği (çekirdek durumu) olmak üzere beş bölümden oluşur.
Çalışma prensibi, kabul edilen, sıralanan, doğrulanan, zincir dışı sunucu sıralayıcısı tarafından bloklar halinde paketlenen, işlemi yürüten ve ardından durumu starknet çekirdek durum sözleşmesine ileten StarkNet üzerinde bir işlem başlatmaktır. Kanıtlayıcı hemen işlemin bir kanıtını oluşturur ve bunu doğrulama için Ethereum doğrulayıcısına gönderir. Doğrulayıcı, doğrulama sonucunu Ethereum'un starknet çekirdek durum sözleşmesine gönderir ve kayıt tutma zincirindeki küresel durumu güncellemek için Starknet çekirdek sözleşmesinden yeni bir dizi Ethereum işlemini tetikler. Tam düğüm (Tam düğüm), durum değişiklikleri, meta veriler, kanıtlar dahil olmak üzere bir depolama işlevi gerçekleştirir ve Starknet'te gerçekleştirilen tüm işlemleri kaydeder ve sistemin mevcut küresel durumunu izler.
Şekil 2-1 Starknet'in çalışma prensibinin şematik diyagramı
Starknet'te şu anda 100'den fazla dapp ve hizmet içeren birçok ekolojik proje var. Bunlar arasında Braavos ve Argent olmak üzere iki tür cüzdan vardır, ancak ikisi arasındaki anımsatıcılar birlikte çalışamaz. 10kswap, Jediswap, Myswap gibi DEX'ler ve Zklend gibi borç verme protokolleri dahil 60'tan fazla Defi protokolü konuşlandırıldı; Defilama verilerine göre şu an itibariyle StarkNet'in toplam TVL'si sadece 17,36 milyon dolar. Aynı türdeki 189,21 milyon dolarlık zkSync Era ile karşılaştırıldığında, hala yaklaşık on katlık bir boşluk var.StarkNet ekosisteminin hala erken bir aşamada olduğu görülebiliyor.
Şekil 3-2 Defilama'dan StarkNet TVL
Zincirler arası köprü, resmi zincirler arası köprü yıldız geçidi, Orbiter, Layerswap vb. içerir; Did, StarknetID'ye ve StarQuest görev platformuna sahiptir. Şu anda, Starknet'in çeşitli protokollerinin NFT Odyssey faaliyetleri tüm hızıyla devam ediyor.StarkNet'in gelecekteki ekolojisi gelişmeye devam edecek mi yoksa kısa ömürlü mü olacak, sadece bekleyip görebiliriz...
View Original
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Starknet 0.12.0 Resmi Olarak Ana Ağı Dağıtıyor: Kuantum Sıçrayışını Gerçekleştirmek
Önsöz
Starknet 0.12.0'ın 12 Temmuz'da resmi olarak ana ağda konuşlandırıldığı ve daha fazla verim ve daha düşük gecikme sağladığı bildirildi. Bu makaleyi okumadan önce, sıfır bilgi kanıtı kavramı hakkında bir ön bilgi sahibi olmanız gerekir:
Sıfır bilgi kanıtı, kriptografi kavramına aittir ve etkileşimli bir kanıttır. Klasik bir örnekle başlayalım: A kırmızı-yeşil renk körüdür ve B'nin biri kırmızı biri yeşil olmak üzere iki bilardo topu vardır. A'nın gözünde iki top tamamen aynı renge sahiptir ve B'nin iki bilardo toptan birinin kırmızı diğerinin yeşil olduğunu A'ya kanıtlaması gerekmektedir. Bu sırada, A bilardo toplarını arkasına koyar, iki topu değiştirebilir ya da değiştiremez ve B'nin her seferinde B'nin tahmininin sonucu Doğruysa, A'nın iki topu değiştirip değiştirmediğini, bunu birçok kez tekrarlayarak yargılaması gerekir. , o zaman A iki bilardo topundan birinin kırmızı diğerinin yeşil olduğunu düşünür ki gerçek durum budur. Bu klasik sıfır bilgi ispatına bir örnektir.Sıfır bilgi ispatında sadece "kanıtlayan" ve "doğrulayıcı" olmak üzere iki kimliğe ihtiyacımız vardır.
1 Starknet'e Giriş
StarkNet, izinsiz merkezi olmayan bir Validity-Rollup'tur ("ZK-Toplaması" olarak da bilinir). Ethereum üzerinde bir Katman 2 olarak, herhangi bir Dapp'ın Ethereum'un birleştirilebilirliği ve güvenliğinden ödün vermeden bilgi işlemde sonsuz genişleme elde etmesini sağlar.
StarekNet'in ana şirketi olan StarkWare, 2018 yılında kurulmuş ve merkezi İsrail'de olup, ana ürünleri Starknet ve StarkEx'tir. Şirket değerlemesi 8 milyar ABD dolarına ulaştı. Şimdiye kadar, StarkNet beş tur finansmandan geçerek toplam 273 milyon ABD doları topladı.
Ethereum Vakfı'nın, stark yazılımlarını kullanan starkware'i özellikle kamuya açık bir şekilde desteklediğini ve starkware'e 12 milyon dolarlık bir hibe sağladıklarını belirtmekte fayda var. Ve bu, endüstrinin StarkNet'in gelecekteki gelişimi ve ortodoksisi hakkında genel olarak iyimser olmasının nedenlerinden biridir.
Token Ekonomik Modeli
StarkNet, 16 Kasım 2022'de kendi token'ı $STRK'nin oylama, staking ve ücret ödemesi için Ethereum ana ağında konuşlandırılacağını duyurdu.
Şekil 1-1 $STARK Token Ekonomik Modeli
Token ekonomik modelinde, yatırımcıların ve ana katkıda bulunanların %49,9'luk token'ları dışında kalan %50,1'lik token'ların tamamı StarkNet Foundation'a aittir. Bunun, belirteçlerin %8,1'i tahsis edilmemiş durumda. Bu kısım topluluk tarafından karşılık gelen kullanımı belirlemek için kullanılacaktır, bu nedenle belirteçlerin bu kısmı genellikle potansiyel bir airdrop kotası olarak tahmin edilir. Starknet Vakfı, eski Facebook yöneticisi Diego Oliva'yı da ilk CEO'su olarak atadı. Oliva daha önce, geliştiricilerin ve kullanıcıların haklarını ve çıkarlarını vurgulayarak, Starknet merkezi olmayan topluluğunun yönetişimine odaklanacağını belirtmişti.
yol haritası
V 0.12.0 aktarım hızı ve gecikme
Yetkili kısa süre önce 2023 için genel yol haritasını duyurdu. Sürüm 0.12.0, 12 Temmuz Çarşamba günü resmi olarak ana ağda konuşlandırıldı. Starknet'in en son sürümü olan 0.12.0, verim ve gecikmedeki iyileştirmeler dahil olmak üzere önemli performans iyileştirmeleri sunar. Rust tabanlı Sequencer ve Rust-Cairo VM'yi benimseyerek, StarkNet'in performansı önemli ölçüde iyileşecek ve OKEX borsası, ETH starknet ana ağının yatırılmasını desteklemeye başladı.
V 0.13.0 İşlem Maliyeti
V 0.13.0 sürümünde, Starknet'in işlem maliyeti büyük ölçüde azaltılacaktır. Bu, işlem maliyetlerini azaltmanın önemli bir bileşeni olan irade yoluyla elde edilir. L1 (Ethereum) veri maliyetleri, bugün işlem maliyetlerinin %95'ini oluşturuyor ve Volition, geliştiricilerin hibrit bir Veri Kullanılabilirliği (DA) modeli kullanarak Starknet uygulamaları oluşturmasına izin verecek. Ek olarak, Ethereum'un EIP-4844'ünün (Parçalı Blob İşlemleri) 2023'ün 4. çeyreğinde piyasaya sürülmesi bekleniyor. Ethereum'un EIP-4844'ü ve Starknet'in İradesi (zincir dışı veri mevcudiyeti) sayesinde, Starknet'in veri maliyetleri önemli ölçüde azalacaktır.
V 0.14.0 Ücret Piyasası
Ağ tıkanıklığı, her geliştirici ve kullanıcı için bir baş ağrısıdır. Bu sorunu çözmek için Starknet, V 0.14.0'da, Starknet'in sınırlı kaynaklarını, gas kullanıcılarının işlemler için ne kadar ödediğine göre verimli bir şekilde tahsis etmek için bir ücret piyasası sunacak.
V 0.15.0 daha kısa sabit blok aralığı
V0.15.0 sürümünde, bazı iyileştirme planları, bloklar ve ispatlar arasındaki ilişkiyi ayrıştırarak Starknet'in performansını ve kullanıcı deneyimini iyileştirmeyi, blok aralığını azaltmayı ve ağın verimini iyileştirmeyi amaçlamaktadır. Bu, Starknet'i daha güçlü ve verimli bir blockchain platformu yapacak.
2 Teknik Analiz
ZK-Toplaması VS OP-Toplaması
Şu anda piyasada en yaygın olarak kullanılan Katman 2 - Arbitrium'un altında yatan teknoloji OP-Toplama, (İyimser Toplama)'dır. Dolandırıcılık kanıtları aracılığıyla genişleme sağlar. Op-Rollup'ta, işlem verilerinin gerçek zamanlı doğrulama olmaksızın doğrudan bir bekleme süresine girerek sistem tarafından doğru olduğuna iyimser bir şekilde inanılır. Bekleme süresi boyunca bir node itiraz ederse ve kötü niyetli bir işlem olduğuna dair kanıt sunarsa işlem iptal edilir, herhangi bir itiraz olmazsa işlem otomatik olarak tamamlanır ve bekleme sonrasında ana zincir üzerinde doğrulanır. dönem bitti.
Starknet, ZK-Rollup teknolojisine dayalı Layer 2'dir. ZK-Rollup temel olarak sıfır bilgi kanıtı teknolojisine dayanır.Hesaplama ve doğrulama süreçlerini ayırarak, sözleşme yürütme doğrulaması zincir dışında tamamlanır ve ardından doğrulama sonuçları Ethereum ana ağına gönderilir. Hesaplama işlemi zincir dışında gerçekleştirilir ve doğrulama sonucu yalnızca kanıt olarak Ethereum'a sunulur.Bu nedenle, bu yöntem en üst düzeyde güvenlik ve kullanıcı gizliliği koruması sağlar.
OP toplaması ve ZK toplaması ile karşılaştırıldığında ZK toplaması, OP toplamasından daha güvenli bir alternatifken OP toplaması, EVM uyumluluğuna sahip DeFi projeleri için daha iyi bir seçimdir. EVM uyumlu ZK toplamasının, doğal güvenlik avantajlarıyla Katman 2'nin gelecekteki anlatım geliştirme yönü olacağı görülebilir. Güvenlik, StarkNet'in en güvenli ve ölçeklenebilir kriptografik kanıt sistemi olan STARK'a güvenmesi sayesinde sağlanır.
Zk-STARK'lar Zk-SNARK'lara Karşı
STARK (Zero-Knowledge Scalable Transparent Arguments of Knowledge) ve Zk-SNARK (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge), tüm bilgileri ifşa etmeden doğrulanabilecek kanıtlar oluşturmak için kullanılan sıfır bilgi kanıtlama teknolojileridir. Ancak bunların uygulanmasında ve özelliklerinde bazı önemli farklılıklar vardır.
SNARK'ları veya STARK'ları kullanmayı seçmek, belirli uygulama senaryolarına ve gereksinimlerine bağlıdır. SNARK'ların kanıt boyutu ve doğrulama hızı açısından avantajları vardır, ancak bir güven kurulumu gerektirir. STARK'lar güven ayarları gerektirmez ve kuantum bilgisayar saldırılarına karşı dayanıklıdır, ancak kanıt daha büyüktür ve doğrulama hızı daha yavaştır.
Burada bir kavram tanıtılmaktadır - bazı sıfır bilgi kanıtı sistemlerinde (zk-SNARK'lar gibi) kullanılan ve sistem çalışmaya başlamadan önce bazı başlangıç parametreleri oluşturan bir süreç olan Güvenilir Kurulum. Bu parametreler hem kanıt oluşturma hem de doğrulama sırasında kullanılır.
Güven kurulumunun anahtarı, oluşturucuların ilk parametreleri oluşturduktan sonra kullandıkları sırları tamamen yok etmelerini sağlamaktır. Üretici bu sırrı saklarsa, sistemin güvenliğini tehlikeye atacak şekilde geçerli gibi görünen sahte kanıtlar yaratma yeteneğine sahip olurlardı. Bu nedenle, tüm üreticilerin gizli bilgileri uygun şekilde yok ettiğinden emin olmak için güven oluşturma sürecinin titiz bir incelemeye ve izlemeye tabi olması gerekir. Bu nedenle buna "güven kurulumu" denir, çünkü kullanıcının sürecin adil olduğuna ve üreticinin hile yapmadığına güvenmesi gerekir.
Ancak zk-STARKs, güven ayarları gerektirmeyen sıfır bilgi kanıtı sistemidir. Bu, bir güven kurulumu gerektiren sistemlerin (zk-SNARK'lar gibi) aksine, zk-STARK'ların kanıt oluşturma ve doğrulama sürecinin herhangi bir gizli bilgiye dayanmadığı anlamına gelir. Sistemin güvenliği belirli bir kişinin veya kuruluşun eylemlerine bağlı olmadığından, bu daha fazla şeffaflık ve güvenlik sağlar. zk-STARK'lar, "FRI" (Fast Reed-Solomon Interactive Oracle Proofs) adı verilen bir teknoloji kullanılarak gerçekleştirilmektedir.
CUM anlaşması
FRI protokolünün temel fikri, bir dizi örnekleme ve enterpolasyon adımı yoluyla polinomların derecesini kademeli olarak azaltmaktır. Her adımda kanıtlayıcı, orijinal polinomun sıkıştırılmış bir versiyonu olduğunu iddia ettiği yeni bir polinom sağlar. Doğrulayıcı, bu polinomların değerlerini rastgele noktalarda kontrol ederek iddianın doğru olduğunu doğrulayabilir.
Bu süreç, polinomun derecesi, doğrulayıcının tüm katsayılarını doğrudan kontrol edebileceği kadar düşük olana kadar devam eder. Her adımda polinomun derecesi yarıya indirildiğinden, bu işlem logaritmik zamanda yapılabilir, bu da FRI protokolünü çok verimli kılar.
FRI protokolünün önemli bir özelliği, yalnızca genel, önceden tanımlanmış parametrelere dayanması ve herhangi bir gizli bilgi gerektirmemesidir. Bu, güven kurulumu gerektirmeyen zk-STARK'lar gibi sıfır bilgi kanıtlı sistemler oluşturmak için onu kullanışlı kılar. Ancak FRI (Fast Reed-Solomon Interactive Oracle Proofs) protokolü, bir güven kurulumuna eşdeğer değildir. Bunun yerine FRI protokolü, zk-STARK'ların kanıtlarını oluşturmaya ve doğrulamaya yönelik bir teknolojidir. Kanıtlayanın doğrulayıcıya bir polinomun katsayılarının polinomun spesifik içeriğini açıklamadan düşük dereceli olduğunu kanıtlamasına izin verir. FRI protokolünün temel özelliği, yalnızca genel, önceden tanımlanmış parametrelere dayanması ve herhangi bir gizli bilgi gerektirmemesidir. Bu, güven kurulumu gerektirmeyen zk-STARK'lar gibi sıfır bilgi kanıtlı sistemler oluşturmak için onu kullanışlı kılar. FRI protokolü, zk-STARK'ların bir güven kurulumu gerektirmeden çalışmasını sağlayan, zk-STARK'ların önemli bir bileşenidir. Ancak FRI protokolünün kendisi, herhangi bir gizli bilginin üretilmesini veya yok edilmesini içermediğinden, bir güven oluşturma süreci değildir.
Starknet Nasıl Çalışır
StarkWare'in ürünleri, proje tarafları için özelleştirilmiş bir ZKR kurumsal hizmeti olan StarkEx'i ve daha genel StarkNet'i içerir. StarkNet, Starknet üzerinde prover (sertifikalayıcı), Sequencer (sıralayıcı) ve Full node (full node) ve Ethereum sözleşmesinde dağıtılan doğrulayıcı (verifier) ve Starknet çekirdeği (çekirdek durumu) olmak üzere beş bölümden oluşur.
Çalışma prensibi, kabul edilen, sıralanan, doğrulanan, zincir dışı sunucu sıralayıcısı tarafından bloklar halinde paketlenen, işlemi yürüten ve ardından durumu starknet çekirdek durum sözleşmesine ileten StarkNet üzerinde bir işlem başlatmaktır. Kanıtlayıcı hemen işlemin bir kanıtını oluşturur ve bunu doğrulama için Ethereum doğrulayıcısına gönderir. Doğrulayıcı, doğrulama sonucunu Ethereum'un starknet çekirdek durum sözleşmesine gönderir ve kayıt tutma zincirindeki küresel durumu güncellemek için Starknet çekirdek sözleşmesinden yeni bir dizi Ethereum işlemini tetikler. Tam düğüm (Tam düğüm), durum değişiklikleri, meta veriler, kanıtlar dahil olmak üzere bir depolama işlevi gerçekleştirir ve Starknet'te gerçekleştirilen tüm işlemleri kaydeder ve sistemin mevcut küresel durumunu izler.
Şekil 2-1 Starknet'in çalışma prensibinin şematik diyagramı
3 StarkNet Ekosistemi
Şekil 3-1 Starknet ekolojik haritası (Twitter'dan @odin_free)
Starknet'te şu anda 100'den fazla dapp ve hizmet içeren birçok ekolojik proje var. Bunlar arasında Braavos ve Argent olmak üzere iki tür cüzdan vardır, ancak ikisi arasındaki anımsatıcılar birlikte çalışamaz. 10kswap, Jediswap, Myswap gibi DEX'ler ve Zklend gibi borç verme protokolleri dahil 60'tan fazla Defi protokolü konuşlandırıldı; Defilama verilerine göre şu an itibariyle StarkNet'in toplam TVL'si sadece 17,36 milyon dolar. Aynı türdeki 189,21 milyon dolarlık zkSync Era ile karşılaştırıldığında, hala yaklaşık on katlık bir boşluk var.StarkNet ekosisteminin hala erken bir aşamada olduğu görülebiliyor.
Şekil 3-2 Defilama'dan StarkNet TVL
Zincirler arası köprü, resmi zincirler arası köprü yıldız geçidi, Orbiter, Layerswap vb. içerir; Did, StarknetID'ye ve StarQuest görev platformuna sahiptir. Şu anda, Starknet'in çeşitli protokollerinin NFT Odyssey faaliyetleri tüm hızıyla devam ediyor.StarkNet'in gelecekteki ekolojisi gelişmeye devam edecek mi yoksa kısa ömürlü mü olacak, sadece bekleyip görebiliriz...