Yazar: Biteye'nin ana yazarı Anci
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 rekabette 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 yeteneklerinde bir başka sıçramayı getirmesidir. Geçen yılki makaleyi okuduysanız (L2 Yaz geliyor? StarkNet'in teknik ilkeleri 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 başlayalım. ZK bir etiket 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. Veliler/ş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. Somut ZK ispatında aritmetik ve polinom bağlılığı olmak üzere iki kısma ayrılabilir. 1.1 Aritmetik Aritmetik, karmaşık ispat problemlerini cebirsel problemlere dönüştürmektir, özellikle kanıtlamak istediğimiz tanığı (Tanık) bir dizi polinom kısıtlamasına (Polinom Kısıtlamaları) dönüştürmektir. Bu, öğrencilerin akademik yeteneklerini sınavlar aracılığıyla bir dizi puana nasıl dönüştürdüğümüze benzer. Tanık: Tanık, işlem verileri, hesap durumu verileri, ara hesaplama sonuçları vb. dahil olmak üzere genellikle zincir dışı hesaplamaların ham verileri olarak adlandırdığımız verilerdir. İşlemlerin geçerliliğini kanıtlamak için kullandığımız ancak yapmak istemediğimiz özel verilerdir. halka açık. Polinom Kısıtlamaları: Polinom kısıtlamaları. ZK ispat sürecinde yapılması gereken, karmaşık problemleri matematiksel problemlere dönüştürmektir. Matematiksel ispat yönteminin en kritik kısmı bir polinom bulmak ve sonunda onu gerçekten bulduğunuzu kanıtlamaktır. Polinom kısıtlamaları, polinomun karşılaması gereken koşulları ifade eder. 1.2 Polinom Taahhüdü Polinom taahhüdü, önceki adımda aritmetiğin ürettiği tüm kısıtlamaları karşılayan bir polinom (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. Ancak 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, açık doğru ve yanlış, açık ve şeffaf prosedürlere sahip 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 vs STARK 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 sistemlerini geliştirme tarihi perspektifinden daha iyi anlamak için iki rakamı tanıtabiliriz. 2.1 Groth ve SNARK Jens Groth, UCL Bilgisayar Bilimleri Bölümü'nde profesördür (şu anda fahri profesördür ve şu anda zkVM yönünde Nexus'un baş bilim insanı olarak görev yapmaktadı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 Groth gibi tam bir isme sahip olması ve kronolojik olarak bunu yapabilmesi nadirdir.) en ünlüleri: [Groth10] Kısa Eşleştirme - Etkileşimli Olmayan Sıfır Bilgi Argümanlarına Dayalı, tam bir etkileşimsiz kanıt şeması önerilmiştir ve SNARK'ın teorik öncüsü olarak kabul edilir. [Groth16]Eşleştirmeye Dayalı Etkileşimli Olmayan Argümanların Boyutu konusunda Groth10'u temel alarak kanıt boyutunu basitleştirir ve doğrulama verimliliğini artırır ve günümüzde hala yaygın olarak kullanılmaktadır. SNARK'ın geliştirilmesi ve iyileştirilmesi Gorth'un araştırmasına dayanmaktadır. Kısa, Etkileşimli Olmayan Bilgi Argümanı anlamına gelen SNARK, kısa ve öz 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 kurucusu olan Eli Ben-Sasson'dan başkası olmadığını belirtmekte fayda var. Mucitlerden biri. 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 hepsinin benzersiz becerileri vardır. Gelecekte daha derine inmeye devam edebiliriz.) Peki Eli Ben-'i bu duruma getiren sebep neydi? Sasso yeni bir iş kurmaya mı karar verdi? 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: Şifreleme alanında en pahalı olan nedir? Satoshi Nakamoto'nun verdiği cevap güvendir. SNARK bu mayın tarlasına adım atı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ı izleyen şifreleme dünyasında, 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! Özellikle Ethereum Cancun yükseltmesinden önce küçük boyutun cazibesi ç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 çetin cevizini kırmak amacıyla STARK, polinom taahhütlerini gerçekleştirmek için FRI (Fast Reed-Solomon Interactive Oracle Proofs) yöntemini benimsedi. 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 birden fazla etkileşim turunu tamamlar, böylece doğrulanabilirlik ve şeffaflık elde edilir (ş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. etkileşimli bir kanıt mekanizmasıdır.) Transkript örneğiyle karşılaştırmak istersek, STARK sisteminin polinom taahhüt sürecini, blockchain teknolojisi ile garanti edilen, zincir üzerine kurulu bir puanlama sistemi olarak düşünebiliriz. sistem. 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 bilgi işlem problemlerini ele almadaki çok yönlülüğü ve esnekliğine de yansır ve kanıtın ölçeği arttıkça ortalama kanıt boyutu azalacak ve bir ağ etkisi oluşturacaktır, bu da "S" anlamına gelir Ölçeklenebilir temsil edilir. Aritmetik için R1CS tarafından temsil edilen ve farklı problemler için devrelerin yeniden tasarlanmasını gerektiren devre hesaplama yöntemlerini kullanan SNARK'tan farklı olarak STARK, farklı devreleri durum geçiş durum 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önecek olursak, 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ı türde ve seviyedeki 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 çok fazla insan gücü tasarrufu sağlamaktadır. Uzun vadede sınava girenlerin sayısı arttıkça yazılım ve donanım yatırım maliyetleri de önemli ölçüde azalacaktır. 2.3.3 Kuantum saldırılarına karşı direnç "S" ve "T" başarılarına ek olarak STARK ayrıca kuantum dirençli karma işlevlerini de kullanır (genellikle kuantum sonrası güvenli olduğu düşünülen Rescue karma gibi, geleneksel SHA -256 hash fonksiyonu Kuantum hesaplamada kırılgan olabileceği düşünülmektedir), 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), vb. gibi kuantum direnci elde etmek için saldırılar. 03 Circle STARK bundan daha fazlasıdır Bununla birlikte, SNARK'ın kısa vadede vazgeçilmez, hızlı ve uygulanabilir bir çözüm olduğunu bulmak 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'tan STARK'a 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ş kanıt sistemi Plonky3, Polygon Labs ve StarkWare tarafından ortaklaşa geliştirilen en son Circle STARK'ı temel alıyor. Circle STARK, STARK güncellemesine dayanan yeni nesil bir ZK kanıt protokolüdür. Circle Curve'ün akıllıca tanıtılması nedeniyle, küçük asal sayı 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, gelecekte Stwo'yu da kullanacak olan Stone Prover tabanlı mevcut Starknet Pover (SHARP Prover) Advanced Cario ile tamamen uyumlu olacak. 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 çaba göstermeye devam ediyor. Yukarıdaki analiz sayesinde, STARK kanıt sisteminin ve onun en son yükseltilmiş versiyonu Circle STARK'ın, StarkWare'in oğlu olarak, hak edilmiş ileri güçler ve yarının yıldızları olduğunu açıkça görebiliriz. ZK Rollup'ın parlak bir geleceği var. Ama belki de her güzel şeyin zor gelmesinden dolayı Starknet uzun zamandır 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. Quantum Leap kod adı verilen 4.1 V0.12 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ş hacmi 30.000 CSPS'den (saniyede Kahire adımı, saniyede Cario adımı) 220.000 CSPS'ye yükseldi. Performans büyük ölçüde geliş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ısaltılır ve deneyim büyük ölçüde iyileştirilir. 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şlevselliğini 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ükseltmesinde başlatılması bekleniyor. Şu anda Ethereum'daki Veri Kullanılabilirliği (DA), Starknet ağındaki gaz ücretlerinin büyük çoğunluğunu tüketiyor, bu nedenle Ethereum'daki DA depolamasını azaltmak, ücretleri azaltmanın anahtarıdır. Volition, geliştiricilerin verilerin bir kısmını Starknet L2'de saklamayı seçmesine ve sonuçta 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 giderleri azaltma 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 kanıtı vardır ve her bloğun Ethereum'a sabit bir işletme maliyeti ile harcanması gerekir. Bu nedenle ağın, bir bloğu paketlemeden ö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 birlikte Starknet'in ekolojik yapısı artık giderek daha eksiksiz hale geldi. 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'leri kimlik olarak basmasına ve Starknet zincirine geçmesine destek oluyor. 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 özerk sürekli 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 mySwap'in tek tıklamayla dengeleme işlevini azaltmasına yardımcı olmak için tüm fon havuzlarını yönetmek üzere tek durumlu bir tasarım başlattı; Piyasa çok fazla dalgalandığında vb. geçici kayıpları etkili bir şekilde azaltabilir, bu da ekolojiye 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 art arda yerel tokenlar $ZEND, $EKUBO ve $ZKX'i piyasaya sürdü; ekolojik lider Nostra Finance ayrıca Starknet'te ilk yerli USD stablecoin $UNO'yu piyasaya sürdü ve $STRK $ taahhüdünde bulundu. NSTSTRK elde edildi. Ç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. Bununla birlikte, Katman 1 ve Katman 2'nin tanrılarının savaştığı günümüzde, canlılığın devamını sağlamak amacıyla, gerçekten popüler bir uygulama yaratmak için ürünlerde ve teknolojide ikili inovasyona ihtiyaç vardır, böylece zincirin canlılığı istikrarlı bir şekilde istikrarlı bir seviyeye ulaşabilir. daha yüksek düzey. 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 beri güvenli, büyük ölçekli karmaşık kanıtları sağlamak için doğmuştur ve aynı kökene sahip olan 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 Sağlamlığın sınırlamalarını etkili bir şekilde telafi edebilir.) Diğer Katman 2'den farklı olarak, Zeka için Solidity'yi kullanan geliştiriciler, sözleşme geliştirme için Starknet'te geliştirme yapmak üzere yerel Kahire dilini kullanmalıdır; 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 ikilemle karşı karşıya kaldığımızda cevabını Eli Ben-Sasson'un bu yılın başında yazdığı "Yap ya da Devam Et" başlıklı makalesinde bulabiliriz. "https://paragraph.xyz/@think-integrity/stubborn%2C-or-steadfast" Makale, "kaplana binmek ama inmek zordur" kinayesinden alıntı yaparak, eğer güzel performans peşinde koşmak için güvenliği feda ederseniz, şunu söylüyordu: kısa vadede, dört nala koşan bir kaplanın arabada oturması gibi, sonu gelmez sıkıntılara neden olur. 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 pek çok teşvik var; hackathonlar 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 USDC alacak. kâr finansmanı Starknet'teki ekolojik inşasını desteklemek için finansman ödüllerini sulandırın. "https://mp.weixin.qq.com/s/S-nVc60Sfyk2C2SP9WkNuQ" Özellikle oyun sektörü için, mevcut vakfın oyun yardımı pilot programı (Propulsion Pilot Programı), Finansman ödüllerine göre 20'ye kadar oyun seçecek Starknet ana ağının Gaz tüketimine dayanmaktadır ve her oyun 1 milyon ABD dolarına kadar ödül alabilir. "https://mp.weixin.qq.com/s/ZFSTfMyLm60M8FMR8KOG8w" Ayrıca Starknet ile derinlemesine bir stratejik işbirliğine ulaşan Ethereum müşteri geliştirme ekibi Nethermind, toplam 1 milyon ABD Doları tutarında bir Starknet finansman planını da yayınladı ( Starknet Büyük Programı), tek bir proje 250.000 ABD Dolarına kadar finansman alabilir ve Nethermind ekibinden teknik destek alabilir. "https://x.com/Starknet_ZH/status/1785159198868943151" Starknet, Ethereum ile olan 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çkalayacak, daha fazla seçkin geliştiricinin Kahire topluluğuna katılmasını sağlayacak ve olumlu bir döngü oluşturacak. . 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 Tamamen Zincir Üzerinde Oyunlar Tamamen Zincir Üzerinde Oyunlar (FOCG, aynı zamanda 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 beklenti içindedir. 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, maliyetler 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. 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 soyutlamayı başından itibaren gerekli bir seçenek haline getirmiştir. Her hesap, sistem tasarımı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 zincirinin önde gelen birkaç blockchain oyun ekibi olan Briq, Loot Realms ve Topology tarafından başlatılan Session Key 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 ekosistemi giderek gelişiyor Starknet'in sürekli optimizasyonu ve performansının iyileştirilmesiyle, çok sayıda oyun topluluğu Kahire ekosistemini oluşturmaya başladı. Bir dizi altyapının başlatılmasıyla mevcut ekolojik oyun çerçevesi oluştu. temelde oluşmuştur. 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 üzerine inşa etmeyi kolaylaştırır. -zincir 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. ilk aşamalardadır ve mevcut iki şifreli oyun motoru vardır: EVM üzerine kurulu MUD ve Kahire merkezli Dojo.Dojo, kanıtlanabilir ilk kriptografik oyun motorudur. ) Kartuş bir oyun başlatıcıdır, bir yandan geliştiricilere zincir üstü oyun mantığı, ölçeklenebilir mimari, kesintisiz kullanıcı erişimi, modüler geliştirme ve para birimi kimyasal planı dahil olmak üzere oyun oluşturma ve dağıtma için Dojo'ya dayalı araçlar ve kod kitaplıkları sağlar. , vesaire. Ö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 Layer 3 Starknet, Zk Rollup'ı kullanan genel amaçlı bir Layer2'dir. Olağanüstü güvenlik performansına, yüksek verime ve büyük ölçüde azaltılmış maliyetlere ek olarak, özel ihtiyaçları karşılamak amacıyla, Layer3 Appchain'in özelleştirilmiş gelişimini de başlatmıştır. 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 Layer3'ü yayınlayacağını ve Gas tokenı olarak $PAPER'ı kullanacağını da belirtti. 5.3.1.4 Özet Kamuoyunun gözünde Starknet'in Gamefi'deki performansı olağanüstü olmayabilir ancak tam zincirli oyunlara, Starknet'in çevre dostu olmasına, tam zincir misyonuna ilişkin açık anlayışına ve kendi teknik avantajlarına odaklanırsanız, 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ı. Eğer bir gün tam zincirli oyunlar tamamen hayata geçirilebilirse ve giderek daha fazla oyun tutkunu 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 Yapay zeka ve blockchain teknolojisinin patlamasıyla birlikte, AI+Blockchain giderek daha fazla gelecekteki geliştirme yönü olarak kabul ediliyor. ZKML (Sıfır Bilgi Makine Öğrenimi, sıfır bilgiye dayanıklı makine öğrenimi) bir çözüm planıdır. 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 zincirdeki güvenilmeyen ortam nedeniyle modelin ve eğitim verilerinin güvenilirliği de sağlanamaz. garantilidir. 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. Sonuç olarak Starknet'teki Giza Tech tabanlı ZKML hızla büyüyor. 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, Circles Network ile iş birliği yapma, sosyal grafik analizi yapma, sahte kullanıcıları tespit etme 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 en son seçilen ML Village, ZKML'yi Giza aracılığıyla karar alma için zincir oyunlara dahil ederek geniş uygulama olanaklarını gösterdi. 06 Özet Starknet'in son resmi açıklamasına göre 2024 yılında gas ücretinin 0,01 doların oldukça altına indirilebileceği, yüzlerce TPS'ye ulaşılarak en yüksek TPS'ye sahip Layer 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ı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ı kalma ve yakınlar uğruna uzağa gitme yükünü defalarca omuzlama pratiğidir. Gelecekte Starknet'te daha da fazla enerji açığa çıkarmayı sabırsızlıkla bekliyoruz.