Web3 Geliştiricilerinin Öz Disiplini - Akıllı Sözleşmeler Dili

akıllı sözleşmeler, aracı olmaksızın güvenilir işlemler gerçekleştiren, blok zinciri platformlarındaki otomatik yürütme protokolleridir. Sözleşme, ö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 kabul edilir.

Akıllı sözleşmeler için kullanılan dil, akıllı sözleşmeleri yazmak amacıyla geliştirilmiş olup, derlendikten sonra blockchain platformu sanal makinesinde çalıştırılır. Bu tür diller, sözleşme kurallarını güvenli ve verimli bir şekilde ifade etmeli ve blockchain işlemleri ile durumunu işlemek için araçlar sağlamalıdır.

Çoğu geliştirici Ethereum ve EVM uyumlu blok zincirlerinde geliştirme yaparken, Solana EVM uyumlu olmayan ekosistemlerde en fazla geliştiriciye sahip platformdur, Move ise güvenli bir şekilde blok zincir akıllı sözleşmeler geliştirmek için özel olarak tasarlanmıştır.

Bu makale, EVM ailesi, Solana ailesi ve Move ailesi olmak üzere üç açıdan akıllı sözleşmeler dilini tanıtacaktır.

EVM Ağı

EVM, Ethereum'un çekirdeğidir ve akıllı sözleşmeleri çalıştırmak ve işlemleri işlemekten sorumludur. Ethereum, bayt kodu, 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 gibi seçenekler de mevcuttur.

Solidity, ilk olarak Ethereum CTO'su Gavin Wood tarafından önerilmiştir ve nesne yönelimli bir programlama dilidir; C++, Python ve JavaScript'ten büyük ölçüde etkilenmiştir. Solidity, ABI standardını ve akıllı sözleşmelerle etkileşimi belirler.

Vyper, Vitalik Buterin ekibi tarafından geliştirilmiş, Solidity için bir alternatif seçenektir. Vyper, Python'a benzer ve güvenlik, okunabilirlik ve Gas verimliliği için optimize edilmiştir.

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

Fe, modül tabanlı bir sistem aracılığıyla kodu yeniden kullanarak Rust'a benzer bir yüksek seviyeli dildir.

Huff, manuel yığın kontrolü ve EVM talimat setine en az soyutlama ile bir derleme dilidir.

Ethereum'de, Solidity tabanlı akıllı sözleşmeler yaklaşık %90'ını oluşturuyor ve diğer dillerin çok üzerinde. Yul ve Yul+ genellikle Gas optimizasyonu için kullanılırken, Huff ise aşırı Gas optimizasyonu için kullanılır.

Solana Ağı

Solana, PoH mekanizması ve yüksek performansıyla tanınan, son bir yılda en hızlı gelişen halka açık blok zincirlerinden biridir.

Solana, akıllı sözleşmeleri zincir üzerindeki programlar olarak adlandırır ve bunlar çoğunlukla Rust dilinde yazılmaktadır. Solana'nın benzersiz SVM sanal makinesi ve SBF bayt kodu vardır.

SVM'nin ana bileşeni Sealevel, paralel işlemeyi gerçekleştirdi. Solana'nın akıllı sözleşmeleri, çalışma zamanında okuma ve yazma durumunu belirler, çatışmasız işlemlerin paralel olarak yürütülmesine olanak tanır.

SBF, eBPF'ye dayalıdır ve yüksek performans, güvenlik ve taşınabilirlik sunar. SBF, programın sonlanmasını ve talimatların doğruluğunu sağlamak için özel bir doğrulayıcı kullanır.

Teorik olarak LLVM IR'ye derlenebilen diller Solana akıllı sözleşmeler yazabilir, ancak pratikte yalnızca Rust ve Solang desteklenmektedir.

Rust, yüksek performans ve bellek güvenliği sunan genel bir statik derleme dilidir. Solang, Solidity'yi Solana ve Polkadot üzerinde kullanmayı destekleyen LLVM mimarisine dayalı bir Solidity derleyicisidir.

Rust, Solana'nın resmi olarak desteklediği ana dildir ve daha güçlü bir stabiliteye sahiptir; Solang'ın ana avantajı ise Solidity dili ile olan uyumluluğudur.

Move Sistemi

Move, Meta'nın Diem projesi için geliştirilen akıllı sözleşmeler dilidir ve birinci sınıf kaynak türü koruması, esneklik ve güvenli doğrulanabilirlik gibi özelliklere sahiptir.

Aptos ve Sui, Move'u temel akıllı sözleşmeler dili olarak kullanıyor. Aptos, Diem Move'u miras alırken, Sui özel Sui Move'u kullanıyor.

Move'un derleyicisi, doğrulayıcısı ve sanal makinesi sıfırdan tasarlanmıştır. Doğrulayıcı, Move'un temel güvenlik mekanizmasıdır ve tür, bellek ve kaynak güvenliği kurallarına uyumu sağlar.

Move, biçimsel doğrulamaya dosttur, dinamik atama gibi özellikleri desteklemez, tüm sözleşme yolları derleme aşamasında belirlenebilir. Move Prover, akıllı sözleşmelerin biçimsel doğrulama aracıdır.

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

EVM uyumlu zincirlerin geliştiricileri için, Solidity en iyi tercihtir. Temel geliştirme araçları şunlardır:

• Hardhat: Ethereum uygulamalarını derlemek, dağıtmak, test etmek ve hata ayıklamak için bir geliştirme ortamı.
• OpenZeppelin: Açık kaynaklı güvenli akıllı sözleşmeler kütüphanesi sunar.
• Foundry: Solidity merkezli bir çerçeve, akıllı sözleşmelerin inşası, testi ve dağıtımı için.

Solana, Ethereum dışında ikinci bir seçenektir; ana geliştirme çerçevesi Anchor'dır ve Solana geliştirme sürecini basitleştirir.

Move dili, temel güvenlik tasarımında yenilikler sunuyor, ancak şu anda Move tabanlı kamu blok zincirleri oldukça az ve geliştirme araçları yeterince gelişmiş değil.

Özet

Akıllı sözleşmeler geliştirme dilinin değerlendirilmesi genellikle kullanılabilirlik, güvenlik ve ekosistem kaynakları dikkate alınarak yapılır.

Solidity en büyük etkiye sahip, zengin geliştirme araçları ve kütüphaneleri var, hızlı geliştirme için uygundur.

Rust, Solidity'nin güvenlik açıklarını kapatıyor, Solana ekosistemi hızla gelişiyor ve geliştiriciler için cazip hale geliyor.

Move daha fazla güvenlik mekanizması ekledi, öğrenme zorluğu daha dostça, ancak ekosistem hala erken aşamada.