Akıllı Sözleşmelerin (Smart Contracts) Hukuki Geçerliliği ve Blokzincir Teknolojileri

Giriş

Blokzincir (Blockchain) teknolojisinin hayatımıza soktuğu en radikal yeniliklerden biri, geleneksel sözleşme hukuku süreçlerini otomatize etme iddiasındaki “Akıllı Sözleşmelerdir” (Smart Contracts). İlk kez 1994 yılında Nick Szabo tarafından teorize edilen bu kavram; taraflar arasındaki anlaşma şartlarının doğrudan bilgisayar kodlarına yazıldığı, kriptografik ağlar üzerinde kendi kendini ifa eden (self-executing) protokolleri ifade eder. Sözleşme şartlarının insan müdahalesine gerek kalmaksızın “Eğer X gerçekleşirse, Y edimini yerine getir” (If-This-Then-That) mantığıyla çalışması, ticari işlemlerde hızı artırıp işlem maliyetlerini düşürmektedir. Ancak akıllı sözleşmelerin bu mekanik yapısı, 6098 sayılı Türk Borçlar Kanunu (TBK) ve 6102 sayılı Türk Ticaret Kanunu (TTK) kapsamında şekillenen geleneksel sözleşme teorisi karşısında birçok hukuki ve borçlar hukuku sorunsalını beraberinde getirmektedir.

1. Akıllı Sözleşmelerin Borçlar Hukuku Açısından Nitelendirilmesi

Akıllı sözleşmelerin yasal olarak bağlayıcı birer sözleşme olup olmadığı, kodların borçlar hukuku anlamında “irade beyanı” olarak kabul edilip edilmeyeceği sorusu etrafında şekillenir.

• İrade Beyanı ve Sözleşmenin Kurulması: TBK m. 1 uyarınca bir sözleşmenin kurulabilmesi için tarafların karşılıklı ve birbirine uygun irade beyanlarında (icap ve kabul) bulunmaları gerekir. Akıllı sözleşmelerde icap ve kabul, tarafların dijital cüzdanları üzerinden kriptografik imza (özel anahtar / private key) kullanarak bir akıllı sözleşme kodunu blokzincir ağına göndermeleriyle gerçekleşir. Doktrindeki baskın görüşe göre, bilgisayar kodlarının ağa gönderilmesi ve onaylanması eylemi, tarafların sözleşme yapma iradelerini somutlaştıran örtülü (zımni) birer irade beyanı hükmündedir.
• Şekil Şartı Uyumu: TBK m. 12 uyarınca, kanunda aksine bir hüküm bulunmadıkça sözleşmeler hiçbir şekil şartına tabi değildir. Dolayısıyla akıllı sözleşmelerin kod formatında (Solidity, Rust vb.) akdedilmesi, kural olarak geçerliliklerini zedelemez. Kanunun “yazılı şekil” veya “resmi şekil” aradığı istisnai durumlarda (örneğin taşınmaz satışı, pay devri sözleşmeleri) ise akıllı sözleşmeler doğrudan geçerlilik kazanamaz. Bu gibi hallerde, 5070 sayılı Elektronik İmza Kanunu kapsamında güvenli elektronik imza protokollerinin akıllı sözleşme mimarisine entegre edilmesi yasal bir zorunluluktur.

2. Akıllı Sözleşmelerin Mekanik Doğası ve Geleneksel Hukuk Kavramlarıyla Çatışması

Geleneksel sözleşmeler, insan dilinin esnekliği ve hakimin takdir yetkisi sayesinde piyasa dinamiklerine uyum sağlayabilirken; akıllı sözleşmelerin katı ve değiştirilemez doğası hukuki uyuşmazlıklara davetiye çıkarmaktadır.

• “Kod Kanundur” (Code is Law) Dogmasının Sınırları: Yazılım dünyasındaki bu yaygın anlayış, hukuken mutlak bir geçerliliğe sahip değildir. Yazılan akıllı sözleşme kodunda bir mantık hatası veya sistem açığı (bug) bulunması ve bu açığın bir tarafça suistimal edilmesi durumunda, sistem edimi otomatik olarak yerine getirecektir. Ancak borçlar hukuku, bu durumu TBK m. 30 vd. uyarınca “yanılma (hata)” veya “aldatma (hile)” kapsamında değerlendirerek sözleşmenin iptaline ve ifa edilen edimlerin sebepsiz zenginleşme hükümleri uyarınca geri verilmesine hükmedebilir. Yani kodun ifa ettiği her işlem, hukuken her zaman geçerli sayılmaz.
• Değiştirilemezlik ve Sözleşmeye Müdahale Engeli: Blokzincir üzerindeki akıllı sözleşmeler, ağa dağıtıldıktan sonra tek taraflı veya çift taraflı olarak değiştirilemez ya da durdurulamaz. Bu durum, borçlar hukukunun en temel emniyet supapları olan “aşırı ifa güçlüğü nedeniyle sözleşmenin uyarlanması” (TBK m. 138) veya mücbir sebep (force majeure) hallerinde sözleşmenin feshini imkansız kılmaktadır. Mahkeme uyarlama kararı verse dahi, blokzincirin doğası gereği geriye dönük kod müdahalesi yapılamamaktadır.

3. Ticaret Hukuku ve Uluslararası Ticarette Uygulama Alanları

Akıllı sözleşmeler, kurumsal yönetim ve ticaret hukuku alanında “Aracısızlaştırma” (Disintermediation) akımının en güçlü lokomotifidir.

• Merkeziyetsiz Otonom Organizasyonlar (DAO): TTK'daki geleneksel şirket modellerinin aksine, tamamen akıllı sözleşmelerle yönetilen, hissedarların oylamalarını ve kâr payı (temettü) dağıtımlarını kodlar vasıtasıyla otomatik gerçekleştiren yeni nesil şirketleşme modelleridir. DAO'ların hukuki niteliği, ortakların sorumluluk sınırları ve vergilendirilmesi, ticaret hukukunun en güncel tartışma başlıklarındandır.
• Tedarik Zinciri ve Akreditif Süreçleri: Uluslararası ticarette malın teslim edilmesi (Incoterms kuralları uyarınca lojistik verilerinin IoT sensörleriyle doğrulanması) anında, bankaya veya aracıya gerek kalmaksızın bedelin satıcıya aktarılması akıllı sözleşmelerle saniyeler içinde çözülmektedir. Bu durum, geleneksel akreditif uyuşmazlıklarını ve kâr mahrumiyetlerini minimize etmektedir.

4. Sonuç ve Gelecek Perspektifi: Hibrid Sözleşme Modeli

Akıllı sözleşmeler, ticaret dünyasına benzersiz bir hız ve güven getirse de, hukukun koruyucu ve esnek mekanizmalarından tamamen bağımsız bir varlık sürdüremez. Teknolojik determinizm ile hukuki rasyonalite arasındaki bu çatışmanın çözümü, “Hibrid Sözleşme” (Ricardian Contracts) modellerinin uygulanmasından geçmektedir. Bu modelde taraflar, sözleşmenin niyet, yorum, mücbir sebep ve uyuşmazlık çözümü (tahkim) gibi hukuki kısımlarını insan diliyle (doğal dille) yazılı olarak belirlemekte; ödeme, transfer, ceza koşulu gibi performansa dayalı matematiksel kısımlarını ise bu metne bağlı akıllı sözleşme kodlarına devretmektedir. Bu sayede, kodun tıkandığı veya adaleti zedelediği yerde, hukuk kuralları ve uzman hakem heyetleri devreye girerek ticari adaleti yeniden tesis edebilecektir.