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

Akıllı sözleşmeler, blockchain platformlarında otomatik olarak yürütülen protokollerdir ve işlem taraflarının aracı olmadan doğrudan güvenilir işlemler gerçekleştirmesine olanak tanır. Bu sözleşmeler, önceden belirlenmiş koşullar sağlandığında otomatik olarak yürütülen kod fonksiyonları içerir.

Akıllı sözleşmeler kavramı Nick Szabo tarafından 90'lı yıllarda ortaya atılmıştır, ancak Ethereum'un ortaya çıkmasıyla yaygın olarak kullanılmaya 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 anılmaktadır.

Akıllı sözleşmeler için yazılmış akıllı sözleşme dili, byte koduna derlendikten sonra blok zinciri sanal makinesinde çalıştırılır. İyi bir akıllı sözleşme dili güvenli ve verimli olmalı ve blok zinciri işlemleri ile durumu işlemek için araçlar sağlamalıdır.

Akıllı sözleşmeler dil sınıflandırması

Çoğu geliştirici Ethereum ve EVM uyumlu blok zincirleri üzerinde geliştirme yapmaktadır. Solana, EVM uyumlu olmayan zincirler arasında en fazla geliştiriciye sahip olanıdır. Move ise güvenli bir şekilde blok zinciri akıllı sözleşmelerini geliştirmek için özel olarak tasarlanmıştır.

Bu yazıda akıllı sözleşmeler dili EVM tabanlı, Solana tabanlı ve Move tabanlı olarak tanıtılacaktır.

EVM sistemi

EVM, akıllı sözleşmeleri çalıştırmak ve işlemleri işlemekle sorumlu olan Ethereum'un merkezidir. Ethereum, bytecode, ara dil ve yüksek düzey dil dahil olmak üzere çok katmanlı bir mimari benimsemektedir.

Ethereum ve EVM uyumlu blok zincirlerinde en popüler diller Solidity ve Vyper'dır, ayrıca Yul, Yul+, Fe ve Huff da bulunmaktadır.

Solidity, Ethereum ekibi tarafından geliştirilen, C++, Python ve JavaScript'ten etkilenen nesne yönelimli bir dildir. Vyper ise Vitalik Buterin ekibi tarafından geliştirilmiş, Python'a benzer ve güvenlik ile Gas verimliliği optimizasyonuna odaklanmıştır.

Yul, bir derleme dilidir ve Solidity araç zincirinin bir parçasıdır. Fe, Rust benzeri bir yüksek seviyeli dildir. Huff, yığın üzerinde manuel işlem yapabilen düşük seviyeli bir derleme dilidir.

Ethereum üzerindeki akıllı sözleşmelerin %90'ı Solidity ile geliştirilmiştir. Yul ve Yul+ genellikle Gas optimizasyonu için kullanılır, Huff ise aşırı Gas optimizasyonu için kullanılır.

Solana sistemi

Solana, PoH mekanizması ve yüksek performansıyla tanınır. Solana, akıllı sözleşmeleri zincir üzerindeki programlar olarak adlandırır, esas olarak Rust ile yazılır ve benzersiz SVM sanal makinesi ve SBF bayt kodu kullanır.

SVM'nin ana bileşeni Sealevel, akıllı sözleşmelerin paralel işlenmesini sağladı. SBF, yüksek performans ve güvenlik sunan eBPF tabanlıdır.

Solana akıllı sözleşme geliştirme şu anda Rust ve Solang'ı destekliyor. Rust, Mozilla tarafından geliştirilen genel bir dildir; yüksek performansa ve bellek güvenliğine sahiptir. Solang, geliştiricilerin Solana'ya geçişini basitleştiren LLVM tabanlı bir Solidity derleyicisidir.

Move sistemi

Move, başlangıçta Meta'nın Diem projesi için geliştirilmiştir ve birinci sınıf kaynak tipi koruması, esneklik ve doğrulanabilirlik gibi özelliklere sahiptir. Aptos ve Sui, Move'u temel akıllı sözleşmeler dili olarak kullanmaktadır.

Move'un derleyicisi, doğrulayıcısı ve sanal makinesi sıfırdan tasarlanmıştır. Move Prover, onun biçimsel doğrulama aracıdır.

Solidity'e kıyasla, Move daha uygun bir biçimsel doğrulama sağlar ve tüm sözleşme yollarını derleme zamanında belirleyebilir.

Geliştirme Araçları

EVM uyumlu zincirler için Solidity tercih edilen dildir. Ana geliştirme araçları arasında Hardhat, OpenZeppelin ve Foundry bulunmaktadır.

Solana, Ethereum dışındaki ikinci seçenek, ancak geliştirme zorluğu oldukça yüksek. Anchor çerçevesi, Solana geliştirme sürecini basitleştirebilir.

Move dili güvenlik tasarımında yenilikler sunuyor, ancak şu anda ekosistem ve araçlar yeterince gelişmiş değil.

Özet

Akıllı sözleşmeler dillerinin değerlendirilmesinde genellikle kullanım kolaylığı, güvenlik ve ekosistem kaynakları dikkate alınır.

Solidity en büyük etkiye sahip, zengin geliştirme araçları ve kütüphanelere sahip. Rust, Solidity'nin güvenliğini tamamlıyor, Solana ekosistemi ise Ethereum'un ardında. Move, daha fazla güvenlik mekanizması ekliyor, ancak ekosistem hala erken aşamada.