Akıllı sözleşme dilleri

Ethereum'un harika bir yönü, akıllı sözleşmelerin nispeten geliştirici dostu diller kullanılarak programlanabilmesidir. Python veya herhangi bir süslü parantezli dil (yeni sekmede açılır) konusunda deneyimliyseniz, tanıdık sözdizimine sahip bir dil bulabilirsiniz.

En aktif ve bakımı yapılan iki dil şunlardır:

Solidity
Vyper

Remix IDE, hem Solidity hem de Vyper'da sözleşmeler oluşturmak ve test etmek için kapsamlı bir geliştirme ortamı sağlar. Kodlamaya başlamak için tarayıcı içi Remix IDE'yi deneyin (yeni sekmede açılır).

Daha deneyimli geliştiriciler, Ethereum Sanal Makinesi (EVM) için bir ara dil olan Yul'u veya Yul'un bir uzantısı olan Yul+'ı kullanmak isteyebilirler.

Meraklıysanız ve hala yoğun geliştirme aşamasında olan yeni dilleri test etmeye yardımcı olmak istiyorsanız, şu anda hala emekleme aşamasında olan ve yeni ortaya çıkan bir akıllı sözleşme dili olan Fe'yi deneyebilirsiniz.

Ön koşullar

Programlama dilleri, özellikle JavaScript veya Python hakkında önceden bilgi sahibi olmak, akıllı sözleşme dillerindeki farklılıkları anlamanıza yardımcı olabilir. Ayrıca, dil karşılaştırmalarına çok fazla girmeden önce akıllı sözleşmeleri bir kavram olarak anlamanızı öneririz. Akıllı sözleşmelere giriş.

Solidity

Akıllı sözleşmeleri uygulamak için nesne yönelimli, üst düzey dil.
C++'tan en derinden etkilenmiş süslü parantezli dil.
Statik tipli (bir değişkenin tipi derleme zamanında bilinir).
Şunları destekler:
- Kalıtım (diğer sözleşmeleri genişletebilirsiniz).
- Kütüphaneler (farklı sözleşmelerden çağırabileceğiniz yeniden kullanılabilir kodlar oluşturabilirsiniz – diğer nesne yönelimli programlama dillerindeki statik bir sınıftaki statik fonksiyonlar gibi).
- Karmaşık kullanıcı tanımlı tipler.

Önemli bağlantılar

Örnek sözleşme

// SPDX-License-Identifier: GPL-3.0
pragma solidity >= 0.7.0;

contract Coin {
    // "public" anahtar kelimesi değişkenleri
    // diğer sözleşmelerden erişilebilir yapar
    address public minter;
    mapping (address => uint) public balances;

    // Olaylar, istemcilerin belirli
    // bildirdiğiniz sözleşme değişikliklerine tepki vermesini sağlar
    event Sent(address from, address to, uint amount);

    // Kurucu kod yalnızca sözleşme
    // oluşturulduğunda çalıştırılır
    constructor() {
        minter = msg.sender;
    }

    // Bir adrese belirli miktarda yeni oluşturulmuş coin gönderir
    // Yalnızca sözleşme oluşturucusu tarafından çağrılabilir
    function mint(address receiver, uint amount) public {
        require(msg.sender == minter);
        require(amount < 1e60);
        balances[receiver] += amount;
    }

    // Mevcut coinlerden belirli bir miktarı
    // herhangi bir çağırıcıdan bir adrese gönderir
    function send(address receiver, uint amount) public {
        require(amount <= balances[msg.sender], "Insufficient balance.");
        balances[msg.sender] -= amount;
        balances[receiver] += amount;
        emit Sent(msg.sender, receiver, amount);
    }
}

Bu örnek, Solidity sözleşme sözdiziminin neye benzediği hakkında size bir fikir vermelidir. Fonksiyonların ve değişkenlerin daha ayrıntılı bir açıklaması için belgelere bakın (yeni sekmede açılır).

Vyper

Pythonik programlama dili
Güçlü tipleme
Küçük ve anlaşılır derleyici kodu
Verimli baytkod üretimi
Sözleşmeleri daha güvenli ve denetlenmesi daha kolay hale getirmek amacıyla kasıtlı olarak Solidity'den daha az özelliğe sahiptir. Vyper şunları desteklemez:
- Değiştiriciler (Modifiers)
- Kalıtım
- Satır içi (inline) assembly
- Fonksiyon aşırı yükleme (overloading)
- Operatör aşırı yükleme
- Özyinelemeli (recursive) çağırma
- Sonsuz uzunluklu döngüler
- İkili sabit noktalar (Binary fixed points)

Daha fazla bilgi için Vyper mantığını okuyun (yeni sekmede açılır).

Önemli bağlantılar

Örnek

# Açık Açık Artırma

# Açık artırma parametreleri
# Lehdar parayı en yüksek teklif verenden alır
beneficiary: public(address)
auctionStart: public(uint256)
auctionEnd: public(uint256)

# Açık artırmanın mevcut durumu
highestBidder: public(address)
highestBid: public(uint256)

# Sonda true olarak ayarlanır, herhangi bir değişikliğe izin vermez
ended: public(bool)

# Çekme (withdraw) modelini izleyebilmemiz için iade edilen teklifleri takip edin
pendingReturns: public(HashMap[address, uint256])

# `_bidding_time` saniyelik teklif verme süresiyle
# lehdar adresi `_beneficiary` adına
# basit bir açık artırma oluşturun.
@external
def __init__(_beneficiary: address, _bidding_time: uint256):
    self.beneficiary = _beneficiary
    self.auctionStart = block.timestamp
    self.auctionEnd = self.auctionStart + _bidding_time

# Bu işlemle birlikte gönderilen değerle
# açık artırmaya teklif verin.
# Değer yalnızca açık artırma
# kazanılamazsa iade edilecektir.
@external
@payable
def bid():
    # Teklif verme süresinin bitip bitmediğini kontrol edin.
    assert block.timestamp < self.auctionEnd
    # Teklifin yeterince yüksek olup olmadığını kontrol edin
    assert msg.value > self.highestBid
    # Önceki en yüksek teklif veren için iadeyi takip edin
    self.pendingReturns[self.highestBidder] += self.highestBid
    # Yeni en yüksek teklifi takip edin
    self.highestBidder = msg.sender
    self.highestBid = msg.value

# Önceden iade edilmiş bir teklifi çekin. Çekme (withdraw) modeli burada
# bir güvenlik sorununu önlemek için kullanılır. İadeler doğrudan
# bid() işlevinin bir parçası olarak gönderilseydi, kötü niyetli bir teklif sözleşmesi
# bu iadeleri engelleyebilir ve böylece yeni daha yüksek tekliflerin gelmesini engelleyebilirdi.
@external
def withdraw():
    pending_amount: uint256 = self.pendingReturns[msg.sender]
    self.pendingReturns[msg.sender] = 0
    send(msg.sender, pending_amount)

# Açık artırmayı sonlandırın ve en yüksek teklifi
# lehdara gönderin.
@external
def endAuction():
    # Diğer sözleşmelerle etkileşime giren işlevleri
    # (yani işlevleri çağıran veya ether gönderen) üç aşamada
    # yapılandırmak iyi bir kuraldır:
    # 1. koşulları kontrol etme
    # 2. eylemleri gerçekleştirme (potansiyel olarak koşulları değiştirme)
    # 3. diğer sözleşmelerle etkileşime girme
    # Bu aşamalar birbirine karıştırılırsa, diğer sözleşme
    # mevcut sözleşmeye geri çağrı yapabilir ve durumu değiştirebilir veya
    # etkilerin (ether ödemesi) birden fazla kez gerçekleştirilmesine neden olabilir.
    # Dahili olarak çağrılan işlevler harici sözleşmelerle etkileşim içeriyorsa,
    # bunların da harici sözleşmelerle etkileşim olarak
    # kabul edilmesi gerekir.

    # 1. Koşullar
    # Açık artırma bitiş zamanına ulaşılıp ulaşılmadığını kontrol edin
    assert block.timestamp >= self.auctionEnd
    # Bu işlevin zaten çağrılıp çağrılmadığını kontrol edin
    assert not self.ended

    # 2. Etkiler
    self.ended = True

    # 3. Etkileşim
    send(self.beneficiary, self.highestBid)

Bu örnek, Vyper sözleşme sözdiziminin neye benzediği hakkında size bir fikir vermelidir. Fonksiyonların ve değişkenlerin daha ayrıntılı bir açıklaması için belgelere bakın (yeni sekmede açılır).

Yul ve Yul+

Ethereum'da yeniyseniz ve henüz akıllı sözleşme dilleriyle herhangi bir kodlama yapmadıysanız, Solidity veya Vyper ile başlamanızı öneririz. Yalnızca akıllı sözleşme güvenliği en iyi uygulamalarına ve EVM ile çalışmanın özelliklerine aşina olduktan sonra Yul veya Yul+'ı inceleyin.

Yul

Ethereum için ara dil.
EVM'yi ve Ethereum aromalı bir WebAssembly olan Ewasm (yeni sekmede açılır)'ı destekler ve her iki platformun da kullanılabilir ortak paydası olacak şekilde tasarlanmıştır.
Hem EVM hem de Ewasm platformlarına eşit derecede fayda sağlayabilecek üst düzey optimizasyon aşamaları için iyi bir hedeftir.

Yul+

Yul'un düşük seviyeli, oldukça verimli bir uzantısı.
Başlangıçta bir iyimser rollup sözleşmesi için tasarlandı.
Yul+, Yul'a yeni özellikler ekleyen deneysel bir yükseltme teklifi olarak görülebilir.

Önemli bağlantılar

Örnek sözleşme

Aşağıdaki basit örnek bir üs alma fonksiyonunu uygular. solc --strict-assembly --bin input.yul kullanılarak derlenebilir. Örnek, input.yul dosyasında saklanmalıdır.

{
    function power(base, exponent) -> result
    {
        switch exponent
        case 0 { result := 1 }
        case 1 { result := base }
        default
        {
            result := power(mul(base, base), div(exponent, 2))
            if mod(exponent, 2) { result := mul(base, result) }
        }
    }
    let res := power(calldataload(0), calldataload(32))
    mstore(0, res)
    return(0, 32)
}

Akıllı sözleşmeler konusunda zaten iyi bir deneyime sahipseniz, Yul'da tam bir ERC-20 uygulaması burada (yeni sekmede açılır) bulunabilir.

Fe

Ethereum Sanal Makinesi (EVM) için statik tipli dil.
Python ve Rust'tan esinlenilmiştir.
Ethereum ekosisteminde yeni olan geliştiriciler için bile öğrenmesi kolay olmayı hedefler.
Fe geliştirmesi hala erken aşamalarındadır, dil alfa sürümünü Ocak 2021'de yayınlamıştır.

Önemli bağlantılar

Örnek sözleşme

Aşağıdaki, Fe'de uygulanan basit bir sözleşmedir.

type BookMsg = bytes[100]

contract GuestBook:
    pub guest_book: map<address, BookMsg>

    event Signed:
        book_msg: BookMsg

    pub def sign(book_msg: BookMsg):
        self.guest_book[msg.sender] = book_msg

        emit Signed(book_msg=book_msg)

    pub def get_msg(addr: address) -> BookMsg:
        return self.guest_book[addr].to_mem()

Nasıl seçilir

Diğer tüm programlama dillerinde olduğu gibi, bu çoğunlukla doğru iş için doğru aracı seçmekle ve kişisel tercihlerle ilgilidir.

Henüz dillerden hiçbirini denemediyseniz göz önünde bulundurmanız gereken birkaç şey şunlardır:

Solidity hakkında harika olan nedir?

Yeni başlıyorsanız, piyasada birçok eğitim ve öğrenme aracı bulunmaktadır. Bu konuda daha fazla bilgiyi Kodlayarak Öğrenin bölümünde bulabilirsiniz.
İyi geliştirici araçları mevcuttur.
Solidity büyük bir geliştirici topluluğuna sahiptir, bu da sorularınıza büyük olasılıkla oldukça hızlı bir şekilde yanıt bulacağınız anlamına gelir.

Vyper hakkında harika olan nedir?

Akıllı sözleşmeler yazmak isteyen Python geliştiricileri için başlamanın harika bir yoludur.
Vyper, fikirlerin hızlı bir şekilde prototiplenmesi için harika olmasını sağlayan daha az sayıda özelliğe sahiptir.
Vyper, denetlenmesi kolay ve maksimum düzeyde insan tarafından okunabilir olmayı hedefler.

Yul ve Yul+ hakkında harika olan nedir?

Basit ve işlevsel düşük seviyeli dil.
Sözleşmelerinizin gaz kullanımını optimize etmeye yardımcı olabilecek ham EVM'ye çok daha yaklaşmanızı sağlar.

Dil karşılaştırmaları

Temel sözdizimi, sözleşme yaşam döngüsü, arayüzler, operatörler, veri yapıları, fonksiyonlar, kontrol akışı ve daha fazlasının karşılaştırmaları için Auditless tarafından hazırlanan bu kopya kağıdına (yeni sekmede açılır) göz atın.