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 tarafların aracılara ihtiyaç duymadan doğrudan izlenebilir ve geri alınamaz işlemler gerçekleştirmesine olanak tanır. Akıllı sözleşmeler, diğer sözleşmelerle etkileşime geçebilen kod fonksiyonları içerir ve önceden belirlenmiş koşullar karşılandığında otomatik olarak yürütülür.

Akıllı sözleşmeler kavramı 90'lı yıllarda ortaya atılmasına rağmen, geniş çapta uygulama bulması ancak Ethereum'un ortaya çıkmasıyla mümkün olmuştur. Ethereum, akıllı sözleşmelerin dağıtımını ve yürütülmesini destekleyerek, ikinci nesil blok zinciri teknolojisi olarak görülmektedir.

Akıllı sözleşmeler dili, akıllı sözleşmeleri yazmak için kullanılan programlama dilidir ve derlendikten sonra blok zinciri platformunun sanal makinesinde belirlenen mantığı yürütür. İyi bir akıllı sözleşmeler dili, sözleşme kurallarını güvenli ve verimli bir şekilde ifade edebilmelidir ve blok zinciri işlemlerini ve durumunu işlemek için araçlar sağlamalıdır.

Şu anda, çoğu akıllı sözleşme geliştiricisi Ethereum ve EVM ile uyumlu blok zincirlerinde çalışıyor. EVM ile uyumlu olmayan zincirler arasında, Solana en fazla geliştiriciye sahip. Move ise güvenli bir şekilde blok zinciri akıllı sözleşmeleri geliştirmek için tasarlanmış bir dildir.

EVM tabanlı diller

EVM, Ethereum'un çekirdeğidir, akıllı sözleşmeleri çalıştırmak ve işlemleri işlemekle sorumludur. Ethereum, bytecode, ara dil ve yüksek düzeyli dil de dahil olmak üzere çok katmanlı bir mimari benimsemektedir. Yüksek düzeyli dil geliştiricilere yöneliktir ve akıllı sözleşmelerin geliştirilme zorluğunu azaltmaktadır.

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

Solidity, C++, Python ve JavaScript'ten etkilenen nesne yönelimli bir programlama dilidir ve EVM için özel olarak tasarlanmıştır. Çoklu kalıtımı destekler ve ABI standartlarını tanımlar.

Vyper, güvenlik, okunabilirlik ve Gas verimliliği için optimize edilmiş, Python'a benzer bir sözleşme dilidir. Solidity'nin aksine, Vyper nesne yönelimli bir modeli benimsemez.

Yul, Solidity araç zincirinin bir parçası olarak, yüksek düzeyde kontrol akışına sahip bir derleme dilidir. Yul+, Yul'un genişletilmiş bir versiyonudur.

Fe, modül tabanlı bir sistem aracılığıyla kod yeniden kullanımını sağlayan Rust benzeri bir yüksek düzey programlama dilidir.

Huff, yığın ve EVM talimatlarını manuel olarak kontrol etmeye izin veren düşük seviyeli bir montaj dilidir.

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

Solana dil ailesi

Solana, yüksek performansı ile tanınır ve son bir yılın en hızlı gelişen kamu blok zincirlerinden biridir. Solana, akıllı sözleşmeleri zincir üzerindeki programlar olarak adlandırır ve esasen Rust dilinde yazılır.

Solana, kendi SVM sanal makinesini ve SBF bayt kodunu kullanır, WASM yerine. SVM'nin ana bileşeni Sealevel, birden fazla akıllı sözleşmenin paralel olarak çalışmasına olanak tanır. SBF, yüksek performans ve güvenlik sunan eBPF tabanlıdır.

Teorik olarak LLVM IR'ye derlenebilen diller, Solana akıllı sözleşme geliştirme için kullanılabilir, ancak pratikte Solana şu anda yalnızca Rust ve Solang'ı desteklemektedir.

Rust, performansı ve güvenliği ile tanınan genel bir statik derleme dilidir. Solidity'ye kıyasla, Rust düşük seviyeli çoklu paradigmaya sahip bir dildir.

Solang, Solana ve Polkadot üzerinde değiştirilmiş Solidity kullanmayı destekleyen, LLVM tabanlı bir Solidity derleyicisidir.

Rust, Solana'nın resmi olarak desteklediği ana dildir, Solang'ın avantajı ise Solidity ile uyumluluğundadır.

Move Dili

Move, başlangıçta Meta'nın Diem projesi için geliştirilmiştir ve varlıklar ile işlemlerin güvenliği sorununu çözmeyi amaçlamaktadır. Özellikleri arasında birinci sınıf kaynak türü koruması, esneklik ve doğrulanabilirlik bulunmaktadır.

Aptos ve Sui, temel akıllı sözleşme dili olarak Move'u kullanmaktadır. Aptos, Core Move kullanırken, Sui özel Sui Move sürümünü kullanmaktadır.

Move'un derleyicisi, doğrulayıcısı ve sanal makinesi sıfırdan tasarlandı. Doğrulayıcı, kaynak odaklı programlama modelini korumak için kullanılan Move'un temel güvenlik mekanizmasıdır.

Move, biçimsel doğrulamaya dosttur ve akıllı sözleşmelerin biçimsel doğrulaması için Move Prover aracını sunar.

akıllı sözleşmeler geliştirme araçları

EVM uyumlu zincirler için geliştiriciler, Solidity'yi tercih edilen dil olarak görmektedir. Ana geliştirme araçları arasında Hardhat, OpenZeppelin ve Foundry bulunmaktadır.

Solana, Ethereum dışında ikinci bir seçenek, ancak programlama modeli daha karmaşık. Anchor çerçevesi, Solana geliştirme sürecini basitleştirebilir.

Move dili güvenlik tasarımında yenilikçi, ancak mevcut ekosistem hala erken aşamada, geliştirme araçlarının geliştirilmesi gerekiyor.

Özet

Akıllı sözleşme dilleri değerlendirildiğinde genellikle kullanılabilirlik, güvenlik ve ekosistem kaynakları dikkate alınır.

Solidity en büyük etkiye sahip, olgun araçlar ve kütüphane ekosistemine sahiptir.

Rust, Solidity'nin güvenlikteki eksikliklerini tamamladı ve Solana ekosistemi hızla gelişiyor.

Move, alt düzeyde daha fazla güvenlik mekanizması ekledi, öğrenme zorluğu ortalama ama ekosistem hala erken aşamada.