Yazan: Biteye ana yazarı Anci

Editör: Biteye ana katılımcısı Crush

Web3 dünyasındaki diğer gürültülü anlatılarla karşılaştırıldığında, ZK pisti uzun süredir uzun ve sıkıcı ama anlamlı bir altyapı inşasını temsil ediyordu.

Zor bir manevi pratik gibi, içeridekiler onu bulmaya çabalarken, dışarıdaki insanlar sisin içindeki çiçeklere bakıyor.

Ancak iyi haber şu ki, ZK'nin son iki yıldaki geliştirme hızı beklentilerin çok ötesine geçti. ZK Rollup ikilisi ZkSync ve Starknet, performans ve maliyet açısından büyük gelişmeler elde etti.

Ethereum EIP-4844 yükseltmesinin ardından ZK Rollup, OP Rollup ile rekabet ortamında giderek güçlendi.

Daha da heyecan verici olan şey, eski rakibi StarkWare'in, her zaman ZK'nin en ileri gücünü temsil eden STARK protokolünü yükseltmek için Polygon Labs ile işbirliği yapması ve Circle STARK'ı resmi olarak başlatarak ZK'nin kanıt yeteneklerine yeni bir adım atmasıydı.

Geçen yılın makalesini okuduysanız ( L2 Yaz geliyor? StarkNet'in teknik prensipleri ve ekolojisine hakim olmak için bir makale ), Starknet'in arkasındaki harika ZK kanıtlama sürecini daha derinden anlamak istiyorsunuz, ancak çeşitli göz korkutucu matematiksel işlemler nedeniyle engelleniyorsunuz. formüller ve incelikler, o zaman ZK ile ilgili bazı önemli konuları anlamak için bu makaleyi takip edebilirsiniz.

Can sıkıcı matematik kısmından kaçınmaya çalışacağız ve bunun yerine Starknet'in teknik avantajlarını, özellikle de yakın zamanda piyasaya sürülen büyük buluşları tartışacağız.

01 ZK ile ilk başlangıç

ZK bir etikettir ve Zero Knowledge Proof Systems'in kısaltmasıdır.

Güncel bir bilim olarak ZK, herhangi bir ek bilgi vermeden kesin bir gerçeği kanıtlayan gizemli bir efsane gibi kanıtlıyor.

Böyle ideal bir hedefe nasıl ulaşılır? Burada bunu yapan tüm öğrencilerin aşina olduğu bir duruma benzetme yapmamız gerekiyor.

Genellikle bir öğrencinin akademik mükemmelliğini kanıtlamanın en basit yolu bir transkript hazırlamaktır. Sınav sisteminin etkili ve adil olmasını sağlamak amacıyla, ağırlıklı notu A olan bir transkript, genellikle herhangi bir özel akademik içerik göstermeden öğrencinin akademik seviyesini onaylayabilir.

ZK kanıtlama süreci de oldukça benzerdir. Basitçe söylemek gerekirse, çekirdek üyeleri iki bölümden oluşur: Kanıtlayıcı ve Doğrulayıcı.

Sertifikasyon kuruluşu, okulun sınav sistemi gibidir. Öğrencilerin akademik yeteneklerinin kanıtı olarak öğrenciler için transkriptler oluşturmak ve bunları doğrulayıcı olarak ebeveynlere/şirketlere göndermek için sabit bir süreç vardır. Ebeveynler/şirketler, öğrencilerin yeteneklerini doğrulamak için transkriptleri kullanır.

Burada tüm ispat sürecinin en zor kısmının ispatı yapanın ispatı üretme süreci olduğunu görüyoruz. Spesifik ZK ispatında aritmetik ve polinom bağlılığı olmak üzere iki kısma ayrılabilir.

1.1 Aritmetik

1.2 Polinom Taahhüdü

Polinom bağlılığı, önceki adımda aritmetiğin ürettiği tüm kısıtlamaları karşılayan bir polinom bulduğunuzu belirli bir matematiksel kanıtla kanıtlamaktır.

Polinomun geçerli olduğu kanıtlanırsa matematiksel kanıt başarılı demektir, bu da kanıtlamak istediğimiz problemin doğru olduğu anlamına gelir. Bu süreç, sonunda öğrencinin notlarının tamamının A olmasını garantileyen ve böylece öğrencinin akademik mükemmelliğini kanıtlayan ağırlıklı ortalama puan veya transkript alma şeklimize benzer.

Bununla birlikte, gerçek hayatta, bir transkriptin çoğu zaman bir kişinin akademik yeteneğini doğru bir şekilde ifade edemediğinden şüphe duyabilirsiniz, çünkü insan sınav sistemimizde hala çok fazla boşluk ve kontrol edilemeyen şeyler var.

ZK dünyasında, doğruyu yanlıştan ayıran, açık ve şeffaf prosedürlerin yardımıyla matematiğin yardımıyla bu istek gerçekleşmektedir (tıpkı akıllı sözleşmeler ve blockchain'in adaleti ve şeffaflığı sağlaması gibi).

02 SNARK STARK'a karşı

SNARK ve STARK şu anda en yaygın kullanılan iki ZK kanıt protokolüdür ve aynı zamanda sırasıyla ZkSync ve Starknet tarafından kullanılan temel protokollerdir.

Çünkü benzer isimler ve parçalar sıklıkla karşılaştırılıyor. Ancak karşılaştırmadan önce, bu iki protokol tarafından oluşturulan ZK kanıt sistemini geliştirme geçmişi perspektifinden daha iyi anlamak için iki karakteri tanıtabiliriz.

2.1 Groth ve SNARK

Jens Groth, UCL'de Bilgisayar Bilimleri Bölümü'nde profesördür (şu anda fahri profesördür ve şu anda Nexus'un baş bilim insanıdır ve zkVM üzerinde çalışmaktadır).

Bu kişi 2009'dan bu yana her yıl üretken oluyor, ZK alanında sıklıkla duyduğumuz The Groth09, Groth10 vb. sıfır bilgi ile ilgili birçok makale yayınlıyor, ismi ve yayınlanma yılından oluşuyor.

(Not: Genellikle makalelerin adları uzun ve telaffuzu zor olduğundan, akademik camia + yıl adını kullanır ve kısaltma bazı önemli makalelere atıfta bulunur. En yaygın olanları STARK'ın temelini atan BBHR18'dir ve Zcash tarafından kullanılan PGHR13 Her ikisi de birkaç kişi tarafından yazılmıştır. Yazarın baş harfleri yıl ile birleştirilmiştir. Bir kişinin tam adının benzersiz ve sürekli olması nadirdir.)

Bunlardan en ünlüsü iki tanesi:

SNARK'ın geliştirilmesi ve iyileştirilmesi Gorth'un araştırmasına dayanmaktadır.

SNARK'ın geliştirilmesi ve iyileştirilmesi Gorth'un araştırmasına dayanmaktadır.

Kısa ve Etkileşimli Olmayan Bilgi Argümanı'nın tam adı olan SNARK, basit bir sıfır bilgi kanıtı sistemidir. Son derece güçlü kullanılabilirliği, ZK'nin kripto para birimi alanında hızlı bir şekilde uygulanmasını sağlamıştır.

2.2 Eli Ben-Sasson ve STARK

SNARK'ı kripto para birimine uygulayan ilk protokol olan Zerocash'in kurucu ortağının, daha sonra StarkWare'in kurucu ortağı ve STARK'ın mucitlerinden biri olan Eli Ben-Sasson olduğunu belirtmekte fayda var.

Sadece bu da değil, Eli Ben-Sasson ilk yıllarda SNARK protokolünün uygulanmasını aktif olarak destekledi ve 2013 ve 2014'te art arda makaleler yayınlayarak SNARK'ın yapısını önerdi ve optimize etti, pratikliği ve verimliliği arttırdı ve SNARK'ın gerçek anlamda geniş çapta ilgi çekmesine yardımcı oldu. ve uygulama.

Bununla birlikte, belki de SNARK'ın karşılaştığı zorluklara fazlasıyla aşinadırlar, Eli Ben-Sasson ve diğerleri [BBHR18] Ölçeklenebilir, şeffaf ve kuantum sonrası güvenli hesaplamalı bütünlüğü yayınladılar ve STARK'ın kanıt sistemi de resmi olarak önerildi. ZK Rollup'un çözümü için daha eksiksiz bir çözüm önerdi.

STARK - Ölçeklenebilir Şeffaf Bilgi Argümanı, büyük ölçekli kanıtlamalarda avantajlara sahiptir ve güvenilir bir üçüncü tarafa bağlı kalmadan tüm kanıtlama süreci şeffaftır ve anti-kuantum saldırı düzeyinde güvenliğe sahiptir.

(Not: Belirtmek gerekir ki, kahramanlık destansı hikayeler her zaman popüler olsa da, hiçbir başarı tek bir kişinin gidişatı tersine çevirmesiyle elde edilemez. Aksine hem SNARK hem de STARK sayısız bilim insanının ortak çabalarının sonucudur. Tek bir karakterden bahsetmenin amacı, ZK'nin bu önemli gelişim tarihini bir açıdan daha canlı hale getirmektir. Groth gibi harika biri olsa bile, makalesi KZG ve diğerlerinin (Aniket Kate, Gregory Zaverucha) araştırmasına dayanmalıdır. , Ian Goldberg). Bu ancak sonuçlar açısından gerçekleştirilebilir ve STARK'ı öneren yazarların hepsi gelecekte keşfetmeye devam edebileceğimiz benzersiz becerilere sahiptir.)

2.3 SNARK ve STARK

Peki Eli Ben-Sasso'nun yeni bir iş kurmaya karar vermesine ne sebep oldu? SNARK'ın karşılaştığı zorluklar nelerdir?

2.3.1 Şeffaflık

Yukarıdaki soruya cevap vermeden önce başka bir soruya cevap vermek isteyebiliriz: Kripto alanında en pahalı olan hangisi?

Satoshi Nakamoto'nun verdiği cevap güvendir.

SNARK tam da bu mayın tarlasının içine düşüyor. SNARK, polinom taahhütleri yaparken KZG yöntemini benimser ve KZG taahhüdü, bir dizi ortak referans dizesi (Ortak Referans Dizesi, CRS) oluşturmak ve ardından kanıt ve doğrulama anahtarında parolayı oluşturmak için Güvenilir Kurulum gerektirir.

Karne örneğimize dönersek, ebeveynlerin veya şirketlerin ortalama A notu gördüklerinde bir öğrencinin akademik mükemmelliğini değerlendirebilmelerinin nedeni, hepimizin akademik yetenek sırasının yüksekten düşüğe doğru A, B, C olduğu konusunda hemfikir olmamızdır. D. Yalnızca bu standart altında A notu anlamlıdır.

Peki ya okulun not sistemi hacklenirse ve akademik yetenek sıralaması C, A, B ve D olursa? Başlangıçta C alan öğrencilere en iyi öğrenciler olarak muamele edilecek ve öncelik verilecektir. Bu da adaletin bozulmasına yol açtı.

Buradan, herkes tarafından tanınan bu standardın güvenliğinin ne kadar önemli olduğunu görüyoruz. Karanlık ormanın kanunlarını takip eden şifreli dünyada, bu Güvenilir Kurulum büyük bir gizli tehlike haline geldi.

Bunu bilen SNARK neden KZG yöntemini kullanmakta ısrar ediyor? Bunun nedeni KZG kullanılarak elde edilen son prova boyutunun çok küçük olmasıdır. SNARK'taki "S" harfinin ne anlama geldiğini hatırlıyor musunuz? Yeterli!

Küçük boyutun cazibesi, özellikle Ethereum Cancun yükseltmesinden önce çok büyük. Kolaylaştırılmış kanıt boyutu, SNARK'a daha iyi pratiklik ve verimlilik kazandırdı ve uzun bir süre boyunca daha fazla proje tarafından kabul edildi. Yani her yerde pazarlık var.

Küçük boyutun cazibesi, özellikle Ethereum Cancun yükseltmesinden önce çok büyük. Kolaylaştırılmış kanıt boyutu, SNARK'a daha iyi pratiklik ve verimlilik kazandırdı ve uzun bir süre boyunca daha fazla proje tarafından kabul edildi. Yani her yerde pazarlık var.

STARK'tan bahsetmişken, Güvenilmez'in sert cevizini kırmak amacıyla STARK, polinom taahhütlerini gerçekleştirmek için FRI (Fast Reed-Solomon Interactive Oracle Proofs) yöntemini benimser.

Spesifik olarak, FRI yöntemi polinomlar üzerinde Reed Solomon kodlaması gerçekleştirir, bunları Merkle ağaçları biçiminde saklar ve Oracle aracılığıyla doğrulayıcılar ve kanıtlayıcılar arasındaki çoklu etkileşim turlarını tamamlayarak doğrulanabilirlik ve şeffaflık elde eder (şeffaf, STARK "T").

(Not: Buradaki Oracle'ın web3 dünyasında yaygın olarak gördüğümüz merkezi veya yarı merkezi bir kahin değil, protokol kurallarına göre doğrulayıcı ve kanıtlayıcı tarafından yerel olarak simüle edilen merkezi olmayan bir kahin olduğunu belirtmek gerekir. sanal varlık, bir etkileşimli sertifikasyon mekanizması).

Yine de karne örneğiyle karşılaştırmak istersek STARK sisteminin polinom taahhüt sürecini, blockchain teknolojisi sayesinde tüm sistemin adaletini ve şeffaflığını sağlayan, zincir üzerine kurulu bir puanlama sistemi olarak düşünebiliriz.

Buna ek olarak, STARK kanıtında, doğrulayıcı ve kanıtlayıcı, halka açık bir rastgele işaret (Rastgele İşaret) kullanarak etkileşimli süreci simüle edebilir ve son olarak etkileşimli olmayan kanıt elde etmek ve daha iyi kullanılabilirlik ve eşzamansızlık elde etmek için bunu tam bir kanıt halinde paketleyebilir.

2.3.2 Ölçeklenebilirlik

STARK'ın ilerlemesi aynı zamanda büyük ölçekli karmaşık hesaplama problemlerini çözmedeki çok yönlülüğü ve esnekliğine de yansıyor ve kanıtın ölçeği arttıkça ortalama kanıt boyutu azalacak ve "S" ile temsil edilen Ölçeklenebilir bir ağ etkisi oluşturacak.

Aritmetik için R1CS tarafından temsil edilen ve devrelerin farklı problemler için yeniden tasarlanmasını gerektiren devre hesaplama yöntemlerini kullanan SNARK'tan farklı olarak STARK, farklı devreleri durum geçiş denklemleri aracılığıyla birbirine bağlayan genel bir makine hesaplama yöntemi olan AIR (Cebirsel Ara Gösterim) yöntemini kullanır. , hemen hemen her hesaplama problemi bir dizi polinom kısıtlamasına indirgenebilir.

Aynı zamanda, STARK tarafından kullanılan FRI yöntemi, polinom kanıtları üretirken polinomun derecesini kademeli olarak azaltmak için özyinelemeli bir yapı kullandığından, kanıt boyutunun büyümesi, problem boyutunun (logaritmik seviye) büyümesinden çok daha yavaştır. Bu nedenle büyük ölçekli operasyonları işlerken önemli avantajlara sahiptir.

Notlar ve sınavlar örneğine dönersek, eğer aritmetik sürecimiz bir testle karşılaştırılırsa, o zaman SNARK ve STARK sırasıyla geleneksel test kağıtları ve bilgisayar tabanlı testler gibidir.

Kısa vadede veya küçük bir okul için geleneksel test kağıtları ucuz ve hızlıyken, bilgisayar tabanlı testler yazılım ve donanımda hazırlık gerektirir ki bu da pahalı ve zahmetli görünmektedir.

Ancak büyük ölçekli küresel sınav kurumları için, tek bir bilgisayar farklı düzeylerde farklı türde sınavlar gerçekleştirebilir. Soru bankasının zenginliği ve rastgeleliği artık öğretmenlerin her sınav için soru hazırlamasını gerektirmemekte ve bu da çok fazla insan gücü tasarrufu sağlamaktadır.

Uzun vadede sınav sayısı arttıkça yazılım ve donanım yatırım maliyetleri önemli ölçüde azalacaktır.

2.3.3 Kuantum saldırılarına karşı direnç

STARK, "S" ve "T" başarılarına ek olarak kuantum dirençli karma işlevlerini de kullanır (genellikle kuantum sonrası güvenli olduğu düşünülen Rescue karma işlevi gibi, geleneksel SHA-256 karma işlevi ise kuantum sonrası güvenli olarak kabul edilir). kuantumda mümkün olabilir Kuantum saldırılarına karşı direnç, hesaplamalardaki güvenlik açığı gibi yöntemlerle elde edilir) ve güvenlik cebirsel problemleri (kanıtlayıcının kanıtlaması gereken bazı karmaşık cebirsel problemlerin şu anda kuantum bilgisayarlarda çözülmesi zor kabul edilmektedir).

03 Circle STARK Bundan daha fazlası

Bu noktada SNARK'ın vazgeçilmez, hızlı ve kısa vadede uygulanabilir bir çözüm olduğunu bulmamız hiç de zor değil.

Ancak zaman geçtikçe, işlem hacmi arttıkça, hesaplama karmaşıklığı arttıkça ve insanlar şifreleme alanında güvenin aslında en pahalı lüks olduğunun giderek daha fazla farkına vardıkça, STARK'ın üstünlüğü daha da belirginleşecek.

Bu durum sektörde de yavaş yavaş ortaya çıkıyor. SNARK'ların ana uygulaması ZkSync'in piyasaya sürdüğü Boojum sürümünü kullanarak SNARK'lardan STARK'lara aşamalı dönüşümü keşfetmeye başladık.

Bu durum sektörde de yavaş yavaş ortaya çıkıyor. SNARK'ların ana uygulaması ZkSync'in piyasaya sürdüğü Boojum sürümünü kullanarak SNARK'lardan STARK'lara aşamalı dönüşümü keşfetmeye başladık.

Dürüstlüğüyle tanınan Polygon da erkenden STARK'a yöneldi. Bu yılın yükseltilmiş sertifikasyon sistemi Plonky3, Polygon Labs ve StarkWare tarafından ortaklaşa geliştirilen en son Circle STARK'ı temel alıyor.

Circle STARK, STARK güncellemesine dayalı yeni nesil bir ZK kanıt protokolüdür. Circle Curve'ün akıllıca tanıtılması nedeniyle, küçük asal alan M31, kanıt sistemine başarıyla uygulanarak kanıt verimliliğini büyük ölçüde artırır.

ZK ispat sisteminde asal sayı alanı çok önemli bir rol oynar. Kanıt, asal sayılar alanında işlem yapılarak elde edilir.

Ana alanın seçimi verimlilik ve güvenlik arasındaki dengeyi temsil eder. Asal sayı alanı ne kadar küçük olursa, gereken işlem miktarı da o kadar az olur ve verimlilik de o kadar yüksek olur.

Öte yandan, büyük asal sayı alanları genellikle daha yüksek düzeyde güvenliği temsil eder; bu nedenle geçmişte hem STARK hem de SNARK büyük asal sayı alanları kullanmıştı.

Circle STARK'ın yeniliği, M31 gibi küçük bir asal sayı alanının özel bir dairesel eğri kombinasyonu aracılığıyla kullanılmasına yansır; bu, yalnızca kanıt verimliliğini arttırmakla kalmaz, aynı zamanda kuantum sonrası güvenliği de başarılı bir şekilde sağlar.

StarkWare şu anda Circle STARK'ı temel alan yeni nesil kanıtlayıcı Stwo'yu piyasaya sürdü ve açık kaynaklı hale getirdi. Stwo'nun kanıt verimliliğinin ilk nesil kanıtlayıcı Stone'unkinin 100 katı olması bekleniyor.

Stwo, gelişmiş Cario ile tamamen uyumlu olacak ve Stone Prover'ı temel alan mevcut Starknet Pover (SHARP Prover) da gelecekte Stwo'yu kullanacak. O zaman Starknet ekosisteminin geliştiricileri ve kullanıcıları, Stwo'nun getirdiği performans iyileştirmelerinden herhangi bir işlem yapmaya gerek kalmadan doğrudan yararlanabilecekler.

Polygon kurucu ortağı Brendan Farmer, kanıtlama hızını artırmanın yanı sıra, Circle STARK uygulamasının sonunda maliyetleri önemli ölçüde azaltacağını ve daha fazla uygulama kanıtını kapsayacak şekilde genişleyeceğini de belirtti.

Eli Ben-Sasson, Circle STARK'ın piyasaya sürülmesinin önemli bir kilometre taşı olarak kabul edilebileceği konusunda daha da iyimser. En etkili kanıt sistemi yakın gelecekte mevcut olacak ve daha fazla atılım ve iyileştirme devam edecek.

04 Starknet performansı artırmak için sıkı çalışmaya devam ediyor

Yukarıdaki analiz sayesinde, STARK kanıt sisteminin ve onun en son yükseltilmiş versiyonu Circle STARK'ın hak edilmiş son teknoloji güçler ve yükselen yıldızlar olduğunu açıkça görebiliriz. StarkWare'in oğlu olarak Starknet'in ZK Rollup yolunda parlak bir geleceği var. .

Ama belki de tüm güzel şeyler yavaş yavaş geldiğinden dolayı Starknet uzun süredir tartışmalı bir konu. Sebepler arasında deneyim ve maliyet yer alıyor.

Neyse ki StarkWare'in sürekli çabaları sayesinde bu sorunlar birer birer tarihe karışıyor. Aşağıda Starknet'in son dönemdeki birkaç önemli yükseltmesini ve yol haritasına göre planlanan diğer eylemleri inceleyeceğiz.

4.1 V0.12

Quantum Leap kod adı verilen Starknet Alpha v0.12.0, Temmuz 2023'te ana ağda kullanıma sunulacak. Bu optimizasyonun odak noktası ağ performansını iyileştirmek ve kullanıcı deneyimini optimize etmektir.

Verim ve gecikme genellikle ağ performansının ölçüleri olarak kabul edilir. Sıralayıcının Rust'a göre optimize edilmesi ve Cario dilinin yükseltilmesiyle, Starknet'in blok yürütme süresi önemli ölçüde azaltıldı ve v0.11.0 sürümündeki işlem hacmi 30.000 CSPS'den (saniyede Kahire adımı, saniyede Cario adımı) 220.000 CSPS'ye yükseldi. büyük ölçüde iyileştirildi.

Yaygın olarak eleştirilen etkileşimli deneyim sorunu da çözüldü. Bir zamanlar ana ağ onayını beklemek için ortalama 20 dakika süren bekleme durumu artık geçmişte kalacak.

İstemci Katman 2'de onayladıktan sonra işlem başarılı kabul edilir, böylece işlem süresi yaklaşık 10 saniyeye kısalır ve deneyim büyük ölçüde iyileşir.

Yaygın olarak eleştirilen etkileşimli deneyim sorunu da çözüldü. Bir zamanlar ana ağ onayını beklemek için ortalama 20 dakika süren bekleme durumu artık geçmişte kalacak.

İstemci Katman 2'de onayladıktan sonra işlem başarılı kabul edilir, böylece işlem süresi yaklaşık 10 saniyeye kısalır ve deneyim büyük ölçüde iyileşir.

Bir dönüm noktası olarak kabul edilen bu yükseltme, Starknet'in TVL'sinin tek haftada %43'ten fazla artışla 100 milyon doları başarıyla aşmasına yardımcı oldu.

4.2 V0.13

Ocak 2024'te piyasaya sürülen v0.13.0 sürümü, blok boyutunu genişletti, bilgi işlem maliyetlerini %50 oranında önemli ölçüde azalttı ve veri kullanılabilirliği maliyetlerini %25 oranında azalttı.

V0.13.1, Ethereum EIP-4844 desteğini önceden dağıttı, böylece Starknet, Cancun yükseltmesinden birkaç saat sonra blob işlevini etkinleştirdi ve kullanıcı ücretlerini önemli ölçüde azaltan ilk L2 oldu.

Yol haritası planına göre bu yılın geri kalanında V0.13.2, aynı anda daha fazla işlemi işleyebilen, ağ verimini artıran ve gecikmeyi azaltabilen işlem paralelleştirmesini destekleyecek.

V0.13.3, ayırıcının performansını daha da artırmak için Cairo Native'i Starknet ayırıcıya entegre edecek. O zaman ağ hızı daha da hızlanacak.

4.3 V0.14 ve sonraki yükseltme planları

Yol haritasına göre merakla beklenen Volition'ın V.0.14.0 yükseltmesiyle hayata geçmesi bekleniyor.

Şu anda Ethereum'daki veri kullanılabilirliği depolaması (Data Avaliablity, DA), Starknet ağındaki gas maliyetlerinin büyük çoğunluğunu tüketiyor, bu nedenle Ethereum'daki DA depolamasını azaltmak, maliyetleri azaltmanın anahtarıdır.

Volition, geliştiricilerin verilerin bir kısmını Starknet L2'de saklamayı seçmesine ve son olarak verinin bu kısmının durum kökünü (kökünü) Ethereum L1'e göndermesine olanak tanır. Bu şekilde L1'in DA depolama maliyeti büyük ölçüde azaltılarak maliyetleri düşürme amacına daha da ulaşılır.

V.0.14.0 sürümü aynı zamanda birden fazla bloğun L1 ayak izini (Starknet operasyonunu ve hesaplamayı desteklemek için Ethereum'da depolanması ve işlenmesi gereken veriler olan Katman 1 ayak izi) toplu olarak işlemek için Uygulamalı Özyineleme'yi kullanmayı planlıyor. görevler) böylece maliyetleri azaltır.

https://community.starknet.io/t/upcoming-feature-starknet-aplicative-recursion/113868

Şu anda, Starknet'in her bloğunun özel bir sertifikası vardır ve her blok, Ethereum üzerinde sabit bir işletim maliyeti gerektirir. Bu nedenle, ağın, A bloğu paketlenmeden önce genellikle blok maliyetini paylaşmak için yeterli işlem hacmi biriktirmesi gerekir.

Bu durum blok üretim süresinde belirsizliğe ve blok maliyet kullanımında verimsizliğe yol açmaktadır. Uygulama özyinelemesi ile doğrulayıcı, bunu kanıtlamak için birkaç bloğu birlikte paketleyebilir, bu da blok süresini kısaltır ve maliyeti paylaşır.

Buna ek olarak Starknet, maliyetleri azaltmak için teknik olarak daha fazla DA sıkıştırma çözümü de keşfedecek.

05 Ekolojik yapı

5.1 Mevcut durum

Performansın istikrarlı bir şekilde iyileştirilmesi ve maliyetlerin sürekli olarak düşürülmesiyle, Starknet'teki ekolojik manzara artık giderek daha eksiksiz hale geliyor.

Altyapı açısından cüzdan projeleri Agent

Zincirler arası köprüler açısından yerel StarkGate'in yanı sıra zincirler arası köprülere odaklanan proje tarafları, Orbiter Finance, MiniBridge ve rhino.fi sorumludur.

DID'nin ana projesi Starknet.id, Ethereum'da ENS rolünü üstleniyor ve kullanıcıların NFT'yi Starknet zincirinde kimlik ve geçiş olarak basmasını destekliyor.

Geleneksel Kızıldeniz Defi açısından Nostra, Ekubo, zkLend, ZKX ve Carmine Options gibi önde gelen projeler şu anda Starknet'te büyürken, Dex, staking, borç verme ve sözleşmeler gibi temel iş sektörlerini hızla işgal ediyorlar. Defi projeleri de büyüyor. Yeni ürünler sunmaya çalışıyoruz.

Geleneksel Kızıldeniz Defi açısından Nostra, Ekubo, zkLend, ZKX ve Carmine Options gibi önde gelen projeler şu anda Starknet'te büyürken, Dex, staking, borç verme ve sözleşmeler gibi temel iş sektörlerini hızla işgal ediyorlar. Defi projeleri de büyüyor. Yeni ürünler sunmaya çalışıyoruz.

Örneğin ZKX, benzersiz bir otonom kalıcı sözleşme değişimi oluşturmak için oyunlaştırılmış etkileşimi ve DAO yönetişimini kullanıyor;

Ekubo, kullanıcıların işlem sürtünme maliyetlerini azaltmasına yardımcı olmak amacıyla tüm fon havuzlarını yönetmek için tek bir sözleşme kullanan tek bir vaka tasarımını başlattı;

mySwap'in tek tıklamayla yeniden dengeleme işlevi, piyasa çok fazla dalgalandığında vb. geçici kayıpları etkili bir şekilde azaltabilir ve bu da ekosisteme daha fazla canlılık katar.

Gamefi, Starknet yetkililerinin büyük umutlar beslediği bir sektör. Baş projenin Loot ekolojisinde Realms'in temsil ettiği stratejik tam zincir oyunların yanı sıra, yıldızlararası temalı bir strateji oyunu olan sokak tarzı Dope Wars and Influence da bulunuyor. Starknet'in yerli ekibinin topolojiye dayalı olarak yarattığı oyunların yanı sıra, Starknet'teki tüm zincir oyunlarının dört kralı denilebilir.

Ayrıca xfam.tech, daha önce popüler olanfriend.tech'e benzer şekilde Socialfi'de ortaya çıktı ve sosyal alandaki boşluğu doldurdu.

Bu yılın başındaki $STRK airdropundan bu yana Starknet'teki aktivite önemli ölçüde arttı. Sadece bu da değil, ekosistemdeki zkLend, Ekubo ve ZKX gibi projeler başarıyla yerel tokenlar $ZEND, $EKUBO ve $ZKX'i piyasaya sürdü;

Ekolojik lider Nostra Finance ayrıca Starknet'teki ilk yerli USD stablecoin olan $UNO'yu ve $STRK stake edilerek elde edilen $NTSTRK'yı piyasaya sürdü.

Çok seviyeli token ihracı şüphesiz Starknet ekosistemi için bir destektir. Bu yılın ilk yarısı itibarıyla Starknet ekosisteminin genel veri performansı iyidir.

Ancak Katman 1 ve Katman 2'nin tanrılarının savaştığı günümüzde, canlılığın devamını sağlamak istiyorsanız, gerçekten popüler bir uygulama oluşturmak için ürünlerde ve teknolojide ikili yeniliğe ihtiyacınız vardır, böylece zincirin canlılığı istikrarlı bir şekilde ulaşabilir. daha yüksek bir seviye.

Bunun arkasında resmi ekibe ek olarak geliştirici topluluğunun sürekli çabalarına ihtiyaç vardır. Bu, Starknet ekibinin her zaman son derece geliştirici dostu olmasının ve hatta airdroplarda benzeri görülmemiş geliştirici ödülleri vermesinin nedenlerinden biridir.

5.2 Zorluklar ve seçimler

Daha önce de söylediğimiz gibi STARK, başından itibaren güvenli, büyük ölçekli karmaşık deliller için doğmuştur ve aynı kökene sahip Starknet için de aynı durum geçerlidir.

Bu iddialı ve saf hedefe ulaşmak için birçok çaba kaçınılmazdır ve Kahire dili de bunlardan biridir.

(Not: Kahire dili, StarkWare tarafından STARK kanıt sistemi için özel olarak tasarlanmış bir programlama dilidir. Kanıtları verimli bir şekilde oluşturabilir, zincir dışı hesaplamaları optimize edebilir ve kanıtların yürütülmesinde Solidity'nin sınırlamalarını etkili bir şekilde telafi edebilir.)

Akıllı sözleşme geliştirme için Solidity'yi kullanan diğer Katman 2'lerin aksine, geliştiricilerin Starknet'te geliştirme yapmak için yerel Kahire dilini kullanması gerekir; bu da geliştiriciler için öğrenme maliyetlerini ve giriş engellerini doğrudan artırır.

Öte yandan, Kahire VM'si EVM ile uyumlu olmadığından, Ethereum'daki birçok olgun proje doğrudan Starknet'e taşınamıyor. Bu aynı zamanda Starknet'in, Ethereum Layer 2 olmasına rağmen büyük ekosistemin getirilerinden yararlanmasını da zorlaştırıyor.

Şu anda Starknet zincirindeki dApp'lerin %90'ından fazlası zincire özgüdür ve proje geliştirme maliyetleri az değildir.

Starknet'in tercihi olan bu ikilemin cevabını Eli Ben-Sasson'un yılın başında yazdığı "To Stick or to Persevere" makalesinde bulabiliriz.

https://paragraph.xyz/@think-integrity/stubborn%2C-or-steadfast

Makale, "kaplana binmek ama inmek zordur" kinayesine yer vererek, kısa vadede güzel bir performans peşinde koşmak için güvenliği feda ederseniz, bunun dörtnala giden bir kaplanın üzerinde oturmak gibi olacağını ve bunun sonsuz sonuçlar doğuracağını söylüyor.

Teknolojiye gerçekten inanan biri olarak, asla ikinci sınıf teknolojiyi birinci sınıf ambalajlarda satmayacağız.

Makale, "kaplana binmek ama inmek zordur" kinayesine yer vererek, kısa vadede güzel bir performans peşinde koşmak için güvenliği feda ederseniz, bunun dörtnala giden bir kaplanın üzerinde oturmak gibi olacağını ve bunun sonsuz sonuçlar doğuracağını söylüyor.

Teknolojiye gerçekten inanan biri olarak, asla ikinci sınıf teknolojiyi birinci sınıf ambalajlarda satmayacağız.

Starknet'in yapmak istediği şey, devasa verilere ve karanlık ormanlara dayanabilecek gerçek kanıtlar sunmaktır. Kanıt konusundaki ısrar, güvenlik konusundaki ısrardır.

Devam edebilmeleri için Starknet'te geliştiricilere yönelik çok sayıda teşvik var. Hackathon'lar gibi topluluk etkinliklerine ek olarak, yakın zamanda gerçek paralı bir Büyük Tohum Programı başlatıldı. Seçilen ekipler, 25.000 ABD dolarına kadar olmayan ödüller alacak. kâr USDC, Starknet'teki ekolojik yapısını desteklemek için finansman ödüllerini sulandırıyor.

https://mp.weixin.qq.com/s/S-nVc60Sfyk2C2SP9WkNuQ

Özellikle oyun sektörü için, mevcut vakfın Game Propulsion Pilot Programı (Propulsion Pilot Programı), 20'ye kadar oyun seçecek ve Starknet ana ağındaki Gaz tüketimine göre finansman ödülleri sağlayacak. Her oyun 1 milyon ABD Dolarına kadar alabilecek. ödül.

https://mp.weixin.qq.com/s/ZFSTfMyLm60M8FMR8KOG8w

Ayrıca, Starknet ile derinlemesine stratejik iş birliğine ulaşan Ethereum müşteri geliştirme ekibi Nethermind, toplam tutarı 1 milyon ABD Doları olan bir Starknet Büyük Programını da yayınladı. Tek bir proje, 250.000 ABD Dolarına kadar finansman alabilecek. Nethermind ekibinden destek aldı.

https://x.com/Starknet_ZH/status/1785159198868943151

Starknet ayrıca Ethereum'un önündeki engelleri iki açıdan ortadan kaldırmak için de çok çalışıyor. Bir tarafta Nethermind tarafından geliştirilen ve yüksek seviyeli dil düzeyinde uyumluluk elde etmek için Solidity kodunu Kahire koduna dönüştürmeye adanmış Warp projesi yer alıyor.

Öte yandan StarkWare ekibi üyeleri tarafından geliştirilen Kakarot zkEVM çözümü, Kahire'yi kullanarak EVM ortamını simüle ediyor ve kanıtlanabilir bir EVM oluşturmaya çalışıyor. Proje halen geliştirilme aşamasındadır.

5.3 Gelecek

StarkWare'in çabalarıyla, Kahire'nin geliştirici topluluğu şu anda büyüyor. Geliştirici topluluğunun refahıyla birlikte, ekosistem aynı zamanda daha mükemmel ürün ve araçları kuluçkaya yatıracak ve daha fazla seçkin geliştiricinin Kahire topluluğuna katılmasını ve bir İleri döngü oluşturmasını sağlayacaktır.

Starknet'in yavaş yavaş gerçekleştirdiği performans iyileştirmeleri ve hesaplama bütünlüğü avantajlarıyla birlikte DeFi gibi geleneksel alanlarda mükemmel ürünlerin doğuşunu sabırsızlıkla beklemenin yanı sıra, geleceği temsil edebilecek bazı trend sektörler de Starknet'te yavaş yavaş ortaya çıkıyor.

5.3.1 Tam zincirli oyunlar

Tamamen Zincir İçi Oyunlar (FOCG, Sonsuz Oyunlar olarak da bilinir) kavramı, blockchain'in yükselişinden bu yana popüler olmuştur ve oyuncular tarafından büyük bir beklentiyle karşılanmaktadır.

Oyunun kurallarını ve verilerini tamamen zincirde saklar, tüm operasyonları ve etkileşimleri akıllı sözleşmelere dayalı olarak yürütür, oyuncuların oyun varlıklarının gerçek sahibi olmasını sağlar, kuralların şeffaf ve doğrulanabilir olmasını sağlar ve oyunculara açık bir ekonomik sistem sağlar. Oyuncular için daha fazla fırsat yaratın. Ücretsiz ve adil bir oyun deneyimi.

Bununla birlikte, erken zincir içi üretim, ücretler ve etkileşim modlarındaki sınırlamalar nedeniyle, tam zincirli oyunlar uzun süredir sadece güzel bir vizyondu ve kitlesel benimsenme sağlanamadı.

Ancak Starknet'in performansının her açıdan sürekli optimizasyonu ile Starknet'in tam zincirli oyunları beslemek için verimli bir zemin haline gelme konusunda büyük bir potansiyele sahip olduğunu aşağıdaki yönlerden görebiliriz.

5.3.1.1 Yerel hesap soyutlaması

Hesap Soyutlaması (AA), etkileşimli deneyimi geliştirmek ve web2 kullanıcılarının web3'e girmesine yardımcı olmak için önemli bir adımdır.

5.3.1.1 Yerel hesap soyutlaması

Hesap Soyutlaması (AA), etkileşimli deneyimi geliştirmek ve web2 kullanıcılarının web3'e girmesine yardımcı olmak için önemli bir adımdır.

Basitçe ifade etmek gerekirse, bireysel olarak kullandığımız Ethereum üzerindeki EOA hesabından akıllı sözleşme hesabına (CA) geçmektir. Sözleşme hesabının programlanabilirliği nedeniyle cari hesap önceden belirlenmiş bazında basitleştirilebilmektedir. Kullanıcı deneyimini optimize etmek için karmaşık işlem adımları.

Starknet'in tasarımı, yerel hesap soyutlamasını başından itibaren gerekli bir seçenek haline getirmiştir. Her hesap, sistem tasarımı açısından AA'nın uygulanmasının karmaşıklığını azaltan bir akıllı sözleşme hesabıdır.

Hem yerel cüzdan dApp Agent X hem de Braavos, hesap soyutlamayı destekler ve kullanıcılara Web2'ye eşdeğer bir deneyim sağlayabilir.

Oyun durumlarında hesap soyutlamanın rolü daha belirgin olacaktır. Örneğin, Starknet zincirindeki Briq, Loot Realms ve Topology gibi önde gelen birkaç blockchain oyun ekibi tarafından başlatılan Oturum Anahtarı işlevi, artık cüzdansız oturum açma (Session Wallet) kullanan Loot Survivor'da kullanılıyor. Deneyimi büyük ölçüde optimize eden her "saldırı" operasyonu için imza atmanız gerekir.

5.3.1.2 Kahire ekolojisi giderek gelişiyor

Starknet'in sürekli optimizasyonu ve performansının iyileştirilmesiyle, çok sayıda oyun topluluğu artık Kahire ekosistemini oluşturmak için yerleşti. Bir dizi altyapının başlatılmasıyla birlikte mevcut ekolojik oyun çerçevesi temel olarak oluşturuldu.

Dojo, Kahire merkezli, zincir üstü bir oyun motorudur. Şubat 2023'te oluşturulmuştur ve şu anda topluluk tarafından ortaklaşa işletilmekte ve bakımı yapılmaktadır.

Oyun motoru, oyun geliştirmenin temelidir ve oyun geliştiricilerine sözleşmelerden, araçlardan ve kod kitaplıklarından oluşan bir geliştirme çerçevesi sağlar, böylece oyunun temel sistemini sıfırdan oluşturmak zorunda kalmazlar ve oyun geliştirmeyi kolaylaştırır. zincirleme oyunlar.

(Not: Web2 oyunları için en popüler iki oyun motoru Unity ve Unreal Engine'dir. Tanıdık "Hearthstone" ve "Street Fighter" bu iki oyun motoru temel alınarak oluşturulmuştur. Şu anda Web3 oyun motoru geliştirme aşamasındadır. erken aşamalardadır ve mevcut iki şifreli oyun motoru, EVM üzerine kurulu MUD ve kanıtlanabilir ilk şifreli oyun motoru olan Kahire'yi temel alan Dojo'dur.

Kartuş, zincir içi oyun mantığı, ölçeklenebilir mimari, kesintisiz kullanıcı erişimi, modüler geliştirme ve para kazanma Planları vb. dahil olmak üzere oyunları oluşturmak ve dağıtmak için geliştiricilere Dojo'yu temel alan araçlar ve kod kitaplıkları sağlayan bir oyun başlatıcıdır.

Öte yandan oyuncular için etkileşim sürecini basitleştirerek oyuncuların en sevdikleri oyunları keşfetmelerini ve girmelerini kolaylaştırıyor.

5.3.1.3 Katman 3

Zk Rollup'ı kullanan genel amaçlı bir Katman 2 olan Starknet, olağanüstü güvenlik performansı, yüksek verimi ve büyük ölçüde azaltılmış maliyetlerine ek olarak, belirli ihtiyaçları karşılamak için Katman 3 Uygulama Zincirinin özelleştirilmiş gelişimini de başlattı.

Oyun geliştiricileri, yüksek performanslı, düşük gecikme süreli ve düşük maliyetli, oyuna özel bir zincir oluşturmak için zincir içi yürütme ortamını ve fikir birliği mekanizmasını kendi ihtiyaçlarına göre özelleştirebilir ve optimize edebilir. Bu aynı zamanda tam zincirli oyunlara daha fazla olasılık getiriyor.

Realms ve Cartridge, bu yılın üçüncü çeyreğinde resmi olarak başlatılması beklenen "Realms World L3"ü ortaklaşa geliştirmek için yılın başında işbirliği yaptı. O zamana kadar tüm Realms ekosistemi Starknet temelinde yürütülecek. daha yüksek hızlar ve daha düşük maliyetler ve kullanıcı deneyiminin daha fazla optimizasyonu.

Ayrıca Dope Wars, Cartridge ile işbirliği yaparak Layer 3'ü yayınlayacağını ve Gas tokenı olarak $PAPER'ı kullanacağını da belirtti.

5.3.1.4 Özet

Her ne kadar halkın gözünde Starknet'in Gamefi'deki performansı olağanüstü olmasa da, tam zincirli oyunlara odaklanırsanız, Starknet'in çevre dostu olması, tam zincir misyonuna ilişkin açık anlayışı ve kendi teknik avantajları, sizin için büyük fayda sağlayacaktır. geliştiriciler ve oyuncular için çok çekici.

Starknet'teki oyun geliştiricilerinin Kahire ekosisteminin inşası konusunda şu anda oldukça istekli olduklarını görebiliyoruz. Önde gelen projelerin işbirliği, Dojo gibi önemli altyapıların tamamlanmasına yol açtı.

Starknet'teki oyun geliştiricilerinin Kahire ekosisteminin inşası konusunda şu anda oldukça istekli olduklarını görebiliyoruz. Önde gelen projelerin işbirliği, Dojo gibi önemli altyapıların tamamlanmasına yol açtı.

Eğer bir gün tam zincirli oyunlar tamamen hayata geçirilebilirse ve giderek daha fazla oyun meraklısı web3 oyun dünyasına girerse ve oyun varlıklarının gerçek anlamda sahipliğini kazanırsa, bunun Starknet'te gerçekleşmesini beklemek için nedenimiz var.

5.3.2 ZKML

Hem yapay zeka hem de blockchain teknolojisinin patlamasıyla birlikte, AI+Blockchain giderek daha fazla gelecekteki geliştirme yönü olarak kabul ediliyor ve ZKML (Sıfır Bilgi Makine Öğrenimi) bir çözüm.

Geleneksel ML modeli, merkezi bir kuruluşa ait olduğundan, büyük kuruluşların onayına güvenmek dışında, hangi modeli kullandıklarını ve güvenilir verilerle eğitilip eğitilmediğini doğrulayamıyor. Bu aynı zamanda merkezileştirilmiş büyük modellerin şu anda eleştirilmesinin ana nedenlerinden biridir.

Modeli merkezi olmayan bir şekilde eğitim ve operasyon için zincire yüklerseniz, yalnızca gaz maliyeti çok yüksek olmakla kalmaz, aynı zamanda modelin güvenilirliği ve eğitim verilerinin güvenilmeyen ortamı nedeniyle garanti edilemez. zincir.

Bu durumda ZKML çok gereklidir. Zincir dışında düşünün, zincir üzerinde hareket edin. Modeli zincir dışında eğitip çalıştırarak ve kanıtları oluşturmak ve bunları zincire göndermek için ZK teknolojisini kullanarak, daha önce bahsedilen iki ikilem - maliyet ve güvenilirlik - mükemmel bir şekilde çözülür.

Aynı zamanda ZK'nin gizlilik özellikleri nedeniyle ZKML'nin finans ve tıbbi bakım gibi hassas alanlarda da geniş umutları var.

Starknet'te Kahire merkezli ZKML oluşturmanın doğal avantajları var. Kanıt için doğmuş bir geliştirme dili olan Cairo, mükemmel bir hesaplama bütünlüğüne sahiptir ve kanıt açısından oldukça soyuttur. Geliştiriciler, kanıt sorunlarıyla uğraşmak zorunda kalmadan doğrudan kanıt bileşenlerini çağırabilir; bu da geliştirme sürecini büyük ölçüde basitleştirir.

Aynı zamanda STARK'ın ölçeklenebilirlik avantajları sayesinde, büyük ölçekli bilgi işlem verilerini işlerken önemli ağ etkilerine sahiptir ve makine öğrenimi için gereken devasa verileri verimli ve uygun maliyetli bir şekilde taşıyabilir. Bu nedenle Starknet'teki Giza Tech'i temel alan ZKML hızla gelişiyor.

Giza, Starknet üzerinde Orion geliştirme çerçevesini sağlayan, geliştiricilerin model eğitimi için tanıdık çerçeveleri (PyTorch, TensorFlow gibi) kullanmalarına ve Starknet'te kolayca konuşlandırmalarına olanak tanıyan bir ZKML ara katman yazılımı platformudur.

Aynı zamanda Giza, ZKML'yi çoklu zincir davranışıyla birleştiren bir aracı çerçevesi olan Aracıları da piyasaya sürdü. Geliştiriciler, ZKML'ye dayalı zincir içi yapay zeka aracıları oluşturabilir, akıllı sözleşmelerle etkileşime girebilir ve önceden tanımlanmış kurallara göre kararlar alabilir.

Şu anda Giza, sosyal ağ oluşturma, sosyal grafik analizi yapmak ve sahte kullanıcıları tespit etmek için Circles Network ile işbirliği yapmak gibi birçok projede kullanılıyor.

Yearn Finance, DeFi açısından ZKML'ye dayalı akıllı yatırım stratejileri ve risk yönetimi çözümleri sağlamak için işbirliği yapıyor.

Starknet tohum finansman programına seçilen en son aday olan ML Village, ZKML'yi Giza aracılığıyla karar alma için blockchain oyunlarına dahil ederek geniş uygulama olanaklarını gösterdi.

06 Özet

Starknet'in kısa süre önce yaptığı resmi açıklamaya göre, gas ücretinin 2024 yılında 0,01 doların oldukça altına indirilmesi, yüzlerce TPS'ye ulaşılması ve bu sayede en yüksek TPS'ye sahip Katman 2 olması bekleniyor.

Bu hedef Starknet için iddialı değil. Aslında StarkWare'in Starknet'i konumlandırması bir Katman 2'den çok daha fazlasıdır.

Temel ürün ve pazar seçimleri açısından Starknet, EVM'nin faydalarını ve kısıtlamalarını bir kenara bırakarak ve sıfırdan inşa ederek Solana'ya daha çok benziyor.

Ancak Solana'nın merkeziyetsizlikteki kusurlarından farklı olarak Starknet, Ethereum'un aşırı merkeziyetsizliğini Ethereum Layer2+ZK aracılığıyla akıllıca devralır ve Olasılık Üçgeni'nin mümkün olmasını sağlar.

Ancak Solana'nın merkeziyetsizlikteki kusurlarından farklı olarak Starknet, Ethereum'un aşırı merkeziyetsizliğini Ethereum Layer2+ZK aracılığıyla akıllıca devralırken, ölçeklenebilirlik ve güvenliği de mümkün hale getiriyor.

Ve bu görünüşte mutlu sonuç, başta da söylediğimiz gibi, uzun vadeliliğe bağlı kalmanın, yakını bırakıp uzağı arayarak ilerlemenin yükünü defalarca omuzlamanın pratiğidir. Gelecekte Starknet'te daha fazla enerji açığa çıkarmayı sabırsızlıkla bekliyoruz.