Akıllı sözleşme nedir
Not: Bu belge orijinal İngilizce versiyonun otomatik bir çevirisidir.
Akıllı sözleşme nedir
Akıllı sözleşme, bir blok zincirinde saklanan ve yürütülen bir programdır. Konuşlandırıldıktan sonra, koşulları karşılandığında otomatik olarak çalışır — her adımı yürütmek için bir insan aracıya ihtiyaç duymadan anlaşmaları uygular, varlıkları yönetir veya operasyonları koordine eder. Adına rağmen, akıllı sözleşme ne yapay zekâ anlamında "akıllı"dır ne de hukuki anlamda bir "sözleşme"dir. Deterministik koddur: aynı girdiler verildiğinde, geliştiricisinin yazdığı mantığı birebir izleyerek her zaman aynı çıktıları üretir.
Akıllı sözleşmeyi bir otomat gibi düşünün. Bozuk para atarsınız, ürünü seçersiniz ve makine onu teslim eder — kasiyer yok, pazarlık yok, takdir yetkisi yok. Makine programlanmış kurallarını birebir izler. Akıllı sözleşme de blok zincirinde aynısını yapar: varlık veya mantık tutar, girdiler (işlemler) alır ve önceden tanımlanmış operasyonları otomatik ve şeffaf biçimde yürütür.
Kısaca: akıllı sözleşme, blok zincirinde kendi kendini yürüten koddur — kuralları aracısız uygular ve kripto AI projelerinde ekonomik ve yönetişim mantığını üstlenirken, AI hesaplaması tipik olarak zincir dışında gerçekleşir.
Bir akıllı sözleşme nasıl çalışır
Yazma ve konuşlandırma
Bir akıllı sözleşme, belirli bir blok zinciri için tasarlanmış bir programlama diliyle yazılmış kaynak kod olarak başlar. En yaygın dil, Ethereum'da ve tüm EVM uyumlu zincirlerde (BNB Smart Chain, Arbitrum, Base, Polygon, Avalanche C-Chain) kullanılan Solidity'dir. Solana, Rust ve kendi yerel çerçevesini kullanır. Diğer zincirlerin kendi dilleri vardır: Move (Sui, Aptos), Cairo (Starknet) ve diğerleri.
Geliştirici mantığı yazar — sözleşmenin ne yaptığını, hangi verileri sakladığını, hangi koşulların hangi eylemleri tetiklediğini — ardından kaynak kodu bytecode'a (blok zincirinin sanal makinesinin yürütebileceği düşük seviyeli talimatlar) derler. Bu bytecode, bir konuşlandırma işlemiyle blok zincirine gönderilir. Onaylandıktan sonra sözleşme, zincirde belirli bir adreste var olur ve herkesin etkileşimine açıktır.
Yürütme
Bir kullanıcı veya başka bir sözleşme, bir akıllı sözleşme fonksiyonunu çağırdığında şunlar gerçekleşir:
- Çağıran; sözleşme adresini, çağrılacak fonksiyonu ve girdi parametrelerini belirten bir işlem gönderir.
- Ağdaki her doğrulayıcı düğüm, aynı girdileri aynı bytecode üzerinden işleyerek fonksiyonu bağımsız olarak yürütür.
- Sonuç — durum değişiklikleri, token transferleri, yayımlanan olaylar veya yazılan veriler — bir bloğa kaydedilir ve kalıcı defterin parçası hâline gelir.
- Çağıran, hesaplama için bir gas ücreti öder. Daha karmaşık operasyonlar daha fazla gas'a mal olur.
Bu yürütme modelinin önemli özellikleri vardır: deterministiktir (her düğüm aynı sonucu alır), şeffaftır (herkes bytecode'u ve işlem geçmişini inceleyebilir) ve izinsiz erişime açıktır (herkes herkese açık bir fonksiyonu çağırabilir).
Gas ve maliyet
Bir akıllı sözleşmenin içindeki her hesaplama adımı gas'a mal olur — gereken hesaplama çabasını ölçen bir birim. Gas ücretleri iki amaca hizmet eder: kodu yürüten doğrulayıcıları ödüllendirir ve kötüye kullanımı önler (ücret olmasa saldırganlar, ağı yavaşlatmak için sonsuz karmaşıklıkta hesaplamalar gönderebilirdi).
Gas maliyetleri ağa göre değişir. Ethereum ana ağında karmaşık operasyonlar, yüksek talep dönemlerinde onlarca veya yüzlerce dolara mal olabilir. Arbitrum veya Base gibi L2 ağlarında aynı operasyonlar sentlere mal olabilir. Solana'da işlem ücretleri tipik olarak bir sentin kesirleridir. Bu maliyet farkları, kripto AI projelerinin zincir üstü bileşenlerini nerede konuşlandıracaklarını doğrudan etkiler.
Değişmezlik ve yükseltilebilirlik
Konuşlandırıldıktan sonra, bir akıllı sözleşmenin bytecode'u blok zincirinde kalıcı olarak saklanır. Düzenlenemez, silinemez veya üzerine yazılamaz. Bu değişmezlik bir güvenlik özelliğidir — kullanıcılar tam olarak hangi kodun yürütüleceğini doğrulayabilir ve değişmeyeceğine güvenebilir — ama aynı zamanda blok zincirine konuşlandırılan hataların geleneksel yazılım gibi yamalanamayacağı anlamına gelir.
Bunu ele almak için geliştiriciler, proxy sözleşmeleri kullanan yükseltilebilir sözleşme desenleri oluşturdu. Bu tasarımda kullanıcılar, çağrıları bir uygulama sözleşmesine devreden bir proxy sözleşmesiyle etkileşir. Ekip, yeni bir uygulama konuşlandırıp proxy'yi ona yönlendirebilir — sözleşmeyi fiilen "yükseltir". Bu, hata düzeltme sorununu çözer ama bir güven ödünleşimi getirir: proxy'nin yükseltme mekanizmasını kontrol eden kişi, sözleşmenin davranışını değiştirebilir. Yükseltilebilir sözleşmeler doğası gereği kötü değildir; ancak güveni "kod kalıcıdır"dan "yükseltme erişimine sahip ekip sorumlu davranacaktır"a kaydırır.
Akıllı sözleşmeler neleri yapabilir ve neleri yapamaz
Yapabilir:
- Token ve diğer dijital varlıkları tutmak ve aktarmak
- Koşullu mantığı uygulamak (X ise Y)
- Aynı zincirdeki diğer akıllı sözleşmelerle etkileşmek
- Harici sistemlerin izleyebileceği olaylar yayımlamak
- Erişim kontrolünü yönetmek (hangi fonksiyonu kimin çağırabileceği)
Yapamaz:
- Blok zincirinin dışından veri erişimi (harici veri akışları için oracle'lara ihtiyaç duyarlar)
- AI çıkarımı gibi hesaplama yoğun operasyonlar gerçekleştirmek (gas maliyetleri bunu uygulanamaz kılar)
- Bir zamanlamaya göre özerk biçimde yürütülmek (çalışmak için harici tetikleyicilere — işlemlere — ihtiyaç duyarlar)
- Büyük dosyalar saklamak (zincir üstü depolama pahalıdır; projeler toplu veriler için IPFS veya Arweave kullanır)
- Öznel yargılarda bulunmak (akıl yürütme değil, deterministik mantık yürütürler)
Bu son sınırlama kripto AI için özellikle önemlidir. Bir akıllı sözleşme, AI anlamında "düşünemez" veya "karar veremez". Yönlendirebilir, mutabık kılabilir ve kuralları uygulayabilir; ancak asıl AI hesaplaması zincir dışında gerçekleşmeli ve sonuçları sözleşmeye geri beslemelidir.
Kripto AI projeleri için neden önemli
Akıllı sözleşmeler, çoğu kripto AI projesinde blok zinciri altyapısı ile AI işlevselliği arasındaki bağ dokusudur. Rollerini — ve sınırlarını — anlamak, proje kartlarını doğru okumak için gereklidir.
Ekonomik katman
Birçok kripto AI mimarisinde akıllı sözleşmeler ekonomik tarafı üstlenir: hesaplama için ödemeler, veri katkıcılarına ödül dağıtımı, doğrulayıcılar için staking ve çıkarım hizmetleri için ücret tahsilatı. AI modeli zincir dışında çalışır; ancak akıllı sözleşme, muhasebeyi yöneten merkezî bir otorite olmadan herkesin kurallara göre ödeme almasını sağlar.
Yönetişim
Akıllı sözleşmeler yönetişim mekanizmaları uygulayabilir: öneri gönderimi, oylama, yeter sayı gereksinimleri ve onaylanan değişikliklerin yürütülmesi. AI projeleri için bu; model parametreleri, veri kümesi seçimi veya kaynak tahsisi üzerinde — kurucu ekip tarafından özel olarak kararlaştırılmak yerine zincir üstünde şeffaf biçimde yürütülen — yönetişim anlamına gelebilir.
Doğrulama kontrol noktaları
Bazı projeler doğrulama verilerini saklamak için akıllı sözleşmeler kullanır: model ağırlıklarının hash'leri, çıkarım sonucu kanıtları veya belirli hesaplamaların yapıldığına dair tasdikler. Akıllı sözleşme, AI çıktısını kendisi doğrulamasa da (hesaplama kapasitesinden yoksundur), sonradan denetlenebilecek değişmez bir kayıt sağlar.
Erişim kontrolü ve izinler
Akıllı sözleşmeler, kimin neye erişebileceğini yönetir. Blok zinciri üzerine inşa edilmiş bir AI çıkarım API'si, erişime izin vermeden önce çağıranın gerekli tokena sahip olup olmadığını, yeterli kredisi olup olmadığını veya diğer koşulları karşılayıp karşılamadığını kontrol etmek için bir akıllı sözleşme kullanabilir. Bu, merkezî kimlik doğrulama sistemlerini zincir üstü, şeffaf erişim kontrolüyle ikame eder.
"AI anlamında akıllı değil" ayrımı
Kalıcı bir karışıklık kaynağı: "akıllı sözleşmelerin" yapay zekâyla hiçbir ilgisi yoktur. Buradaki "akıllı" kelimesi, kendi kendini yürüten anlamına gelir — sözleşme mantığını otomatik olarak uygular — akıl yürüttüğü, öğrendiği veya uyum sağladığı anlamına gelmez. Bir AI sistemi verilerden öğrenir ve tahminler yapar. Bir akıllı sözleşme sabit kuralları izler ve deterministik çıktılar üretir. Kripto AI projeleri tipik olarak ikisini birleştirir: akıllı sözleşme zincir üstü mantığı (ödemeler, yönetişim, erişim kontrolü) üstlenirken, AI modeli zincir dışı zekâyı (çıkarım, tahmin, analiz) üstlenir.
DecAIHub proje kartlarında nerede görünür
Akıllı sözleşmeler, proje kartlarında birkaç alan ve kanıt göstergesi aracılığıyla yüzeye çıkar:
- Main chain — projenin akıllı sözleşmelerinin hangi blok zincirinde konuşlandırıldığını söyler. Ethereum'daki bir proje Solidity tabanlı sözleşmeler kullanır; Solana'daki bir proje Rust tabanlı programlar kullanır. Zincir seçimi; sözleşme yeteneklerini, gas maliyetlerini ve diğer protokollerle birleştirilebilirliği etkiler.
- Token standard —
ERC-20,BEP-20veSPLgibi değerler, projenin tokenının nasıl davrandığını tanımlayan akıllı sözleşme standartlarını ifade eder. Bir ERC-20 tokenı, belirli bir arayüzü uygulayan Ethereum üzerinde bir akıllı sözleşmedir. - Type ve Category — akıllı sözleşmelere temel bir zincir üstü bileşen olarak dayanan projeler tipik olarak (zincire bağlı olarak)
Type: EVMveyanon-EVMdeğerine ve rollerini yansıtan bir Category değerine (örneğinDeFi,AI/Agents | DeFi) sahiptir. Bir DeFi protokolü, özünde likiditeyi, alım-satımı veya borç vermeyi yöneten bir akıllı sözleşme koleksiyonudur. - Kanıtlar (Tier-1) — doğrulanmış akıllı sözleşme adresleri, denetim raporları ve blok tarayıcılarındaki konuşlandırılmış sözleşme kodu, en güçlü Tier-1 kanıt biçimleri arasındadır. Bir proje zincir üstü işlevsellik iddia ediyorsa, sözleşme adresleri doğrulanabilir olmalıdır.
- Token model —
fee-mechanism,governance,stakingveutilitygibi değerler, tokenın projenin akıllı sözleşmeleriyle nasıl etkileştiğini tanımlar. Bir yönetişim tokenı, tipik olarak akıllı sözleşme tabanlı bir yönetişim sisteminde oy hakları verir.
Bir proje kartını okurken, projenin zincir üstü iddialarının fiilen konuşlandırılmış sözleşmelerle desteklenip desteklenmediğini kontrol edin. Akıllı sözleşme tabanlı yönetişim iddia eden ama doğrulanabilir sözleşme adresleri olmayan bir proje, zincir üstü varlığının özü hakkında sorular doğurur.
Akıllı sözleşme tek başına neyi kanıtlamaz
Konuşlandırılmış akıllı sözleşmelerin varlığı, kodun bir blok zincirinde yaşadığını söyler ama şunları kanıtlamaz:
- AI yeteneği — bir akıllı sözleşme AI modeli çalıştıramaz. İyi tasarlanmış sözleşmelerin varlığı, zincir üstü ekonomik veya yönetişim mantığını kanıtlar, AI gerçekliğini değil. AI reality, ayrı bir kanıt kümesi (AI_0'dan AI_4'e kadar bayraklar) aracılığıyla değerlendirilir.
- Güvenlik — akıllı sözleşme kodu hatalar, zafiyetler veya arka kapılar içerebilir. Konuşlandırma, güvenlikle eşdeğer değildir. Denetlenmiş bir sözleşme, denetlenmemişe göre daha güvenilirdir; ancak denetlenmiş sözleşmeler bile istismar edilmiştir. Projenin sözleşmelerinin saygın firmalarca denetlenip denetlenmediğini kontrol edin.
- Merkeziyetsizlik — merkeziyetsiz bir blok zincirinde konuşlandırılan bir akıllı sözleşme, ağın konsensüs güvenliğini devralır; ancak sözleşmenin kendisi merkezî kontrol mekanizmalarına sahip olabilir: sözleşmeyi duraklatabilen veya yükseltebilen admin anahtarları, yalnızca sahibin çağırabildiği fonksiyonlar veya merkezî oracle bağımlılıkları.
- Değişmezlik — proje yükseltilebilir proxy desenleri kullanıyorsa, sözleşmenin davranışı, yükseltme anahtarlarını elinde tutan kişi tarafından değiştirilebilir. Proxy'ler söz konusu olduğunda "zincir üstü", otomatik olarak "kalıcı" anlamına gelmez.
- Kullanıcı faydası — bir akıllı sözleşme teknik olarak kusursuz ve tamamen yararsız olabilir. Kod kalitesi ve ürün değeri ayrı sorulardır.
Karıştırmayın
- AI modeli — bir AI modeli verilerden öğrenir, tahminler yapar ve çıktılar üretir. Bir akıllı sözleşme, deterministik mantık yürütür. Kripto AI projelerinde temelden farklı roller üstlenirler. AI modeli zekâdır; akıllı sözleşme uygulama mekanizmasıdır.
- dApp (merkeziyetsiz uygulama) — dApp, bir blok zincirindeki akıllı sözleşmelerle etkileşen, kullanıcıya dönük bir uygulamadır. Akıllı sözleşme arka uç mantığıdır; dApp ise çoğu zaman bir ön yüz, zincir dışı hizmetler ve akıllı sözleşme etkileşimleri içeren eksiksiz üründür.
- API — geleneksel bir API, merkezî bir sunucuda çalışır ve operatörü tarafından değiştirilebilir, kapatılabilir veya sansürlenebilir. Bir akıllı sözleşme, blok zincirindeki herkese açıktır, (yükseltilebilir olmadıkça) değişmez kurallara göre çalışır ve tek bir tarafça kapatılamaz. Bazı kripto projeleri, geliştirici kolaylığı için akıllı sözleşmelerini standart API arayüzleri üzerinden sunar.
- Hukuki sözleşme — hukuki bir sözleşme, mahkemeler ve hukuk kurumları tarafından uygulanabilir. Bir akıllı sözleşme, kod ve blok zinciri konsensüsü tarafından uygulanır. Farklı uygulama mekanizmalarına sahip farklı sistemlerdir. Bir akıllı sözleşme, yargı bölgesinin hukuku onu açıkça böyle tanımadıkça hukuki bir anlaşma teşkil etmez.
- Script — Bitcoin, temel koşullara (multisig gereksinimleri gibi) izin veren ama Ethereum tarzı akıllı sözleşmelerin zengin programlanabilirliğini sunmayan sınırlı bir betik dili kullanır. Kripto AI bağlamında "akıllı sözleşme" dendiğinde, neredeyse her zaman tam programlanabilirliğe sahip Ethereum tarzı sözleşmeler kastedilir.
Sık sorulan sorular
Akıllı sözleşmeler hack'lenebilir mi?
Evet. Akıllı sözleşmeler yazılımdır ve yazılımda hata olabilir. Yaygın zafiyet kategorileri arasında reentrancy saldırıları, tamsayı taşması, erişim kontrolü hataları ve oracle manipülasyonu bulunur. Konuşlandırıldıktan sonra hatalı kod kalıcı olarak zincir üstündedir ve istismar edilebilir. Güvenlik denetimlerinin önemli olmasının ve DecAIHub'ın denetim durumunu proje değerlendirmesinin bir parçası olarak izlemesinin nedeni budur. Akıllı sözleşmeleri güvenilir kılan değişmezlik, aynı zamanda konuşlandırılan hataların, proje yükseltilebilir desenler kullanmadıkça yamalanamayacağı anlamına gelir.
Akıllı sözleşmeler gerçekten değişmez midir?
Standart akıllı sözleşmeler konuşlandırıldıktan sonra değişmezdir — sözleşme adresindeki bytecode değiştirilemez. Ancak birçok modern proje, uygulama mantığının değiştirilmesine olanak tanıyan yükseltilebilir proxy desenleri kullanır. Bu durumlarda proxy adresi aynı kalır ama alttaki davranış değişebilir. Bir sözleşmenin yükseltilebilir olup olmadığı ve yükseltme mekanizmasını kimin kontrol ettiği, bir projenin merkeziyetsizliğini ve güven modelini değerlendirmede önemli bir faktördür.
Akıllı sözleşmeler her blok zincirinde gas'a ihtiyaç duyar mı?
Çoğu blok zinciri, terminoloji ve fiyatlandırma değişse de bir tür yürütme ücreti alır. Ethereum buna "gas" der. Solana "hesaplama birimleri" ve "kira" alır. Kavram evrenseldir: doğrulayıcılar kod yürütme karşılığında ödüllendirilmelidir ve ücretler spam'i önler. Maliyet düzeyi muazzam biçimde değişir — yoğun talep dönemlerinde Ethereum L1'de işlem başına dolarlardan, L2 ağlarında ve Solana'da bir sentin kesirlerine kadar.
Bir AI modeli akıllı sözleşmede saklanabilir mi?
Modern bir AI modelinin tüm ağırlıklarını bir akıllı sözleşmenin içinde saklamak pratik değildir. Büyük bir dil modeli, gigabaytlarca yer kaplayan milyarlarca parametreye sahip olabilir. Ethereum'da zincir üstü depolama maliyeti 32 baytlık yuva başına yaklaşık 20.000 gas'tır; bu, model ağırlıklarını zincir üstünde saklamayı aşırı derecede pahalı kılar. Pratikte projeler, doğrulama için model hash'lerini veya işaretçileri (IPFS içerik tanımlayıcıları gibi) zincir üstünde saklarken, asıl model dosyaları zincir dışında yaşar.
Kripto AI projelerinde akıllı sözleşmelerin rolü nedir?
Çoğu kripto AI mimarisinde akıllı sözleşmeler, koordinasyon ve ekonomik katmanı üstlenir: hesaplama pazar yeri ödemelerini yönetmek, veri katkıcılarına ödül dağıtmak, staking ve slashing kurallarını uygulamak, AI hizmetlerine erişimi kontrol etmek ve protokol parametrelerini yönetmek. AI hesaplamasının kendisi zincir dışında gerçekleşir; akıllı sözleşmeler ise güven gereksinimi asgariye indirilmiş mutabakat ve doğrulama katmanı olarak hizmet eder.
Bir projenin akıllı sözleşmelerini nasıl doğrulayabilirim?
Sözleşme adreslerini bir blok tarayıcısında (Ethereum için Etherscan, Solana için Solscan veya diğer zincirler için ilgili tarayıcı gibi) arayın. Doğrulanmış sözleşmeler, kaynak kodlarını doğrudan tarayıcıda gösterir; bu, herkesin gerçek mantığı okumasına olanak tanır. Kodun projenin dokümantasyonuyla eşleşip eşleşmediğini, sözleşmenin denetlenip denetlenmediğini ve denetim raporunun kamuya açık olup olmadığını kontrol edin. DecAIHub proje kartlarında, konuşlandırılmış sözleşme adresleri ve denetim raporları Tier-1 kanıt olarak izlenir.
Dış kaynaklar
- Ethereum.org — Introduction to Smart Contracts — akıllı sözleşme kavramlarını ve geliştirmeyi açıklayan resmî Ethereum dokümantasyonu.
- Smart contract (Wikipedia) — kavramdan uygulamaya akıllı sözleşmelerin tarihsel ve teknik özeti.
- Solana Documentation — Programs — Solana blok zincirinde akıllı sözleşmelerin ("program" olarak adlandırılır) nasıl çalıştığı.
- OpenZeppelin — Smart Contract Security — güvenli akıllı sözleşmeler yazmak için yaygın kullanılan kütüphane ve en iyi uygulamalar.
No comments to display
No comments to display