Starknet (STRK)

Starknet, Ethereum ağı için geliştirilmiş, izne tabi olmayan, merkeziyetsiz bir Geçerlilik Kanıtı (Validity-Rollup) çözümüdür. Sıklıkla ZK-Rollup olarak da anılan bu teknoloji, merkeziyetsiz uygulamaların (dApp) Ethereum’un güvenliğinden ödün vermeden çok daha düşük işlem ücretleri ve yüksek işlem kapasitesiyle çalışmasını sağlamayı hedefler. StarkWare Industries tarafından geliştirilen Starknet, temelinde STARK (Scalable Transparent Argument of Knowledge) adı verilen kriptografik kanıt sistemini kullanarak Ethereum’un ölçeklenebilirlik sorununa çözüm getirmeyi amaçlamaktadır.

Tarihçe

Starknet’in temelleri, ZK-proof (Sıfır Bilgi Kanıtı) teknolojisinin önde gelen araştırmacılarından Eli Ben-Sasson ve Uri Kolodny’nin kurucusu olduğu StarkWare Industries tarafından 2018 yılında atıldı. Şirket, başlangıçta StarkEx adlı, uygulamaya özel ölçeklendirme motorunu geliştirdi. dYdX, Sorare ve Immutable X gibi büyük projeler, StarkEx’i kullanarak Ethereum üzerinde yüksek performanslı operasyonlar yürüttü ve bu teknoloji, Starknet’in potansiyelini kanıtlayan bir öncü oldu.

Bu deneyimlerin ardından StarkWare, daha genel amaçlı ve merkeziyetsiz bir platform olan Starknet’i geliştirmeye odaklandı. Starknet Alpha, Kasım 2021’de Ethereum ana ağında faaliyete geçti. Bu süreçte ağ, sürekli olarak güncellenerek performans ve özellik setini geliştirdi. Ekosistemin ademi merkeziyetçiliğe geçişini sağlamak amacıyla 2022’de Starknet Vakfı (Starknet Foundation) kuruldu. Şubat 2024’te ise ağın yerel token’ı olan STRK, “Provisions” adı verilen bir airdrop programıyla erken dönem kullanıcılarına, geliştiricilere ve ekosistemdeki diğer paydaşlara dağıtılarak projenin yönetişim ve merkeziyetsizlik yolculuğunda önemli bir adım atıldı.

Teknoloji

Starknet’in teknolojik altyapısı, onu diğer Katman-2 çözümlerinden ayıran birkaç temel bileşene dayanır.

STARK (Scalable Transparent Argument of Knowledge) Teknolojisi

Starknet’in kalbinde STARK kanıtları yer alır. Bu kriptografik sistem, ağın en önemli özelliklerini belirler:

• Ölçeklenebilirlik: Binlerce işlem, Starknet üzerinde zincir dışında (off-chain) yürütülür. Bu işlemlerin tamamının geçerliliğini kanıtlayan tek bir küçük boyutlu STARK kanıtı oluşturulur ve bu kanıt Ethereum ana ağına (Katman-1) gönderilir. Bu sayede, Ethereum’a tek bir işlem maliyetiyle binlerce işlemin doğruluğu kanıtlanmış olur.
• Şeffaflık ve Güvenlik: Bazı diğer ZK-Rollup teknolojilerinin (SNARK’lar gibi) aksine, STARK’lar bir “güvenilir kurulum” (trusted setup) gerektirmez. Bu, sistemin temelinde gizli ve potansiyel olarak tehlikeye atılabilecek bir parametre olmadığı anlamına gelir. Bu özellik, STARK’ları daha şeffaf ve teorik olarak daha güvenli kılar. Ayrıca, kuantum bilgisayarlara karşı dayanıklı olduğu kabul edilen kriptografik varsayımlara dayanır.

Cairo Programlama Dili

Starknet’te akıllı sözleşmeler, Solidity yerine Cairo adı verilen özel bir programlama diliyle yazılır. Cairo, STARK kanıtları oluşturmak için özel olarak tasarlanmış, Turing-tam bir dildir. Bu, geliştiricilerin karmaşık ve ispatlanabilir programlar oluşturmasına olanak tanır. Ethereum Sanal Makinesi (EVM) ile doğrudan uyumlu olmaması, Solidity geliştiricileri için bir öğrenme eğrisi oluştursa da, Cairo’nun performansı ve STARK uyumluluğu, Starknet’in verimliliği için kritik öneme sahiptir. Ekosistemde, Kakarot ZK-EVM gibi projelerle EVM uyumluluğu getirme çalışmaları da sürmektedir.

Hesap Soyutlama (Account Abstraction)

Starknet, başlangıcından itibaren yerel olarak Hesap Soyutlama özelliğini destekler. Bu, her kullanıcının hesabının bir akıllı sözleşme olduğu anlamına gelir. Bu sayede kullanıcılar, çoklu imza (multi-sig) cüzdanlar, sosyal kurtarma mekanizmaları veya işlem ücretlerini STRK dışındaki token’larla ödeme gibi gelişmiş özelliklerden kolayca faydalanabilir. Bu, kullanıcı deneyimini (UX) önemli ölçüde iyileştiren bir özelliktir.

Projesi

Starknet projesinin temel amacı, Ethereum’u küresel bir hesaplama katmanı haline getirmektir. Proje, Ethereum’un merkeziyetsizlik ve güvenlik gibi temel değerlerini korurken, işlem hızı ve maliyet konusundaki sınırlarını ortadan kaldırmayı hedefler. Starknet, Ethereum’u güvenli bir “uzlaşma ve veri kullanılabilirliği katmanı” olarak kullanır. Tüm işlemlerin yürütülmesi ve kanıtlanması Starknet’te gerçekleşir, nihai durum değişikliği ise Ethereum’a kaydedilir. Bu model, Ethereum’un güvenliğinden faydalanırken, ağ üzerindeki yükü büyük ölçüde azaltır ve saniyede on binlerce işleme (TPS) varan bir kapasiteye ulaşma potansiyeli sunar.

Geleceği

Starknet’in yol haritası, ağın performansını ve merkeziyetsizliğini daha da artırmaya odaklanmıştır. Gelecekteki önemli gelişmeler şunları içermektedir:

• Paralel Yürütme (Parallel Execution): İşlemlerin aynı anda yürütülmesini sağlayarak ağın işlem kapasitesini ve hızını katlanarak artırmayı hedefleyen bir yükseltme planlanmaktadır.
• Veri Kullanılabilirliği Çözümleri: EIP-4844 (Proto-Danksharding) gibi Ethereum geliştirmeleriyle entegrasyon sayesinde işlem ücretlerinin daha da düşürülmesi hedeflenmektedir.
• Merkeziyetsizliğin Artırılması: Ağdaki sıralayıcı (sequencer) ve kanıtlayıcı (prover) rollerinin zamanla topluluğa devredilmesiyle tam bir merkeziyetsizliğe ulaşılması amaçlanmaktadır.
• STRK Token’ının Rolü: STRK token’ı, şu anki yönetişim ve gas ücreti ödeme işlevlerine ek olarak, gelecekte ağ güvenliğini sağlamak için staking mekanizmalarında da kullanılacaktır.

Kullanım Alanları

Starknet’in düşük maliyet ve yüksek performans sunması, onu birçok farklı uygulama için ideal bir platform haline getirmektedir:

• Merkeziyetsiz Finans (DeFi): Düşük işlem ücretleri, karmaşık ticaret stratejileri, borç verme protokolleri ve türev platformları için elverişli bir ortam yaratır. JediSwap, ZKLend gibi projeler bu alanda öne çıkmaktadır.
• NFT’ler ve Oyun: Yüksek işlem kapasitesi, blokzincir tabanlı oyunlar ve büyük ölçekli NFT koleksiyonları için kritik öneme sahiptir. Realms, Influence gibi oyun projeleri Starknet üzerinde geliştirilmektedir.
• Sosyal Medya ve Kimlik: Merkeziyetsiz sosyal ağlar ve dijital kimlik çözümleri, Starknet’in ölçeklenebilirliği sayesinde milyonlarca kullanıcıya hizmet verebilir.
• Kurumsal Uygulamalar: Karmaşık iş mantığı gerektiren tedarik zinciri veya finansal raporlama gibi kurumsal çözümler, Starknet’in hesaplama gücünden faydalanabilir.

Öne Çıkan Özellikler

• Devasa Ölçeklenebilirlik: STARK teknolojisi sayesinde teorik olarak sınırsız ölçeklenebilirlik potansiyeli sunar.
• Ethereum Seviyesinde Güvenlik: Bir ZK-Rollup olarak, tüm işlemlerin geçerliliği matematiksel olarak kanıtlanır ve Ethereum ana ağı tarafından güvence altına alınır.
• Gelişmiş Kriptografi: Güvenilir kurulum gerektirmeyen ve kuantum bilgisayarlara karşı dirençli olan STARK kanıtlarını kullanır.
• Yerel Hesap Soyutlama: Kullanıcı deneyimini ve cüzdan güvenliğini temelden iyileştiren esnek hesap yapıları sunar.
• Büyüyen Ekosistem: Geliştiriciler ve projeler tarafından hızla benimsenen, dinamik ve yenilikçi bir ekosisteme sahiptir.