Akıllı sözleşmeler dili genel görünümü

akıllı sözleşmeler, tarafların doğrudan güvenilir işlemler gerçekleştirmesine olanak tanıyan, aracılara gerek duymadan otomatik olarak yürütülen protokollerdir. Belirli koşullar yerine getirildiğinde otomatik olarak yürütülen diğer sözleşmelerle etkileşimde bulunabilen kod fonksiyonları içerir.

Akıllı sözleşme kavramı Nick Szabo tarafından 90'lı yıllarda ortaya atılmıştır, ancak Ethereum'un ortaya çıkmasıyla geniş bir şekilde uygulanmaya başlanmıştır. Ethereum, akıllı sözleşmelerin dağıtımını ve yürütülmesini destekler ve ikinci nesil blok zinciri olarak adlandırılır.

Akıllı sözleşmeler dili, akıllı sözleşmeleri yazmak için kullanılır, derlendikten sonra blockchain platformunun sanal makinesinde çalıştırılır. Sözleşme kurallarını güvenli ve verimli bir şekilde ifade etmesi ve blockchain işlemleri ile durumunu işlemek için araçlar sunması gerekir.

Şu anda üç ana akıllı sözleşme dili bulunmaktadır: EVM serisi, Solana serisi ve Move serisi.

EVM sistemi

EVM, Ethereum'un çekirdeğidir, akıllı sözleşmeleri çalıştırır ve işlemleri işler. Ethereum protokolü, EVM bayt kodunu tanımlar, bunun üzerine Yul ve Yul+ ara dillerini ve ayrıca Solidity, Vyper, Fe gibi yüksek seviye dilleri inşa etmiştir.

Solidity, en popüler EVM dilidir ve pazarın %90'ını elinde bulundurmaktadır. Nesne yönelimli bir dildir ve C++, Python ve JavaScript'ten etkilenmiştir. Vyper, Vitalik Buterin ekibi tarafından geliştirilmiştir, Python'a benzer ve güvenlik ile okunabilirliğe odaklanmıştır.

Yul, Solidity araç zincirinin bir parçası olan bir derleme dilidir. Fe, Rust'a benzer, modüler bir sistem kullanır. Huff, yığın üzerinde manuel kontrol sağlayan düşük seviyeli bir derleme dilidir.

Solana Ağı

Solana, PoH mekanizması ve yüksek performansıyla tanınır. Akıllı sözleşmeleri zincir üzerindeki programlar olarak adlandırır, esas olarak Rust ile yazılmıştır ve kendi SVM sanal makinesi üzerinde çalışır.

SVM'nin ana bileşeni Sealevel'dir, akıllı sözleşmelerin paralel işlenmesini sağlar. Solana sözleşmeleri, çakışmasız işlemlerin paralel olarak yürütülebilmesi için işlemin durumunu belirtmelidir.

Solana, esas olarak Rust ve Solang adlı iki dili desteklemektedir. Rust yüksek performanslı ve bellek güvenli iken, Solang Solidity sözdizimi ile uyumludur.

Move sistemi

Move, başlangıçta Meta'nın Diem projesi için geliştirilmiş olup, şu anda Aptos ve Sui halka açık blok zincirlerinde kullanılmaktadır. Özellikleri arasında birinci sınıf kaynak türü koruması, esneklik ve doğrulanabilirlik bulunmaktadır.

Move'deki her akıllı sözleşme bir modüldür ve fonksiyonlar ile yapı tanımlarından oluşur. Sui Move, nesne tabanlı bir veri modelini benimser ve işlemeleri paralel olarak destekler.

Move, akıllı sözleşmelerin güvenlik analizi için yararlı olan özel bir doğrulayıcı ve biçimsel doğrulama aracı olan Move Prover'a sahiptir.

Geliştirme Araçları

Solidity ekosistemi en olgun olanıdır, ana araçlar Hardhat, OpenZeppelin ve Foundry'dir.

Solana'nın Anchor çerçevesi geliştirme sürecini basitleştirir.

Move dili yenilikçi, ancak ekosistem hâlâ gelişmekte, araçlar ise nispeten sınırlı.

Genel olarak, Solidity ekosistemi en olgun, Rust/Solana ise ikinci sırada, Move henüz erken aşamada. Uygun akıllı sözleşme dilini seçerken kullanılabilirlik, güvenlik ve ekosistem kaynakları gibi faktörler dikkate alınmalıdır.