Web3 geliştiricileri için gerekli beceriler: akıllı sözleşmeler dili Derinlik analizi

akıllı sözleşmeler, blockchain platformlarında otomatik olarak yürütülen protokollerdir ve işlem taraflarının doğrudan güvenilir işlemler yapmasını sağlar, aracıların müdahalesine gerek kalmadan. Sözleşmede, diğer sözleşmelerle etkileşimde bulunabilen kod fonksiyonları bulunur ve önceden belirlenmiş koşullar sağlandığında otomatik olarak yürütülür.

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 yaygın olarak kullanılmaya başlanmıştır. 2015'te piyasaya sürülen Ethereum, akıllı sözleşmelerin dağıtımını ve yürütülmesini desteklemekte olup, ikinci nesil blok zinciri olarak anılmaktadır.

Akıllı sözleşme dili, akıllı sözleşmelerin yazılması için kullanılır ve byte koduna derlendikten sonra blockchain platformu sanal makinesinde çalıştırılır. İyi bir akıllı sözleşme dili, 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 sunmalıdır.

Şu anda, çoğu akıllı sözleşme geliştiricisi Ethereum ve EVM uyumlu zincirlerde çalışıyor. Solana, EVM uyumlu ekosistem dışındaki en fazla geliştiriciye sahip platformdur, Move ise güvenli bir şekilde blok zinciri akıllı sözleşmeleri geliştirmek için özel olarak tasarlanmıştır.

EVM tabanlı diller

EVM (Ethereum Sanal Makinesi), Ethereum'un çekirdeğidir ve akıllı sözleşmeleri çalıştırır ve işlemleri işler. EVM, bytecode, ara dil ve yüksek düzeyde dil içeren çok katmanlı bir yapıya sahiptir.

Ethereum ve EVM uyumlu zincirlerde en popüler diller Solidity ve Vyper'dır. Ayrıca Yul, Yul+, Fe ve Huff gibi seçenekler de mevcuttur.

Solidity, C++, Python ve JavaScript'ten etkilenen nesne yönelimli bir programlama dilidir. Kod yeniden kullanımını sağlamak için çoklu kalıtım sunar ve ABI standartlarını tanımlar.

Vyper, Vitalik Buterin ekibi tarafından geliştirilmiştir ve Solidity'nin alternatif bir seçeneğidir. Python'a benzer, güvenlik, okunabilirlik ve Gas verimliliğine odaklanır.

Yul, yüksek seviyeli kontrol akışına sahip bir montaj dilidir ve Solidity araç zincirinin bir parçasıdır. 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 seviyeli dildir.

Huff, manuel yığın kontrolüne izin veren düşük seviyeli bir derleme dilidir.

Ethereum'da, Solidity yaklaşık %90 pazar payına sahiptir ve ikinci sıradaki Vyper'in on katıdır. Yul ve Yul+ genellikle Gaz optimizasyonu için kullanılırken, Huff ise aşırı Gaz optimizasyonu için kullanılır.

Solana tabanlı diller

Solana, PoH mekanizması ve yüksek performansı ile tanınır. Solana, akıllı sözleşmeleri zincir üzerindeki programlar olarak adlandırır ve bunları çoğunlukla Rust dilinde yazar.

Solana sanal makinesi SVM'nin temel bileşeni Sealevel, paralel işlemeyi gerçekleştirir. Solana'nın akıllı sözleşmeleri, okuma ve yazma durumlarını belirten çalışma zamanını belirler, bu da çakışmasız işlemlerin paralel olarak yürütülmesini sağlar.

SBF, eBPF tabanlıdır ve yüksek performans, güvenlik ve taşınabilirlik sunar. SBF, programın doğruluğunu ve sonlandırılabilirliğini sağlamak için özel doğrulayıcılar kullanır.

Teorik olarak, LLVM IR'ye derlenmeyi destekleyen diller, Solana akıllı sözleşmeleri yazmak için kullanılabilir, ancak pratikte Solana Labs, Rust ve eBPF LLVM arka uçlarında özel değişiklikler yapmıştır. Şu anda Solana sözleşme geliştirme esas olarak Rust ve Solang'ı desteklemektedir.

Rust, Mozilla tarafından geliştirilen genel amaçlı statik derleme dilidir ve performansa ve güvenliğe odaklanır. Solang, Solana ve Polkadot üzerinde değiştirilmiş Solidity kullanımı için LLVM tabanlı bir Solidity derleyicisidir.

Move dil ailesi

Move, Meta'nın Diem projesi için geliştirilmiş bir 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, Diem projesinin dağılmasından sonra Move'u devraldı ve sırasıyla Core Move ve Sui Move'u kullandı.

Move modüler bir tasarım benimser, her akıllı sözleşme, fonksiyonlar ve yapı tanımları içeren bir modüldür. Sui Move, nesne tabanlı veri modelini tanıtarak paralel işleme desteği sağlar.

Move'un derleyicisi, doğrulayıcısı ve sanal makinesi özel olarak tasarlanmıştır. Doğrulayıcı, tür, bellek ve kaynak güvenliği kurallarına uyumu sağlamak için temel güvenlik mekanizmasıdır.

Move Prover, akıllı sözleşmelerin biçimsel doğrulama aracıdır ve doğrulama koşullarını SMT formüllerine dönüştürerek kontrol eder.

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

EVM uyumlu zincirlerin geliştiricileri için, Solidity tercih edilen dildir. Ana geliştirme araçları şunlardır:

• Hardhat: Ethereum uygulamalarının derlenmesi, dağıtımı, test edilmesi ve hata ayıklanması için bir geliştirme ortamı.
• OpenZeppelin: Güvenli akıllı sözleşmeler için açık kaynak kütüphanesi sağlıyor.
• 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çenek, ancak geliştirme zorluğu daha yüksek. Anchor çerçevesi, Solana geliştirme sürecini basitleştirebilir.

Move dili, temel güvenlik tasarımında yenilikçi bir yaklaşım sergiliyor, ancak şu anda ekosistemi ve araçları yeterince gelişmiş değil.

Özet

Akıllı sözleşmeler dilleri genellikle kullanılabilirlik, güvenlik ve ekosistem kaynakları açısından değerlendirilir.

Solidity en büyük etkiye sahip olup, zengin geliştirme araçları ve kütüphanelere sahiptir.

Rust, Solana ekosisteminde yaygın olarak kullanılmakta ve Solidity'nin güvenlik açıklarını telafi etmektedir.

Move, altyapıda daha fazla güvenlik mekanizması ekledi, ancak ekosistem hala erken aşamada.