Starknet Kahire Yükseltmesi: Tek Önemli Değişiklik

Starknet'in Quantum Leap yükseltmesi, en yavaş Katman 2 kripto toparlayıcılarından birini en hızlısına dönüştürebilir ve bunun nedeni motorda yapılan büyük bir değişikliktir.
Starknet
• Tem 12, 2023
4 dk okuma
Starknet Kahire Yükseltmesi: Tek Önemli Değişiklik

Bugün yayına giren Starknet Cairo yükseltmesi (v.0.12.), kriptoda şimdiye kadar görülen en büyük hız kazanımlarından birini yaratma potansiyeline sahip. Aslında artış o kadar büyük ki kripto yorumcuları buna ‘Starknet Kuantum Sıçraması’ adını verdiler.

Starknet şimdiye kadar saniyede 2’den az işlem (TPS) gerçekleştiriyordu. Starknet’in temel işlevi aşırı çalışan Katman 1 blok zincirindeki tıkanıklığı gidermek olsa da, bu Ethereum ana ağından bile daha yavaş.

Ancak Starknet’in Cairo Yükseltmesi, işlem hacmini 20 kat veya daha fazla artırabilir. Ve bunların hepsi, ağın doğrulama motoruna giriş noktası olan sıralayıcı ile ilgilidir.

Sıralayıcıyı yükselterek Starknet, arka ucunun kalbindeki büyük bir darboğazı ortadan kaldırdı ve kullanıcıların işlemlerinin daha hızlı bir şekilde harmanlanmasını, kanıtlanmasını ve sonuçlandırılmasını sağladı.

Starknet sıralayıcı neden bu kadar önemli?

Tüm Katman 2 sıfır bilgi (geçerlilik) toplamaları gibi, Starknet de işlemleri toplu olarak kanıtlar (veya ‘toplar’) ve bunları doğrulayan ve zincir üzerinde bir kayıt yayınlayan Katman 1 Ethereum’a gönderir. Böylece işlemler, Katman 2’nin dinamik ölçeklenebilirliği ile Katman 1’in tüm güvenliğini elde eder.

 

Starknet’te kanıt sistemi şu şekilde çalışır:

  • İlk olarak, sıralayıcı bir grup işlemi doğru sırada düzenler. Bunları işler, bir dizi eylem veya durum değişikliği üretir (örneğin, kullanıcıların bakiyelerini günceller) ve ardından işlemleri kanıtlayıcıya gönderir.
  • StarkWare tarafından geliştirilen bir program olan prover, geçerli olduğundan emin olmak için her işlemi kontrol eder ve işlemden önceki ve sonraki durum değişikliğinin matematiksel bir kanıtını üretir. Daha sonra kanıtlayıcı, geçerlilik kanıtı olarak bilinen ve toplu işlemdeki tüm işlemler için bir kanıt içeren tek bir kaydı Katman 1’e geri gönderir.
  • Akıllı bir sözleşme olan Ethereum Katman 1 doğrulayıcısı, her bir işlem için doğru adımları izlediğini göstermek için doğrulayıcıya bir dizi matematiksel zorluk çıkarır.

İşte yapıyı göstermek için bir diyagram:

Sıralayıcı, Starkware makinesinin kalbidir ve Quantum Leap yükseltmesinin ana odak noktasıdır.
Kredi: StarkWare

Esasen, Starknet sıralayıcı, Katman 1 Ethereum’daki blok önericilere ve doğrulayıcılara benzer bir rol oynar. İşlemleri işler, bunları birbirine zincirler ve ardından bir blok oluşturur. Aslında sıralayıcı birkaç nedenden dolayı çok önemlidir:

  1. Her işlemin Starknet’in mevcut durumuyla tutarlı bir şekilde yürütülmesini sağlar.
  2. Çifte harcamayı önler, böylece bir kullanıcı varlığını iki kez harcayabilir.
  3. Prover’ın işlemleri en az verimsizlikle doğru sırada işleyebilmesini sağlar.

Peki Starknet sıralayıcı ile ilgili sorun neydi?

Starknet orijinal sıralayıcısını, blok zincirlerinin ortaya çıkışından çok önce bir programlama dili olan Python’da yazmıştır. Python 1991 yılında, Bitcoin’den tam 18 yıl önce yayına girmiştir ve yüksek performanslı sistemler için üretim sınıfı bir dil değildir. Bu nedenle Starknet sıralayıcı işlemleri yeterli hızda gerçekleştirememekte ve işlemler kanıtlayıcıya ulaşmadan önce darboğazlar yaratmaktadır.

Geçtiğimiz birkaç ay boyunca Starknet geliştiricileri Python yerine hızlı ve esnek Rust dilinde inşa edilmiş yepyeni bir sıralayıcı üzerinde çalışıyorlardı.

Rust vs Python: Starknet neden Cairo Yükseltmesi ile dil değiştirdi?

Bir komut dosyası dili olarak Python, bilgisayar tarafından okunabilir bayt koduna dönüştürüldüğünde derleme adımından kaçınır. Ancak bu, kodun yorumlanması gerektiği anlamına gelir, bu da Python’un dinamik türler kullandığı gerçeğiyle birleştiğinde bir sürüklenme yaratabilir. Bu nedenle dil, özellikle kodlama ve kod çözme gibi belirli kriptografi işlevlerini yerine getirirken özellikle hızlı değildir.

Öte yandan Rust, otomatik olarak derlenir ve çöp toplayıcı özelliği yoktur (Python ve diğer dilleri kullanırken ciddi bir yük olabilir). Bu, son derece hızlı olduğu ve blok zinciri geliştirme için ideal olduğu anlamına gelir. Aslında Solana ve Polkadot da dahil olmak üzere birçok blok zincirinin temelini oluşturuyor.

Bu hız kazanımları yeni ve optimize edilmiş bir sistemle daha da artacaktır:

  1. Blockifier, durum farkları ve bloklar oluşturan sıralayıcının işlem yürüten bileşeni.
  2. Cairo Sanal Makinesi, Cairo’da yazılan sözleşmelerin Starknet ağı üzerinde yürütülmesini sağlar.
  3. Yerel bir veritabanının ve basit bir anahtar/değer depolama yapısının gücünden yararlanan Papyrus kullanan yerel durum yönetim sistemi.

Hepsi Rust dilinde yazılmış.

StarkWare’in Kahire Yükseltmesi ile ilgili kendi Medium gönderisinde belirttiği gibi, orijinal Python tabanlı sıralayıcı, kripto borsaları ve NFT pazar yeri uygulamaları gibi özel kullanımlı projelerle çalışmak üzere tasarlanmış bir SaaS ürünü olan StarkEx’i oluşturmak için kullanılan altyapının bir uyarlamasıydı. Buna karşılık yeni Rust tabanlı sıralayıcı, “özellikle merkezi olmayan, yüksek performanslı bir ağın gereksinimleri için inşa edilmiştir.”

Starknet Kahire Yükseltmesini etkileyecek başka değişiklikler var mı?

Aslında, sıralayıcı yükseltmesi, bazıları hala gelecek olan bir dizi değişikliğin bir parçası. Bunlar arasında geçersiz işlemler nedeniyle boşa harcanan zamanın azaltılması ve Starknet ağının daha verimli çalışmasının sağlanması yer alıyor.

Ancak endişelenmeyin, bunları sonraki yazılarda ele alacağız. Mevcut yükseltme turunda (Starknet v.012.0), yeni Blockifier, Cairo VM ve yerel durum yönetimi gibi kazanımlarla birlikte Rust’a geçiş, bilmeniz gereken en önemli gelişmedir.

Bunu ön uçta göremeyeceksiniz ama kesinlikle hissedeceksiniz.

Quantum Leap’in faydalarını kendiniz deneyimlemek ister misiniz?

Starknet’in Cairo Yükseltmesi, alım satım yapmanıza, getiri pozisyonlarına girip çıkmanıza ve NFT’leri daha hızlı bir şekilde basmanıza olanak tanıyacak.

Avantajlarını kendiniz denemek için, kendi cüzdanımız Braavos’u kullanarak Starknet test ağı Goerli’de bazı örnek işlemler gerçekleştirmeyi deneyin. Goerli, Starknet’in gerçek yaşam koşullarını taklit ediyor, ancak jetonların gerçek dünyada bir değeri yok. Böylece ekosistemin olanaklarını hiçbir risk veya finansal taahhüt olmadan bir Sandbox ortamında keşfedebilirsiniz.

İşte bunu nasıl yapacağınız:

  1. Henüz indirmediyseniz Braavos ‘u indirin (bu bir yazılım cüzdanıdır, bu nedenle tercih ettiğiniz tarayıcıda veya mobil işletim sisteminizde bir uzantı olarak indirilecektir).
  2. Git ve biraz Goerli jetonu al. Bunları Starknet musluğundan almanızı öneririz.
  3. Braavos cüzdanı içinde bazı farklı işlemleri deneyin. Deneyebilirsin:
    1. Cüzdanın içindeki bazı jetonları değiştiriyorum.
    2. Bir alan adı oluşturma.
    3. dApp’lerin galerisine gidin ve belirli bir protokolle etkileşime geçin.

Quantum Leap, Starknet veya başka herhangi bir şey hakkında sorularınız varsa, Twitter ‘dan bize ulaşın, size yardımcı olmaktan memnuniyet duyarız.

Motty Lavie

Motty Lavie

İlk bilen sen ol

Şimdi abone olun ve Braavos ve Starknet ekosistemi hakkında aylık güncellemeler ve ilginç haberler alın.