Akıllı sözleşme
Akıllı sözleşme (smart contract), bir blok zinciri üzerinde saklanan ve belirli koşullar sağlandığında otomatik olarak çalışan bir bilgisayar programıdır. Kavram 1990’larda Nick Szabo tarafından ortaya atılmış, Ethereum ile pratik hale gelmiştir. “Akıllı” ve “sözleşme” adlarına rağmen kendiliğinden bir hukuki sözleşme anlamı taşımaz; kodun yazdığı şekilde çalışan bir programdır.
Nasıl çalışır?
Geliştirici sözleşme kodunu yazıp ağa yükler. Kod bir adres alır; kullanıcılar bu adrese işlem göndererek sözleşmenin fonksiyonlarını çağırır. Sonuç, ağdaki tüm düğümlerde aynı şekilde yürütülür ve blok zincirine kaydedilir. Basit bir örnek: “A kişisi X tokenını sözleşmeye gönderirse ve B kişisi Y tokenını gönderirse takas yapılır”. Bir otomat benzetmesi sık kullanılır: para atıp düğmeye basarsanız ürün çıkar; araya bir kasiyerin girmesine gerek yoktur.
Sözleşmenin çalışması gas ücreti gerektirir. Kod, blok zincirinde herkese açık olduğu için kimse sözleşme kurallarını tek taraflı değiştiremez; ancak bazı sözleşmeler “yükseltilebilir” (upgradeable) biçimde yazılır ve bu durumda yönetici anahtarların kimde olduğu önemli bir risk faktörüdür.
Örnek bir akış
- Kullanıcı, merkeziyetsiz bir borsada ETH’yi başka bir tokenla takas etmek ister.
- Cüzdan, sözleşmeye işlem gönderir ve kullanıcıdan imza ister.
- Sözleşme havuzdaki oranlara göre hesaplamayı yapar, ETH’yi alır ve token’ı gönderir.
- İşlem blok zincirine yazılır; sözleşme koduna bakan herkes sürecin doğru çalışıp çalışmadığını denetleyebilir.
Kullanım alanları
- Merkeziyetsiz finans: borç verme, takas, türev
- Token ihracı (Coin ve token farkı)
- NFT sahipliği ve satışı
- Çok imzalı cüzdanlar, vasiyet benzeri zaman kilitli işlemler
- Merkeziyetsiz otonom organizasyonlar (DAO): oylama ve fon yönetimi
- Sigorta, tedarik zinciri ve bilet gibi uygulamalar (deneysel)
Riskler
- Kod hataları: Sözleşme yayımlandıktan sonra çoğu zaman değiştirilemez; hatalar milyonlarca dolarlık kayıplara yol açabilir (2016 DAO saldırısı gibi).
- Onay (approval) riskleri: Bir sözleşmeye cüzdanınızdaki tokenlara erişim izni vermek, kötü niyetli bir sözleşmenin varlıklarınızı boşaltmasına yol açabilir. Kullanılmayan izinleri düzenli olarak iptal etmek önerilir.
- Orakül sorunu: Blok zinciri dış dünya verisini (fiyat vb.) doğrudan bilmez; veri sağlayıcıları manipüle edilebilir.
- Yönetici anahtar riski: Sözleşmeyi güncelleyebilen yetkili hesapların ele geçirilmesi.
- Hukuki belirsizlik: Kodun yürütülmesinin yargı yetkisiyle ilişkisi çoğu ülkede net değildir; “kod yasadır” anlayışı mahkemelerce otomatik olarak kabul edilmez.
Güvenlik için bağımsız denetim raporları incelenir; ancak denetim, hatasızlık garantisi değildir. Yeni ve az kullanılmış sözleşmelere yüksek tutarlar yatırmak özellikle risklidir.
Bir sözleşmeyi değerlendirirken bakılanlar
- Kaynak kodu doğrulanmış ve herkese açık mı?
- Bağımsız denetim raporu var mı, bulgular giderilmiş mi?
- Ne kadar süredir çalışıyor ve ne kadar değer barındırıyor?
- Yönetici yetkileri kimde, zaman kilidi (timelock) var mı?
- Bilinen bir güvenlik olayı yaşandı mı?
Diller ve geliştirme araçları
Ethereum ve EVM uyumlu ağlarda akıllı sözleşmeler çoğunlukla Solidity ile yazılır; Vyper daha basit bir alternatiftir. Solana gibi ağlarda Rust kullanılır. Geliştiriciler sözleşmeleri yayımlamadan önce yerel test ağlarında dener, otomatik test yazar ve bağımsız güvenlik denetimi (audit) yaptırır. Bazı kritik sözleşmelerde “biçimsel doğrulama” (matematiksel kanıt) da kullanılır.
Önemli olaylar
- 2016 – The DAO: Yeniden giriş (reentrancy) açığı nedeniyle yaklaşık 50–60 milyon dolarlık ETH çalındı; ağ çatallandı (Çatallanma (fork)).
- 2017 – Parity cüzdan hatası: Bir kütüphane sözleşmesindeki hata yüzünden yüz milyonlarca dolarlık ETH erişilemez hale geldi.
- 2020–2022: Çok sayıda DeFi protokolü orakül manipülasyonu ve “flash loan” saldırılarıyla zarar gördü (Merkeziyetsiz finans (DeFi)).
Bu olaylardan çıkan temel ders: akıllı sözleşmeler “kod yasadır” anlayışıyla çalışır ve hatalar çoğu zaman geri alınamaz.
Sık sorulan sorular
- Akıllı sözleşme nedir?
- Blok zincirinde saklanan ve koşullar sağlandığında otomatik çalışan programdır.
- Akıllı sözleşme yasal olarak bağlayıcı mı?
- Kendiliğinden hukuki sözleşme sayılmaz; hukuki sonuçları ülkenin mevzuatına ve tarafların anlaşmasına bağlıdır.
- Akıllı sözleşmeler hacklenebilir mi?
- Sözleşme kodundaki hatalar saldırılara yol açabilir. Blok zinciri güvenli olsa bile üzerindeki kod zafiyet taşıyabilir.
- Bitcoin’de akıllı sözleşme var mı?
- Sınırlı biçimde vardır; Bitcoin’in betik sistemi basit koşullara izin verir. Karmaşık sözleşmeler için Ethereum gibi platformlar kullanılır.
Ayrıca bakınız
Kaynakça
- Ethereum.org – Akıllı sözleşmelere giriş — ethereum.org