StarkEx, Ethereum Ana Ağı'nda canlı olan, Layer-2 ölçeklenebilirlik motorudur. StarkWare, kripto borsalar için bir ölçeklenebilirlik motoru olan StarkEx'i geliştirdi. StarkEx, borsaların düşük maliyetlerle yüksek likiditede kendi kripto varlıklarını ticaretine izin verir. StarkEx şu anda ETH, ERC-20 ve ERC-721 token'larını desteklerken, diğer EVM uyumlu blokzincirlerdeki token'ları da kolayca destekleyebilir.
StarkEx, uygulama özel ve izinli ölçeklendirme çözümlerinin geliştirilmesini kolaylaştıran bir çerçevedir. StarkEx, özellikle oyun ve DeFi gibi uygulamaların benzersiz gereksinimlerini ele almak üzere özel olarak tasarlanmış bir ölçeklenebilir motordur. StarkEx, Ethereum ana ağındaki Validium L2 ölçeklendirme motorudur ve belirli izinli Dapp'leri uyumlu hale getirilmiştir. dYdX, ImmutableX, DeversiFi gibi projeler ve birçok diğer işbirlikçi, öncelikle ticaret kullanım durumları için fikirlerini dağıtmak için bunu kullanır. Protokollerin çoğunluğu, gerçek ticaret hacminin oluşturulması ve işlemlerin yürütülmesinden sorumlu olan bu belirli L2 üzerine inşa edilmiştir. StarkEx, STARK sıfır bilgi kanıt teknolojisini kullanarak kripto borsalarında ölçeklenebilir emanet olmayan ticareti tanıtır.
StarkEx, Haziran 2020'den beri Ethereum Mainnet üzerinde dağıtılmış ve bir SaaS iş modeli üzerinde tanıtılmış olgun bir platformdur. 2018 yılında Eli Ben-Sasson, Michael Riabzev, Uri Kolodny ve Alessandro Chiesa tarafından kurulan bir ZK-rollup şirketi olan Starkware'in bir ürünüdür. Eli, STARK, FRI ve Zerocash'ı birlikte icat etti ve Zcash'in kurucu bilim insanlarından biridir. 2001 yılında İbrani Üniversitesi'nde Teorik Bilgisayar Bilimi alanında doktorasını almasından bu yana kriptografi ve heslî bütünlük kanıtlarının sıfır bilgiyle incelenmesine odaklanmaktadır.
Uri Kolodny, OmniGuide ve Mondria dahil olmak üzere birçok teknoloji firmasının kurucu ortağı olan bir seri girişimcidir. Michael, Starkware'in kurucu ortağı ve sıfır bilgi hesaplama bütünlüğü için zk-STARK sistemini geliştirdi ve uyguladı. Alessandro, StarkWare'in kurucu ortağıdır, Zerocash protokolünü icat etmiştir ve kısa ve öz sıfır bilgi ispatları için önde gelen açık kaynaklı araç olan Libsnark'ın yazarıdır.
Starkware, sıfır bilgi temelli rollup tasarımında bir öncüdür. StarkEx üzerinde dağıtılan uygulama örnekleri arasında dYdX (sürekli işlem), Immutable ve Sorare (NFT oluşturma ve işlem), DeversiFi (spot işlem) ve Celer (DeFi havuzlama) bulunur. Ana ağın dağıtımından önce, 50 milyonun üzerinde StarkEx işlemi, halka açık ve özel Ethereum test ağlarında çözümlendi.
STARKs (Ölçeklenebilir, Şeffaf Bilgi Argümanı), hesaplama doğrulama ve onay sürecini kolaylaştıran bir kanıt sistemidir. Geniş çaplı bir hesaplamanın işlenmesini, hesaplamanın doğruluğu için bir kanıtın üretilmesini ve kanıtın birkaç adımda doğrulanmasını sağlar. StarkWare, Ethereum'u STARKs ile ölçeklendirmek için iki çözüm sunar: StarkEx ve Starknet.
StarkEx, şirket içi dApp'ler için maliyetleri azaltmayı ve işlemlerin hızını artırmayı amaçlayan Ethereum özel bir ölçeklendirme çözümüdür. StarkWare ekibi, StarkEx'i yönetmekten sorumludur ve Haziran 2020'de ana ağına başlatmıştır. StarkEx, birçok işlemi tek bir bloğa konsolide ederek Ethereum'un verimliliğini artırır. İşlemlerin meşru olduğuna dair matematiksel kanı sunan zero-knowledge rollup adı verilen bir teknolojiyi kullanır. Belirli uygulamanın gereksinimlerine bağlı olarak, StarkEx, saniyede 15.000 ila 50.000 işlem yapabilir.
StarkWare ekibi ayrıca 2021'in Kasım ayında alfa ana ağını başlatan Starknet'i tasarladı. StarkEx'in aksine, Starknet StarkWare personelinin denetimi dışındadır. Starknet, izin verilen Ethereum gibi genel ağlara benzer şekilde çalışan Ethereum Katman 2 için merkezi olmayan bir ölçeklendirme çözümüdür.
Sıfır bilgi (zk) teknolojisini kullanan Starknet, Ethereum üzerinde kullanıcı deneyimini artırır ve yardımcı program maliyetlerini azaltır. Doğal bir programlama dili olan Cairo'yu kullanır. Protokolün hesap soyutlamasını desteklemesi dikkate değer bir özelliktir. Bu işlev, kullanıcıların akıllı bir sözleşme kullanarak hesaplarını yönetmelerini sağlar. Starknet ekosisteminin mevcut toplam kilitli değeri (TVL) 251.95 milyon dolarıdır.
StarkEx ve Starknet, her ikisi de STARK üzerine kurulu ölçeklenebilirlik çözümleri olan farklılıklar sunar. Her ikisi de ölçeklenebilirlik, minimal gaz maliyetleri ve güvenlik sağlar; ancak, etkileşim desenleri ve işletme gereksinimleri farklılık gösterir. StarkEx, başlıca kendi kendine yeten bir uygulama için en uygun çözüm olabilir ve StarkEx'in sunduğu API'lerle uyumlu olabilir. Starknet, diğer protokollerle senkron etkileşim gerektiren veya StarkEx'in gereksinimlerini aşan gereksinimlere sahip bir protokol için daha uygun olabilir.
StarkEx'in aksine, uygulamaların işlemleri iletmekten sorumlu olduğu yerde, Starknet sıralayıcıları işlemleri toplu halde alır ve bunları işlenip doğrulanmak üzere gönderir. (StarkWare, şu anda Starknet'in sıralayıcılarını işletmekten ve gelecekte bunları merkezsizleştirmekten sorumludur.) Starknet, STARK kanıtları ile birlikte rollup'ın durumunu Ethereum'a yazma işlemini destekler.
StarkEx, yüksek işlem hızı, düşük gaz ücretleri, Ethereum düzeyinde güvenlik, öz-yönetim ve hızlı entegrasyon gibi özellikler ve faydalar içeren bir ölçeklendirme çözümü sunar. StarkEx, ticaret ve NFT'ler de dahil olmak üzere belirli kullanım durumları için akıllı sözleşmeler tarafından herhangi bir keyfi mantığın yürütülmesini kolaylaştırır.
Bu özellik, Optimistik Rollup gibi birincil zincirdeki uygulama yerine, StarkEx gibi yan zincirdeki işlemleri zincir-dışı olarak gerçekleştirir ve Validium protokolü altında gerçekleştirir. ZK rollup, L1 ve L2 arasındaki köprüleme süresini, Optimistik Rollup'ta olduğu gibi bir hafta değil, dakikalara indirir.
StarkEx, kullanıcıları belirli bir veri kullanılabilirlik seçeneği ile sınırlamaz, bu da kullanıcıların güvenlik gereksinimlerine ve gaz ücretlerine uygun işlemleri gerçekleştirmek için iki seçenek (Rollups veya Validium) arasından seçim yapabilecekleri anlamına gelir.
StarkEx'ın önemli ölçeklenebilir potansiyelinin anahtarı, off-chain Prover ve on-chain Verifier arasındaki hesaplamanın asimetrik olarak dağıtılmasında yatmaktadır. Off-chain Prover, geniş işlem gruplarını ele alır ve bir STARK kanıtı üretir. On-chain doğrulayıcı, STARK kanıtını bir dizi hesaplama prosedürü ile değerlendirir. Bu, kapsamlı off-chain ölçeklenmeyi kolaylaştırır; burada önemli hesaplamaları gerçekleştiririz ve bunun bütünlüğü minimum işleme gereksinimleri ile on-chain'de sürdürülür.
StarkEx, kullanıcı varlıklarının sürekli olarak kendi kontrolünde kalmasını garanti etmek için gelişmiş sansür karşıtı yöntemleri kullanarak öz-koruyucu merkezi olmayan uygulamaları kolaylaştırır.
ZK-STARK, Zero-Knowledge Scalable Transparent Argument of Knowledge'ın kısaltmasıdır. StarkWare, ZK-STARK'ları geliştirdi, bu da çağdaş cebir ve taze kriptografik kanıtlar kullanarak blok zincir hesaplamalarının gizliliğini ve bütünlüğünü korur. ZK-STARK'lar, blok zincirlerinin hesaplamaları tek bir off-chain STARK sağlayıcısına göndermesine izin verir; bu sağlayıcı, bu hesaplamaların bütünlüğünü kontrol etmek için on-chain STARK Doğrulayıcı kullanır.
ZK-STARKs benzersiz faydalar sağlar:
ZK-STARK'lar, daha büyük tanık boyutları için daha hızlı kanıt oluşturma ve doğrulama sağlar. zk-STARK'ın ölçeklenebilirliği üç kritik faktöre bağlıdır:
Bu boyutlar ve diğer faktörler, zk-STARK işleminin verimliliğini ve hızını belirler. Bir kanıtın üretilmesi için gereken hesaplama kaynakları ve zamanı kanıtlamanın karmaşıklığı olarak adlandırılır. Doğrulayıcının kanıtlayıcının kanıtını doğrulamak için gereken zaman ve hesaplama kaynaklarıdır. İletişim karmaşıklığı, kanıt doğrulaması sırasında kanıtlayıcı ve doğrulayıcı arasında değişen veri miktarıdır. ZK-STARK, iletişim açısından basit olması amaçlanmaktadır.
ZK-STARK'lar, merkeziyetçiliğe olan bağımlılığı azaltmak ve şeffaflığı artırmak için halka açık doğrulanabilir rastgeleleme kullanarak genel parametreler üretir. zkSTARK, kanıt sisteminde kullanılan parametreleri üretmek için halka açık doğrulanabilir rastgeleleme kullanarak güvenilir bir hazırlık aşamasına ihtiyaç duymaz. Sistem daha şeffaf hale gelir ve zkSTARK'ta güvenilir bir yapılandırma aşamasının olmaması, tehlikeye maruz kalan katılımcılarla ilişkili riski ortadan kaldırır.
Kuantum hesaplama, klasik bilgisayarlar için imkansız olan bir şekilde bilgi işlemek için kuantum mekaniği prensiplerini kullanan bir paradigmadır. Bu post-kuantum güvenliği olarak bilinir. Bu özellik, kuantum bilgisayarlarının belirli kategorilerdeki hesaplamaları klasik bilgisayarlardan kat kat daha hızlı gerçekleştirmesine olanak tanır. zkSTARK'lar, belirli kriptografik düzenlemeleri tehlikeye atabilen kuantum bilgisayarlardan gelen saldırılara karşı dayanıklı şekilde tasarlanmıştır. zkSTARK'lar, kuantum hesaplama gelişmelerinin tehdidine karşı daha etkili bir savunma sunar.
STRK, ağ işletimini etkinleştirmek, ağı korumak ve güvence altına almak için ücret ödemek için mekanizmadır; konsensüs için staking'e izin vererek ve yönetişim önerileri için oy kullanarak Starknet'in değerlerini ve teknoloji hedeflerini belirleme.
Başlangıçta, Starknet ücretleri STRK işlem ücreti olarak Ether (ETH) ile ödeniyordu. STRK ve ETH, ağ işlem ücretleri için mevcut ödeme yöntemleridir. Alıcı sıralayıcı, STRK ile ödenen ücretlerin bir kısmını Ethereum L1 gaz maliyetlerini karşılamak için ETH'ye dönüştürür. Bu maliyetler, Ethereum protokolü yönergeleri gereği ETH ile ödenmelidir.
Yatırım mekanizmalarının tanıtılması nedeniyle, kullanıcılar ağ işlemlerini desteklemek ve ödüller almak için STRK tokenlerini güvence altına alabilirler. Yatırım amacıyla kapsama sağlamak için, Starknet'in güvenliği ve işlevselliği için gerekli olan belirli hizmetler için STRK yatırımı gereklidir. L1 kesinleşmeden önce, sıralama, veri erişilebilirlik sağlama, STARK kanıtlama hizmetleri ve geçici L2 uzlaşması için birden fazla sağlayıcı mevcut olabilir.
Starknet'i geliştirmek için önerilerin minimal bir token destek eşiği gereklidir. Güvenlik, işlevsellik ve bakımı için kritik olan protokol değişikliklerini uygulamak için oy verme, doğrudan veya temsil yoluyla gereklidir.
StarkNet'in baş yatırımcıları arasında Sequoia Capital ve Paradigm yer alıyor. Diğer dikkate değer yatırımcılar arasında Tiger Global, Greenoaks, Coatue, Multicoin Capital, Vitalik Buterin, ConsenSys ve Polychain Capital bulunuyor. Şu ana kadar StarkNet, 250 milyon doların üzerinde fon topladı. Şirket, 2022 yılı Mayıs ayında 100 milyon dolar toplayarak değerlemesini 2 milyar dolar seviyesinden 8 milyar dolar seviyesine yükseltti. Sequoia Capital, bu turun başını çekti ve öncesinde Alameda Research ve Founders Fund tarafından yönetilen 50 milyon dolarlık Seri C yatırım turu gerçekleşti. DVCV ve Wing VC, StarkNet'in 24 Mart 2021 tarihinde gerçekleşen Seri B yatırım turuna liderlik etti ve 75 milyon dolarlık bir yatırım gerçekleşti. Paradigm, baş yatırımcı olarak yer aldığı 2018 yılı Eylül ayındaki Seri A turunda StarkNet'e 30 milyon dolar sağladı.
StarkWare başlangıçta Mayıs 2022'de on milyar Starknet token üretti ve bu tokenlar 30 Kasım 2022'de blok zincirinde üretildi. Şu anda var olan on milyar tokenın dağılımı aşağıdaki gibi olmuştur veya olması amaçlanmaktadır:
Yatırımcılara ve erken katkı sağlayanlara tahsis edilen tüm jetonlar, uzun vadeli teşvikleri Starknet topluluk çıkarlarıyla uyumlu hale getirmek için toplam jeton arzına dayalı yüzdeliklerle belirlenen bir kilitleme programına tabidir:
StarkEx, oyun ve DeFi dahil uygulamaların benzersiz gereksinimlerini ele almak üzere özel olarak tasarlanmış ölçeklenebilir bir motorudur. Katman iki çözümlerini uygulamanın iki farklı yöntemi vardır: ZK -Rollup veya Validium veri erişimi. StarkEx, "rollup modunda" olduğunda, Ethereum kullanıcı bakiyelerindeki değişiklikleri yansıtmak için güncellenir. Veriler, "validium" modunda Güvenilir Yöneticiler Komitesi'ne (DAC), güvenilir yöneticiler grubuna yayınlanır. Bu sistem, harici bir bileşen ve bir zincir üstü bileşen içerir. Harici veya dış zincir bileşeni durumu korur, işlemleri yürütür ve durum güncellemesini zincir üstü bileşene ileter. Ayrıca, bu bileşen, sistemin durumundan ve varlıklarından sorumlu olup doğrulama transferini gerçekleştirir. StarkEx'in kullandığı prosedürler aşağıda belirtilmiştir.
İşletmeci (örneğin, bir borsa), StarkEx hizmetine iletilen kullanıcı işlemlerini işler. StarkEx işlemleri iki aşamada doğrular: ardışık doğrulamalar ve değer aralıkları ve biçimlendirme gibi paralel durumsuz doğrulamalar. Paralel olarak gönderilen 1.000 işlem için yanıt gecikmesi 100-200 milisaniyedir.
Gateway, işlemin başlangıç doğrulamasını geçtiğini onayladıktan sonra, kullanıcı işlemin gerçekleştirileceğinden ve işlemin tamamlandığından emin olabilir. Kullanıcılar, işlemi onchain üzerinde sonlandırma beklemeden uygulamanın arayüzünde bütün olarak sunabilirler.
StarkEx, tüm işlemleri daha karmaşık kriterlere göre doğrular ve toplu işler. Bir işlemin öncülleri genellikle geçerliliğini belirlediği için bu doğrulama aşaması sıralıdır, paralel değil. Her doğrulanmış işlem, StarkEx hizmeti tarafından bir toplu işe gruplandırılır ve ilgili bakiyeler güncellenir. Bu doğrulama aşamasının gözlemlenebilir gecikmesi, işlemin kuyruğun sonunda veya başında ne zaman eklendiğine bağlı olarak birkaç dakika veya dört saate kadar yüksek olabilir.
StarkEx hizmeti, işlemlerin geçerliliğini doğrulayan bir STARK kanıtı üretir ve işlemleri topladıktan sonra on-chain olarak iletimini sağlar.
Bir zincir üstü doğrulayıcı akıllı sözleşme, zincir üstünde amaçlanan işlemlerin geçerliliğini kanıtlayan STARK kanıtını aldıktan sonra. Kanıt doğrulandıktan sonra, yeni bakiye durumuna ilişkin bir taahhüt zincir üstünde depolanır.
StarkEx, geliştiricilere kendi uygulamalarını entegre etmek için StarkEx'lerini kullanma imkanı sunar. StarkEx, Sorare, Dydx, Immutable X, Opera ve DeversiFi gibi önde gelen endüstri oyuncuları tarafından kullanılmaktadır. Geliştirici, StarkEx ile çalışmaya başladığında, L1 StarkEx sözleşmesine ve test ağındaki bir StarkEx örneğine sahip olur. Bununla birlikte, kullanıcılar uygulamanın düzgün çalışmadığı durumlarda her zaman paralarını geri alabileceklerini ve paraları üzerinde kontrol sahibi olduklarını bilmelidirler.
Buna bağlı olarak, StarkEx, katman iki çözümlerin uygulanması için iki ayrı yaklaşım sunar: ZK-Rollup veya Validium veri erişilebilirliği. StarkEx uygulamaları, öz-denetim, yedeklilik ve güven ilkesini sağlamak için kullanıcı verilerinin sürekli erişilebilir olmasını sağlamalıdır. Veri erişilebilirliği, kullanıcıların kasalarında depolanan durumun StarkEx tarafından sürdürülen durumla tam senkronize olduğunu ve tam bakiye ağacının sürekli olarak erişilebilir olduğunu garanti eder, böylece StarkEx faaliyetlerini durdurursa kullanıcılar nakitlerinin ne kadarını kontrol ettiklerini doğrulayabilirler.
StarkEx, ZK-Rollup ve Validium dahil olmak üzere aşağıdaki veri erişilebilirlik modlarını destekler. StarkEx Perpetual ve StarkEx Spot bu modları destekler. Varlık sahiplerinin her varlık için kasa aralığını seçmelerine olanak tanıyan Volition modu, hem ZK-Rollup hem de Validium kasalarının kullanımına izin verir. Ayrıca veri depolamaya da olanak tanır. Ancak, sadece StarkEx Spot tarafından desteklendiği için önceki seçeneğe göre daha az popülerdir.
Sıfır bilgi toplamaları veya ZK toplamaları, her işlemin meşruiyetini doğrulamak için "sıfır bilgi kanıtları" olarak adlandırılan gelişmiş kriptografi ve matematik kullanır. ZK rollup'ları, ademi merkeziyetçilik ve güvenlik savunucuları arasında tercih edilen Ethereum ölçeklendirme çözümüdür. StarkEx ve zkSync, sıfır bilgi toplamaları kullanan Katman 2 çözümlerini örneklemektedir. StarkEx ZK-Rollup'ta Cairo programı, L2 bakiyeleri Merkle Tree'nin yeniden yapılandırılması için gerekli verilerin zincir üzerinde çağrı verisi olarak dağıtılmasını garanti eder.
ZK-rollup gerçekleşirken, operatör durum kökü için bir geçerlilik kanıtı oluşturur (SNARK veya STARK). Bu, Ethereum'daki rollup akıllı sözleşmesine alınan durum kökünün geçerli bir işlem kümesinden geldiğini gösterir. Bu, operatörün geçersiz bir durum kökü iletimini imkansız hale getirir. ZK-rollup'lar iki tür geçerlilik kanıtı kullanır: SNARK ve STARK. ZK Sync, Scroll ve Polygon ZkEVM SNARK'ları kullanırken, StarkNet ve StarkEx STARK'ları kullanır.
ZK-Rollup güven gerektirmeden çalışır. Kaçış durumu sırasında kullanıcı fonlarını geri almak için gerekli tüm veriler blokzincirinde erişilebilir ve şeffaftır. Bu avantaja rağmen, bu modun dezavantajı, bir parti içindeki her kasanın değiştirilmesinin bir gaz ücretine neden olmasıdır. Birçok kasa durumunun değiştiği partilerde, bir durum güncelleme olayının maliyeti genellikle veri erişilebilirliği yerine kanıt doğrulamasıyla ilgilidir.
Alternatif veri kullanılabilirlik modu Validium'dur. Bu veri modunda hesaplamanın doğru bir şekilde gerçekleştirildiğini doğrulayan bir kriptografik kanıt bulunmaktadır. Validium kasalarının kullanımında, kullanıcı bakiyeleri zincirde açıklanmaz. Bunun yerine, Data Availability Committee (DAC) üyeleri gibi birkaç saygın ve güvenilir kuruluşa gönderilirler. İşlem gruplama işlemi sonrası tüm istemci hesaplarının güncellenmiş bakiyelerini yansıtan bir durum güncellemesi, komite üyelerinin bir kotasını durumu onaylaması durumunda zincirde gerçek ve kabul edilir olarak kabul edilir. Komite üyeleri, tüm güncellenmiş kasa bakiyelerini bildiklerini ve kullanılabilirlik doğrulayıcılarının yeni durumu zorunlu kıldığını resmen onaylarlar.
ZK-rollup'ların aksine, gaz ücretlerine neden olan on-chain veri ödemesi gereksizdir. On-chain durumun güncellenmesi sırasında, çoğu gaz kanıt doğrulamasında harcanır. Gizlilik, kullanıcı bakiye bilgilerinin on-chain yerine güvenilir kuruluşların bir komitesi tarafından off-chain olarak tutulmasını gerektirir. Bu seçeneğin dezavantajı, bir DAC'ın kullanılmasının komite üyelerine olan güveni gerektirmesidir.
Bir DAC, bireylerin veya kuruluşların bir kolektifi oluşturur. DAC üyeleri, StarkEx destekli uygulamalar için veri depolama alanında gereksizlik ve güvenilmezlik sağlamayı taahhüt eder ve sürekli veri erişilebilirliğini garanti eder. DAC üyeleri, operatörler adına her durum güncellemesini almayı ve saklamayı kabul eden otomatik üçüncü taraflardır. Bir DAC üyesi, bir operatör (veya StarkWare) çevrimdışı hale gelirse, durum güncellemelerini zincir üzerinde yayınlama taahhüdünde bulunur, böylece kullanıcılar fonlarına sürekli erişebilir ve bu, öz saklama için önemlidir. DAC, Consensys, Chainstack, StarkWare ve birçok saygın kuruluşu içerir.
StarkEx, bir proje tarafından maliyet etkin dış zincir hesaplama elde etmek için kullanılabilecek kritik araçların bir koleksiyonudur. L2 çözümü ölçeklenebilirlik, düşük gaz fiyatları ve güvenlik sunar, ancak farklı işletme gereksinimlerine ve etkileşim çerçevelerine sahiptir.
StarkEx, Ethereum Ana Ağı'nda canlı olan, Layer-2 ölçeklenebilirlik motorudur. StarkWare, kripto borsalar için bir ölçeklenebilirlik motoru olan StarkEx'i geliştirdi. StarkEx, borsaların düşük maliyetlerle yüksek likiditede kendi kripto varlıklarını ticaretine izin verir. StarkEx şu anda ETH, ERC-20 ve ERC-721 token'larını desteklerken, diğer EVM uyumlu blokzincirlerdeki token'ları da kolayca destekleyebilir.
StarkEx, uygulama özel ve izinli ölçeklendirme çözümlerinin geliştirilmesini kolaylaştıran bir çerçevedir. StarkEx, özellikle oyun ve DeFi gibi uygulamaların benzersiz gereksinimlerini ele almak üzere özel olarak tasarlanmış bir ölçeklenebilir motordur. StarkEx, Ethereum ana ağındaki Validium L2 ölçeklendirme motorudur ve belirli izinli Dapp'leri uyumlu hale getirilmiştir. dYdX, ImmutableX, DeversiFi gibi projeler ve birçok diğer işbirlikçi, öncelikle ticaret kullanım durumları için fikirlerini dağıtmak için bunu kullanır. Protokollerin çoğunluğu, gerçek ticaret hacminin oluşturulması ve işlemlerin yürütülmesinden sorumlu olan bu belirli L2 üzerine inşa edilmiştir. StarkEx, STARK sıfır bilgi kanıt teknolojisini kullanarak kripto borsalarında ölçeklenebilir emanet olmayan ticareti tanıtır.
StarkEx, Haziran 2020'den beri Ethereum Mainnet üzerinde dağıtılmış ve bir SaaS iş modeli üzerinde tanıtılmış olgun bir platformdur. 2018 yılında Eli Ben-Sasson, Michael Riabzev, Uri Kolodny ve Alessandro Chiesa tarafından kurulan bir ZK-rollup şirketi olan Starkware'in bir ürünüdür. Eli, STARK, FRI ve Zerocash'ı birlikte icat etti ve Zcash'in kurucu bilim insanlarından biridir. 2001 yılında İbrani Üniversitesi'nde Teorik Bilgisayar Bilimi alanında doktorasını almasından bu yana kriptografi ve heslî bütünlük kanıtlarının sıfır bilgiyle incelenmesine odaklanmaktadır.
Uri Kolodny, OmniGuide ve Mondria dahil olmak üzere birçok teknoloji firmasının kurucu ortağı olan bir seri girişimcidir. Michael, Starkware'in kurucu ortağı ve sıfır bilgi hesaplama bütünlüğü için zk-STARK sistemini geliştirdi ve uyguladı. Alessandro, StarkWare'in kurucu ortağıdır, Zerocash protokolünü icat etmiştir ve kısa ve öz sıfır bilgi ispatları için önde gelen açık kaynaklı araç olan Libsnark'ın yazarıdır.
Starkware, sıfır bilgi temelli rollup tasarımında bir öncüdür. StarkEx üzerinde dağıtılan uygulama örnekleri arasında dYdX (sürekli işlem), Immutable ve Sorare (NFT oluşturma ve işlem), DeversiFi (spot işlem) ve Celer (DeFi havuzlama) bulunur. Ana ağın dağıtımından önce, 50 milyonun üzerinde StarkEx işlemi, halka açık ve özel Ethereum test ağlarında çözümlendi.
STARKs (Ölçeklenebilir, Şeffaf Bilgi Argümanı), hesaplama doğrulama ve onay sürecini kolaylaştıran bir kanıt sistemidir. Geniş çaplı bir hesaplamanın işlenmesini, hesaplamanın doğruluğu için bir kanıtın üretilmesini ve kanıtın birkaç adımda doğrulanmasını sağlar. StarkWare, Ethereum'u STARKs ile ölçeklendirmek için iki çözüm sunar: StarkEx ve Starknet.
StarkEx, şirket içi dApp'ler için maliyetleri azaltmayı ve işlemlerin hızını artırmayı amaçlayan Ethereum özel bir ölçeklendirme çözümüdür. StarkWare ekibi, StarkEx'i yönetmekten sorumludur ve Haziran 2020'de ana ağına başlatmıştır. StarkEx, birçok işlemi tek bir bloğa konsolide ederek Ethereum'un verimliliğini artırır. İşlemlerin meşru olduğuna dair matematiksel kanı sunan zero-knowledge rollup adı verilen bir teknolojiyi kullanır. Belirli uygulamanın gereksinimlerine bağlı olarak, StarkEx, saniyede 15.000 ila 50.000 işlem yapabilir.
StarkWare ekibi ayrıca 2021'in Kasım ayında alfa ana ağını başlatan Starknet'i tasarladı. StarkEx'in aksine, Starknet StarkWare personelinin denetimi dışındadır. Starknet, izin verilen Ethereum gibi genel ağlara benzer şekilde çalışan Ethereum Katman 2 için merkezi olmayan bir ölçeklendirme çözümüdür.
Sıfır bilgi (zk) teknolojisini kullanan Starknet, Ethereum üzerinde kullanıcı deneyimini artırır ve yardımcı program maliyetlerini azaltır. Doğal bir programlama dili olan Cairo'yu kullanır. Protokolün hesap soyutlamasını desteklemesi dikkate değer bir özelliktir. Bu işlev, kullanıcıların akıllı bir sözleşme kullanarak hesaplarını yönetmelerini sağlar. Starknet ekosisteminin mevcut toplam kilitli değeri (TVL) 251.95 milyon dolarıdır.
StarkEx ve Starknet, her ikisi de STARK üzerine kurulu ölçeklenebilirlik çözümleri olan farklılıklar sunar. Her ikisi de ölçeklenebilirlik, minimal gaz maliyetleri ve güvenlik sağlar; ancak, etkileşim desenleri ve işletme gereksinimleri farklılık gösterir. StarkEx, başlıca kendi kendine yeten bir uygulama için en uygun çözüm olabilir ve StarkEx'in sunduğu API'lerle uyumlu olabilir. Starknet, diğer protokollerle senkron etkileşim gerektiren veya StarkEx'in gereksinimlerini aşan gereksinimlere sahip bir protokol için daha uygun olabilir.
StarkEx'in aksine, uygulamaların işlemleri iletmekten sorumlu olduğu yerde, Starknet sıralayıcıları işlemleri toplu halde alır ve bunları işlenip doğrulanmak üzere gönderir. (StarkWare, şu anda Starknet'in sıralayıcılarını işletmekten ve gelecekte bunları merkezsizleştirmekten sorumludur.) Starknet, STARK kanıtları ile birlikte rollup'ın durumunu Ethereum'a yazma işlemini destekler.
StarkEx, yüksek işlem hızı, düşük gaz ücretleri, Ethereum düzeyinde güvenlik, öz-yönetim ve hızlı entegrasyon gibi özellikler ve faydalar içeren bir ölçeklendirme çözümü sunar. StarkEx, ticaret ve NFT'ler de dahil olmak üzere belirli kullanım durumları için akıllı sözleşmeler tarafından herhangi bir keyfi mantığın yürütülmesini kolaylaştırır.
Bu özellik, Optimistik Rollup gibi birincil zincirdeki uygulama yerine, StarkEx gibi yan zincirdeki işlemleri zincir-dışı olarak gerçekleştirir ve Validium protokolü altında gerçekleştirir. ZK rollup, L1 ve L2 arasındaki köprüleme süresini, Optimistik Rollup'ta olduğu gibi bir hafta değil, dakikalara indirir.
StarkEx, kullanıcıları belirli bir veri kullanılabilirlik seçeneği ile sınırlamaz, bu da kullanıcıların güvenlik gereksinimlerine ve gaz ücretlerine uygun işlemleri gerçekleştirmek için iki seçenek (Rollups veya Validium) arasından seçim yapabilecekleri anlamına gelir.
StarkEx'ın önemli ölçeklenebilir potansiyelinin anahtarı, off-chain Prover ve on-chain Verifier arasındaki hesaplamanın asimetrik olarak dağıtılmasında yatmaktadır. Off-chain Prover, geniş işlem gruplarını ele alır ve bir STARK kanıtı üretir. On-chain doğrulayıcı, STARK kanıtını bir dizi hesaplama prosedürü ile değerlendirir. Bu, kapsamlı off-chain ölçeklenmeyi kolaylaştırır; burada önemli hesaplamaları gerçekleştiririz ve bunun bütünlüğü minimum işleme gereksinimleri ile on-chain'de sürdürülür.
StarkEx, kullanıcı varlıklarının sürekli olarak kendi kontrolünde kalmasını garanti etmek için gelişmiş sansür karşıtı yöntemleri kullanarak öz-koruyucu merkezi olmayan uygulamaları kolaylaştırır.
ZK-STARK, Zero-Knowledge Scalable Transparent Argument of Knowledge'ın kısaltmasıdır. StarkWare, ZK-STARK'ları geliştirdi, bu da çağdaş cebir ve taze kriptografik kanıtlar kullanarak blok zincir hesaplamalarının gizliliğini ve bütünlüğünü korur. ZK-STARK'lar, blok zincirlerinin hesaplamaları tek bir off-chain STARK sağlayıcısına göndermesine izin verir; bu sağlayıcı, bu hesaplamaların bütünlüğünü kontrol etmek için on-chain STARK Doğrulayıcı kullanır.
ZK-STARKs benzersiz faydalar sağlar:
ZK-STARK'lar, daha büyük tanık boyutları için daha hızlı kanıt oluşturma ve doğrulama sağlar. zk-STARK'ın ölçeklenebilirliği üç kritik faktöre bağlıdır:
Bu boyutlar ve diğer faktörler, zk-STARK işleminin verimliliğini ve hızını belirler. Bir kanıtın üretilmesi için gereken hesaplama kaynakları ve zamanı kanıtlamanın karmaşıklığı olarak adlandırılır. Doğrulayıcının kanıtlayıcının kanıtını doğrulamak için gereken zaman ve hesaplama kaynaklarıdır. İletişim karmaşıklığı, kanıt doğrulaması sırasında kanıtlayıcı ve doğrulayıcı arasında değişen veri miktarıdır. ZK-STARK, iletişim açısından basit olması amaçlanmaktadır.
ZK-STARK'lar, merkeziyetçiliğe olan bağımlılığı azaltmak ve şeffaflığı artırmak için halka açık doğrulanabilir rastgeleleme kullanarak genel parametreler üretir. zkSTARK, kanıt sisteminde kullanılan parametreleri üretmek için halka açık doğrulanabilir rastgeleleme kullanarak güvenilir bir hazırlık aşamasına ihtiyaç duymaz. Sistem daha şeffaf hale gelir ve zkSTARK'ta güvenilir bir yapılandırma aşamasının olmaması, tehlikeye maruz kalan katılımcılarla ilişkili riski ortadan kaldırır.
Kuantum hesaplama, klasik bilgisayarlar için imkansız olan bir şekilde bilgi işlemek için kuantum mekaniği prensiplerini kullanan bir paradigmadır. Bu post-kuantum güvenliği olarak bilinir. Bu özellik, kuantum bilgisayarlarının belirli kategorilerdeki hesaplamaları klasik bilgisayarlardan kat kat daha hızlı gerçekleştirmesine olanak tanır. zkSTARK'lar, belirli kriptografik düzenlemeleri tehlikeye atabilen kuantum bilgisayarlardan gelen saldırılara karşı dayanıklı şekilde tasarlanmıştır. zkSTARK'lar, kuantum hesaplama gelişmelerinin tehdidine karşı daha etkili bir savunma sunar.
STRK, ağ işletimini etkinleştirmek, ağı korumak ve güvence altına almak için ücret ödemek için mekanizmadır; konsensüs için staking'e izin vererek ve yönetişim önerileri için oy kullanarak Starknet'in değerlerini ve teknoloji hedeflerini belirleme.
Başlangıçta, Starknet ücretleri STRK işlem ücreti olarak Ether (ETH) ile ödeniyordu. STRK ve ETH, ağ işlem ücretleri için mevcut ödeme yöntemleridir. Alıcı sıralayıcı, STRK ile ödenen ücretlerin bir kısmını Ethereum L1 gaz maliyetlerini karşılamak için ETH'ye dönüştürür. Bu maliyetler, Ethereum protokolü yönergeleri gereği ETH ile ödenmelidir.
Yatırım mekanizmalarının tanıtılması nedeniyle, kullanıcılar ağ işlemlerini desteklemek ve ödüller almak için STRK tokenlerini güvence altına alabilirler. Yatırım amacıyla kapsama sağlamak için, Starknet'in güvenliği ve işlevselliği için gerekli olan belirli hizmetler için STRK yatırımı gereklidir. L1 kesinleşmeden önce, sıralama, veri erişilebilirlik sağlama, STARK kanıtlama hizmetleri ve geçici L2 uzlaşması için birden fazla sağlayıcı mevcut olabilir.
Starknet'i geliştirmek için önerilerin minimal bir token destek eşiği gereklidir. Güvenlik, işlevsellik ve bakımı için kritik olan protokol değişikliklerini uygulamak için oy verme, doğrudan veya temsil yoluyla gereklidir.
StarkNet'in baş yatırımcıları arasında Sequoia Capital ve Paradigm yer alıyor. Diğer dikkate değer yatırımcılar arasında Tiger Global, Greenoaks, Coatue, Multicoin Capital, Vitalik Buterin, ConsenSys ve Polychain Capital bulunuyor. Şu ana kadar StarkNet, 250 milyon doların üzerinde fon topladı. Şirket, 2022 yılı Mayıs ayında 100 milyon dolar toplayarak değerlemesini 2 milyar dolar seviyesinden 8 milyar dolar seviyesine yükseltti. Sequoia Capital, bu turun başını çekti ve öncesinde Alameda Research ve Founders Fund tarafından yönetilen 50 milyon dolarlık Seri C yatırım turu gerçekleşti. DVCV ve Wing VC, StarkNet'in 24 Mart 2021 tarihinde gerçekleşen Seri B yatırım turuna liderlik etti ve 75 milyon dolarlık bir yatırım gerçekleşti. Paradigm, baş yatırımcı olarak yer aldığı 2018 yılı Eylül ayındaki Seri A turunda StarkNet'e 30 milyon dolar sağladı.
StarkWare başlangıçta Mayıs 2022'de on milyar Starknet token üretti ve bu tokenlar 30 Kasım 2022'de blok zincirinde üretildi. Şu anda var olan on milyar tokenın dağılımı aşağıdaki gibi olmuştur veya olması amaçlanmaktadır:
Yatırımcılara ve erken katkı sağlayanlara tahsis edilen tüm jetonlar, uzun vadeli teşvikleri Starknet topluluk çıkarlarıyla uyumlu hale getirmek için toplam jeton arzına dayalı yüzdeliklerle belirlenen bir kilitleme programına tabidir:
StarkEx, oyun ve DeFi dahil uygulamaların benzersiz gereksinimlerini ele almak üzere özel olarak tasarlanmış ölçeklenebilir bir motorudur. Katman iki çözümlerini uygulamanın iki farklı yöntemi vardır: ZK -Rollup veya Validium veri erişimi. StarkEx, "rollup modunda" olduğunda, Ethereum kullanıcı bakiyelerindeki değişiklikleri yansıtmak için güncellenir. Veriler, "validium" modunda Güvenilir Yöneticiler Komitesi'ne (DAC), güvenilir yöneticiler grubuna yayınlanır. Bu sistem, harici bir bileşen ve bir zincir üstü bileşen içerir. Harici veya dış zincir bileşeni durumu korur, işlemleri yürütür ve durum güncellemesini zincir üstü bileşene ileter. Ayrıca, bu bileşen, sistemin durumundan ve varlıklarından sorumlu olup doğrulama transferini gerçekleştirir. StarkEx'in kullandığı prosedürler aşağıda belirtilmiştir.
İşletmeci (örneğin, bir borsa), StarkEx hizmetine iletilen kullanıcı işlemlerini işler. StarkEx işlemleri iki aşamada doğrular: ardışık doğrulamalar ve değer aralıkları ve biçimlendirme gibi paralel durumsuz doğrulamalar. Paralel olarak gönderilen 1.000 işlem için yanıt gecikmesi 100-200 milisaniyedir.
Gateway, işlemin başlangıç doğrulamasını geçtiğini onayladıktan sonra, kullanıcı işlemin gerçekleştirileceğinden ve işlemin tamamlandığından emin olabilir. Kullanıcılar, işlemi onchain üzerinde sonlandırma beklemeden uygulamanın arayüzünde bütün olarak sunabilirler.
StarkEx, tüm işlemleri daha karmaşık kriterlere göre doğrular ve toplu işler. Bir işlemin öncülleri genellikle geçerliliğini belirlediği için bu doğrulama aşaması sıralıdır, paralel değil. Her doğrulanmış işlem, StarkEx hizmeti tarafından bir toplu işe gruplandırılır ve ilgili bakiyeler güncellenir. Bu doğrulama aşamasının gözlemlenebilir gecikmesi, işlemin kuyruğun sonunda veya başında ne zaman eklendiğine bağlı olarak birkaç dakika veya dört saate kadar yüksek olabilir.
StarkEx hizmeti, işlemlerin geçerliliğini doğrulayan bir STARK kanıtı üretir ve işlemleri topladıktan sonra on-chain olarak iletimini sağlar.
Bir zincir üstü doğrulayıcı akıllı sözleşme, zincir üstünde amaçlanan işlemlerin geçerliliğini kanıtlayan STARK kanıtını aldıktan sonra. Kanıt doğrulandıktan sonra, yeni bakiye durumuna ilişkin bir taahhüt zincir üstünde depolanır.
StarkEx, geliştiricilere kendi uygulamalarını entegre etmek için StarkEx'lerini kullanma imkanı sunar. StarkEx, Sorare, Dydx, Immutable X, Opera ve DeversiFi gibi önde gelen endüstri oyuncuları tarafından kullanılmaktadır. Geliştirici, StarkEx ile çalışmaya başladığında, L1 StarkEx sözleşmesine ve test ağındaki bir StarkEx örneğine sahip olur. Bununla birlikte, kullanıcılar uygulamanın düzgün çalışmadığı durumlarda her zaman paralarını geri alabileceklerini ve paraları üzerinde kontrol sahibi olduklarını bilmelidirler.
Buna bağlı olarak, StarkEx, katman iki çözümlerin uygulanması için iki ayrı yaklaşım sunar: ZK-Rollup veya Validium veri erişilebilirliği. StarkEx uygulamaları, öz-denetim, yedeklilik ve güven ilkesini sağlamak için kullanıcı verilerinin sürekli erişilebilir olmasını sağlamalıdır. Veri erişilebilirliği, kullanıcıların kasalarında depolanan durumun StarkEx tarafından sürdürülen durumla tam senkronize olduğunu ve tam bakiye ağacının sürekli olarak erişilebilir olduğunu garanti eder, böylece StarkEx faaliyetlerini durdurursa kullanıcılar nakitlerinin ne kadarını kontrol ettiklerini doğrulayabilirler.
StarkEx, ZK-Rollup ve Validium dahil olmak üzere aşağıdaki veri erişilebilirlik modlarını destekler. StarkEx Perpetual ve StarkEx Spot bu modları destekler. Varlık sahiplerinin her varlık için kasa aralığını seçmelerine olanak tanıyan Volition modu, hem ZK-Rollup hem de Validium kasalarının kullanımına izin verir. Ayrıca veri depolamaya da olanak tanır. Ancak, sadece StarkEx Spot tarafından desteklendiği için önceki seçeneğe göre daha az popülerdir.
Sıfır bilgi toplamaları veya ZK toplamaları, her işlemin meşruiyetini doğrulamak için "sıfır bilgi kanıtları" olarak adlandırılan gelişmiş kriptografi ve matematik kullanır. ZK rollup'ları, ademi merkeziyetçilik ve güvenlik savunucuları arasında tercih edilen Ethereum ölçeklendirme çözümüdür. StarkEx ve zkSync, sıfır bilgi toplamaları kullanan Katman 2 çözümlerini örneklemektedir. StarkEx ZK-Rollup'ta Cairo programı, L2 bakiyeleri Merkle Tree'nin yeniden yapılandırılması için gerekli verilerin zincir üzerinde çağrı verisi olarak dağıtılmasını garanti eder.
ZK-rollup gerçekleşirken, operatör durum kökü için bir geçerlilik kanıtı oluşturur (SNARK veya STARK). Bu, Ethereum'daki rollup akıllı sözleşmesine alınan durum kökünün geçerli bir işlem kümesinden geldiğini gösterir. Bu, operatörün geçersiz bir durum kökü iletimini imkansız hale getirir. ZK-rollup'lar iki tür geçerlilik kanıtı kullanır: SNARK ve STARK. ZK Sync, Scroll ve Polygon ZkEVM SNARK'ları kullanırken, StarkNet ve StarkEx STARK'ları kullanır.
ZK-Rollup güven gerektirmeden çalışır. Kaçış durumu sırasında kullanıcı fonlarını geri almak için gerekli tüm veriler blokzincirinde erişilebilir ve şeffaftır. Bu avantaja rağmen, bu modun dezavantajı, bir parti içindeki her kasanın değiştirilmesinin bir gaz ücretine neden olmasıdır. Birçok kasa durumunun değiştiği partilerde, bir durum güncelleme olayının maliyeti genellikle veri erişilebilirliği yerine kanıt doğrulamasıyla ilgilidir.
Alternatif veri kullanılabilirlik modu Validium'dur. Bu veri modunda hesaplamanın doğru bir şekilde gerçekleştirildiğini doğrulayan bir kriptografik kanıt bulunmaktadır. Validium kasalarının kullanımında, kullanıcı bakiyeleri zincirde açıklanmaz. Bunun yerine, Data Availability Committee (DAC) üyeleri gibi birkaç saygın ve güvenilir kuruluşa gönderilirler. İşlem gruplama işlemi sonrası tüm istemci hesaplarının güncellenmiş bakiyelerini yansıtan bir durum güncellemesi, komite üyelerinin bir kotasını durumu onaylaması durumunda zincirde gerçek ve kabul edilir olarak kabul edilir. Komite üyeleri, tüm güncellenmiş kasa bakiyelerini bildiklerini ve kullanılabilirlik doğrulayıcılarının yeni durumu zorunlu kıldığını resmen onaylarlar.
ZK-rollup'ların aksine, gaz ücretlerine neden olan on-chain veri ödemesi gereksizdir. On-chain durumun güncellenmesi sırasında, çoğu gaz kanıt doğrulamasında harcanır. Gizlilik, kullanıcı bakiye bilgilerinin on-chain yerine güvenilir kuruluşların bir komitesi tarafından off-chain olarak tutulmasını gerektirir. Bu seçeneğin dezavantajı, bir DAC'ın kullanılmasının komite üyelerine olan güveni gerektirmesidir.
Bir DAC, bireylerin veya kuruluşların bir kolektifi oluşturur. DAC üyeleri, StarkEx destekli uygulamalar için veri depolama alanında gereksizlik ve güvenilmezlik sağlamayı taahhüt eder ve sürekli veri erişilebilirliğini garanti eder. DAC üyeleri, operatörler adına her durum güncellemesini almayı ve saklamayı kabul eden otomatik üçüncü taraflardır. Bir DAC üyesi, bir operatör (veya StarkWare) çevrimdışı hale gelirse, durum güncellemelerini zincir üzerinde yayınlama taahhüdünde bulunur, böylece kullanıcılar fonlarına sürekli erişebilir ve bu, öz saklama için önemlidir. DAC, Consensys, Chainstack, StarkWare ve birçok saygın kuruluşu içerir.
StarkEx, bir proje tarafından maliyet etkin dış zincir hesaplama elde etmek için kullanılabilecek kritik araçların bir koleksiyonudur. L2 çözümü ölçeklenebilirlik, düşük gaz fiyatları ve güvenlik sunar, ancak farklı işletme gereksinimlerine ve etkileşim çerçevelerine sahiptir.