Starknet, Ethereum'u ölçeklendiren bir Layer 2 ağıdır. İşlemleri, doğruluk kanıtları adı verilen gelişmiş matematiksel yöntemlerle zincir dışında işler; bu da ücretlerin önemli ölçüde düşmesine ve işlem kapasitesinin artmasına yol açar. İşlemlerini Ethereum'da sonlandırdığı için Starknet, ana ağın güvenliğini ve merkezsizliğini miras alır. Geliştiriciler ve kullanıcılar için bu, güvenlikten ödün vermeden daha hızlı ve daha ucuz dApp'ler anlamına gelir.
Aynı işlemlerin her birini zaten yoğun olan Ethereum ağında yürütmek yerine, Starknet daha akıllıca bir yol izler. Binlerce işlemi zincir dışında bir araya getirir ve bunların tamamının doğru şekilde yürütüldüğünü doğrulayan tek, küçük bir kriptografik kanıt üretir.
Bu kanıt daha sonra Ethereum'a gönderilir ve orada hızlı ve düşük maliyetle doğrulanır. Bu yöntem, ana zincirdeki hesaplama yükünü dramatik şekilde azaltır; maliyetleri düşürür ve ağ tıkanıklığını hafifletir.
STARKs (Scalable Transparent Arguments of Knowledge), bir doğrulayıcının hesaplamaların doğru yapıldığından emin olmasını sağlayan kanıtlardır; bu, hesaplamaları tekrar çalıştırmayı gerektirmez. Bazı sıfır-bilgi tekniklerinden farklı olarak girdileri gizlemekten ziyade bütünlüğü ispatlamaya odaklanırlar. Temel avantajlar arasında güven gerektiren kurulumun olmaması, hesaplama büyüdükçe güçlü ölçeklenme ve gelecekteki kriptografik tehditlere karşı dirençli tasarım tercihleri bulunur.
Starknet'in süreci, kullanıcı niyetinden zincirdeki kayda kadar işlemleri taşımak için birlikte çalışan üç ana bileşeni içerir.
Sequencer, gelen işlemleri kabul eder, geçerliliğini belirler (örneğin, bakiye yetersizliği veya geçersiz imzalar nedeniyle başarısız olan işlemleri reddetmek) ve bunları partiler halinde birleştirir. Bu işlem zincir dışında gerçekleştiği için sequencer, Ethereum'da her şeyi işlemeye kıyasla saniyede daha fazla işlemi işleyebilir.
Prover, bir partinin ayrıntılı yürütme adımlarını ve ortaya çıkan durum değişikliklerini kaydeder, ardından bu yürütme izlemini veriyi örnekleyip dönüştürerek bir STARK kanıtına çevirir. Ortaya çıkan kanıt, işlemlerin iddia edildiği gibi yürütüldüğüne dair kompakt bir matematiksel sertifikadır.
Bir kanıt hazır olduğunda, o kanıt ve nihai durumun bir özeti Ethereum'a gönderilir. Bir doğrulama sözleşmesi kanıtın geçerliliğini kontrol eder ve bir çekirdek sözleşme Starknet'in zincir üstü durum temsilini günceller. Kanıt doğruluğu garanti ettiğinden, Ethereum her işlemi tekrar çalıştırmak zorunda kalmaz; bu da gas ve zaman tasarrufu sağlar.
Starknet, STARK kanıtlarıyla doğrulanabilir programlar için optimize edilmiş Cairo adlı amaça yönelik bir dil kullanır. Cairo, geliştiricilerin derin kriptografi bilgisi gerektirmeden ölçeklenebilir akıllı sözleşmeler ve uygulamalar yazmasını sağlar. Ekosistem ayrıca kullanıcı arayüzleri ve oyun mantığını doğrudan Starknet üzerinde oluşturmayı kolaylaştıran kütüphaneler ve çerçeveler içerir.
Starknet, yerel hesap soyutlamasını destekler; bu sayede Web3 uygulamaları modern Web2 ürünleri gibi hissettirir. Özellikler arasında seed phrase'leri gerektirmeyen passkey tarzı oturum açma, kullanıcıların daha az sürtüşme ile birden fazla işlemi onaylamasını sağlayan oturum anahtarları ve üçüncü tarafların veya ERC‑20 ödemelerinin işlem maliyetlerini karşılamasına izin veren paymaster modelleri bulunur.
Starknet bir Validity Rollup'tır (genellikle ZK-Rollup olarak adlandırılır). İşlemler Ethereum'da kesinleşmeden önce geçerli oldukları kanıtlanır. Bu, çekimlerin ve etkileşimlerin uzun bekleme süreleri olmadan hızlı olacağı anlamına gelir.
Optimistic Rollup'lar varsayılan olarak işlemlerin doğru olduğunu kabul eder ve herhangi birinin bir işlemi itiraz etmek için "fraud proof" sunabileceği bir "itiraz dönemine" izin verir.
Aradaki denge basittir: Validity kanıtları daha güçlü, anlık kriptografik garantiler sunarken; optimistic rollup'lar genellikle mevcut EVM araçlarıyla entegrasyonu daha kolaydır.
Starknet'in temel tasarım tercihlerinden biri, Ethereum Virtual Machine (EVM) ile yerel uyumlu olmamasıdır. Bu, Solidity ile inşa edilmiş projelerin basitçe kopyalanıp yapıştırılamayacağı anlamına gelir. Bu projelerin Cairo'da yeniden yazılması veya iki ekosistem arasında köprü kurmak için özel bir araç kullanılması gerekir.
Cairo önemli performans avantajları sunsa da, bu EVM geliştirme geçmişi olan ekipler için bir öğrenme eğrisi doğurur.
Ağın yerel tokenı STRK, protokol işlevlerinde çeşitli roller üstlenir. Token sahipleri yönetişim kararlarına katılabilir, STRK ağ üzerinde işlem işleme ücretleri ödemek için kullanılabilir ve token sahiplerinin doğrulayıcı çalıştırması veya ödül kazanmak için tokenlarını doğrulayıcılara devretmesi şeklinde staking modellerini destekler.
Starknet, güçlü zincir üstü güvenlik garantilerini korurken yüksek verim ve daha düşük işlem başına maliyet gereken projeler için uygundur — örnekler arasında blok zinciri oyunları, büyük ölçekli DeFi sistemleri ve altyapı hizmetleri sayılabilir. Starknet'i seçen ekipler, STARK tabanlı kanıtların avantajlarını Cairo'ya geçiş ve gerekli olabilecek taşıma çalışmalarının çabasıyla tartmalıdır.
STARK kanıtlarını ve özel olarak tasarlanmış teknoloji yığınını benimseyerek Starknet, Ethereum'u ölçeklendirmenin benzersiz ve güçlü bir yolunu sunar. Geliştiriciler için tercih, olağanüstü performans ve kullanıcı deneyimi avantajlarını geleneksel EVM ortamının dışına çıkmanın gerektirdiği çaba ile karşılaştırmaktır.