Lugha za mikataba mahiri

Kipengele kikuu kuhusu Ethereum ni kwamba mikataba-erevu inaweza kupangwa kwa kutumia lugha ambazo ni rahisi kwa wasanidi programu. Ikiwa una uzoefu na Python au lugha yoyote ya mabano (opens in a new tab), unaweza kupata lugha yenye sintaksia unayoifahamu.

Lugha mbili zinazotumika zaidi na kudumishwa ni:

• Solidity
• Vyper

Remix IDE hutoa mazingira kamili ya uendelezaji kwa ajili ya kuunda na kujaribu mikataba katika Solidity na Vyper. Jaribu Remix IDE ya kwenye kivinjari (opens in a new tab) ili kuanza kuandika msimbo.

Wasanidi programu wenye uzoefu zaidi wanaweza pia kutaka kutumia Yul, lugha ya kati ya Mashine ya mtandaoni ya Ethereum, au Yul+, kiendelezi cha Yul.

Ikiwa una hamu ya kujua na unapenda kusaidia kujaribu lugha mpya ambazo bado zinatengenezwa sana, unaweza kujaribu Fe, lugha mpya ya mkataba-erevu ambayo bado iko katika hatua za mwanzo.

Mahitaji ya awali

Ujuzi wa awali wa lugha za programu, hasa JavaScript au Python, unaweza kukusaidia kuelewa tofauti katika lugha za mkataba-erevu. Pia tunapendekeza uelewe mikataba-erevu kama dhana kabla ya kuzama sana katika ulinganisho wa lugha. Utangulizi wa mikataba-erevu.

Solidity

• Lugha ya kiwango cha juu, inayolenga vitu kwa ajili ya kutekeleza mikataba-erevu.
• Lugha ya mabano ambayo imeathiriwa pakubwa na C++.
• Aina tuli (aina ya kigezo hujulikana wakati wa kuandaliwa).
• Inasaidia:
  • Urithi (unaweza kupanua mikataba mingine).
  • Maktaba (unaweza kuunda msimbo unaoweza kutumika tena ambao unaweza kuuita kutoka kwa mikataba tofauti - kama vile vitendaji tuli katika darasa tuli katika lugha zingine za programu zinazolenga vitu).
  • Aina changamano zilizofafanuliwa na mtumiaji.

Viungo muhimu

• Nyaraka (opens in a new tab)
• Tovuti ya Lugha ya Solidity (opens in a new tab)
• Solidity kwa Mfano (opens in a new tab)
• GitHub (opens in a new tab)
• Chumba cha Gumzo cha Solidity Matrix (opens in a new tab) kimeunganishwa na Chumba cha Gumzo cha Solidity Matrix (opens in a new tab)
• Karatasi ya Kudokezea (opens in a new tab)
• Blogu ya Solidity (opens in a new tab)
• Twitter ya Solidity (opens in a new tab)

Mfano wa mkataba

// SPDX-Kitambulisho-Leseni: GPL-3.0
pragma solidity >= 0.7.0;

contract Coin {
    // Neno kuu "public" hufanya vigezo
    // kupatikana kutoka kwa mikataba mingine
    address public minter;
    mapping (address => uint) public balances;

    // Matukio huruhusu wateja kujibu mabadiliko maalum
    // ya mkataba unaotangaza
    event Sent(address from, address to, uint amount);

    // Msimbo wa kiunda huendeshwa tu wakati mkataba
    // unapoundwa
    constructor() {
        minter = msg.sender;
    }

    // Hutuma kiasi cha sarafu mpya zilizoundwa kwa anwani
    // Inaweza kuitwa tu na muundaji wa mkataba
    function mint(address receiver, uint amount) public {
        require(msg.sender == minter);
        require(amount < 1e60);
        balances[receiver] += amount;
    }

    // Hutuma kiasi cha sarafu zilizopo
    // kutoka kwa mpigaji simu yeyote hadi anwani
    function send(address receiver, uint amount) public {
        require(amount <= balances[msg.sender], "Salio halitoshi.");
        balances[msg.sender] -= amount;
        balances[receiver] += amount;
        emit Sent(msg.sender, receiver, amount);
    }
}

Mfano huu unapaswa kukupa hisia ya jinsi sintaksia ya mkataba wa Solidity ilivyo. Kwa maelezo ya kina zaidi ya vitendaji na vigezo, angalia nyaraka (opens in a new tab).

Vyper

• Lugha ya programu ya Pythonic
• Uchapaji imara
• Msimbo mdogo na unaoeleweka wa mkusanyaji
• Uundaji bora wa bytecode
• Kwa makusudi ina vipengele vichache kuliko Solidity kwa lengo la kufanya mikataba iwe salama zaidi na rahisi kukagua. Vyper haiungi mkono:
  • Virekebishaji
  • Urithi
  • Mkusanyiko wa ndani
  • Upakiaji mwingi wa kitendaji
  • Upakiaji mwingi wa kiendeshaji
  • Wito unaojirudia
  • Mizunguko ya urefu usio na kikomo
  • Nukta zisizobadilika za mfumo wa namba mbili

Kwa maelezo zaidi, soma mantiki ya Vyper (opens in a new tab).

Viungo muhimu

• Nyaraka (opens in a new tab)
• Vyper kwa Mfano (opens in a new tab)
• Vyper Zaidi kwa Mfano (opens in a new tab)
• GitHub (opens in a new tab)
• Gumzo la jumuiya ya Vyper Discord (opens in a new tab)
• Karatasi ya Kudokezea (opens in a new tab)
• Mifumo na zana za ukuzaji wa mkataba-erevu kwa Vyper
• VyperPunk - jifunze kulinda na kudukua mikataba-erevu ya Vyper (opens in a new tab)
• Kitovu cha Vyper kwa ajili ya maendeleo (opens in a new tab)
• Mifano bora zaidi ya mikataba-erevu ya Vyper (opens in a new tab)
• Rasilimali zilizoratibiwa za Awesome Vyper (opens in a new tab)

Mfano

# Mnada Wazi

# Vigezo vya mnada

# Mpokeaji hupokea pesa kutoka kwa mzabuni wa juu zaidi

beneficiary: public(address)
auctionStart: public(uint256)
auctionEnd: public(uint256)

# Hali ya sasa ya mnada

highestBidder: public(address)
highestBid: public(uint256)

# Imewekwa kuwa kweli mwishoni, inazuia mabadiliko yoyote

ended: public(bool)

# Fuatilia zabuni zilizorejeshwa ili tuweze kufuata mtindo wa kutoa pesa

pendingReturns: public(HashMap[address, uint256])

# Unda mnada rahisi na `_bidding_time`

# muda wa sekunde za zabuni kwa niaba ya

# anwani ya mpokeaji `_beneficiary`.

@external
def __init__(_beneficiary: address, _bidding_time: uint256):
    self.beneficiary = _beneficiary
    self.auctionStart = block.timestamp
    self.auctionEnd = self.auctionStart + _bidding_time

# Zabuni kwenye mnada na thamani iliyotumwa

# pamoja na muamala huu.

# Thamani itarejeshwa tu ikiwa

# mnada haujashindwa.

@external
@payable
def bid():
    # Angalia kama muda wa zabuni umeisha.
    assert block.timestamp < self.auctionEnd
    # Angalia kama zabuni ni ya juu vya kutosha
    assert msg.value > self.highestBid
    # Fuatilia urejeshaji wa pesa kwa mzabuni wa awali wa juu
    self.pendingReturns[self.highestBidder] += self.highestBid
    # Fuatilia zabuni mpya ya juu
    self.highestBidder = msg.sender
    self.highestBid = msg.value

# Toa zabuni iliyorejeshwa hapo awali. Mtindo wa kutoa pesa ni

# hutumika hapa kuepuka suala la usalama. Kama urejeshaji fedha ungekuwa moja kwa moja

# zilizotumwa kama sehemu ya bid(), mkataba hasidi wa zabuni ungeweza kuzuia

# urejeshaji huo na hivyo kuzuia zabuni mpya za juu kuingia.

@external
def withdraw():
    pending_amount: uint256 = self.pendingReturns[msg.sender]
    self.pendingReturns[msg.sender] = 0
    send(msg.sender, pending_amount)

# Maliza mnada na tuma zabuni ya juu zaidi

# kwa mpokeaji.

@external
def endAuction():
    # Ni mwongozo mzuri wa kupanga vitendaji vinavyoingiliana
    # na mikataba mingine (yaani, huita vitendaji au hutuma ether)
    # katika awamu tatu:
    # 1. kuangalia masharti
    # 2. kufanya vitendo (vinavyoweza kubadilisha masharti)
    # 3. kuingiliana na mikataba mingine
    # Ikiwa awamu hizi zimechanganywa, mkataba mwingine unaweza kuita
    # tena katika mkataba wa sasa na kurekebisha hali au kusababisha
    # athari (malipo ya ether) kufanywa mara nyingi.
    # Ikiwa vitendaji vinavyoitwa ndani ni pamoja na mwingiliano na nje
    # mikataba, pia inapaswa kuzingatiwa mwingiliano na
    # mikataba ya nje.

    # 1. Masharti
    # Angalia kama muda wa mwisho wa mnada umefikiwa
    assert block.timestamp >= self.auctionEnd
    # Angalia kama kitendaji hiki tayari kimeitwa
    assert not self.ended

    # 2. Athari
    self.ended = True

    # 3. Mwingiliano
    send(self.beneficiary, self.highestBid)

Mfano huu unapaswa kukupa hisia ya jinsi sintaksia ya mkataba wa Vyper ilivyo. Kwa maelezo ya kina zaidi ya vitendaji na vigezo, angalia nyaraka (opens in a new tab).

Yul na Yul+

Ikiwa wewe ni mgeni kwa Ethereum na bado hujafanya uandishi wowote wa msimbo na lugha za mkataba-erevu, tunapendekeza uanze na Solidity au Vyper. Angalia Yul au Yul+ mara tu unapofahamu mbinu bora za usalama wa mkataba-erevu na maelezo mahususi ya kufanya kazi na EVM.

Yul

• Lugha ya kati kwa Ethereum.
• Inasaidia EVM na Ewasm (opens in a new tab), Mkusanyiko wa Wavuti wenye ladha ya Ethereum, na imeundwa kuwa kigawanyiko cha kawaida kinachoweza kutumika cha majukwaa yote mawili.
• Lengo zuri kwa hatua za uboreshaji wa kiwango cha juu ambazo zinaweza kufaidi majukwaa ya EVM na Ewasm kwa usawa.

Yul+

• Kiendelezi cha kiwango cha chini, chenye ufanisi mkubwa kwa Yul.
• Hapo awali iliyoundwa kwa ajili ya mkataba wa optimistic rollup.
• Yul+ inaweza kutazamwa kama pendekezo la majaribio la sasisho kwa Yul, na kuongeza vipengele vipya kwake.

Viungo muhimu

• Nyaraka za Yul (opens in a new tab)
• Nyaraka za Yul+ (opens in a new tab)
• Chapisho la Utangulizi la Yul+ (opens in a new tab)

Mfano wa mkataba

Mfano rahisi ufuatao unatekeleza kitendaji cha nguvu. Inaweza kuandaliwa kwa kutumia solc --strict-assembly --bin input.yul. Mfano unapaswa kuhifadhiwa katika faili ya input.yul.

{
    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)
}

Ikiwa tayari una uzoefu mzuri na mikataba-erevu, utekelezaji kamili wa ERC20 katika Yul unaweza kupatikana hapa (opens in a new tab).

Fe

• Lugha ya aina tuli kwa ajili ya Mashine ya mtandaoni ya Ethereum (EVM).
• Imehamasishwa na Python na Rust.
• Inalenga kuwa rahisi kujifunza -- hata kwa wasanidi programu ambao ni wapya kwenye mfumo ikolojia wa Ethereum.
• Uendelezaji wa Fe bado uko katika hatua za mwanzo, lugha hiyo ilikuwa na toleo lake la alpha mnamo Januari 2021.

Viungo muhimu

• GitHub (opens in a new tab)
• Tangazo la Fe (opens in a new tab)
• Ramani ya Fe 2021 (opens in a new tab)
• Gumzo la Fe Discord (opens in a new tab)
• Twitter ya Fe (opens in a new tab)

Mfano wa mkataba

Ufuatao ni mkataba rahisi uliotekelezwa katika Fe.

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()

Jinsi ya kuchagua

Kama ilivyo kwa lugha nyingine yoyote ya programu, mara nyingi ni kuhusu kuchagua zana inayofaa kwa kazi inayofaa na pia mapendeleo ya kibinafsi.

Hapa kuna mambo machache ya kuzingatia ikiwa bado hujajaribu lugha yoyote:

Ni nini kizuri kuhusu Solidity?

• Ikiwa wewe ni mwanzilishi, kuna mafunzo na zana nyingi za kujifunza. Angalia zaidi kuhusu hilo katika sehemu ya Jifunze kwa Kuandika Msimbo.
• Zana nzuri za msanidi programu zinapatikana.
• Solidity ina jumuiya kubwa ya wasanidi programu, ambayo inamaanisha kuna uwezekano mkubwa utapata majibu ya maswali yako haraka sana.

Ni nini kizuri kuhusu Vyper?

• Njia nzuri ya kuanza kwa wasanidi wa Python wanaotaka kuandika mikataba-erevu.
• Vyper ina idadi ndogo ya vipengele vinavyoifanya kuwa nzuri kwa ajili ya kuunda mifano ya haraka ya mawazo.
• Vyper inalenga kuwa rahisi kukagua na kusomeka kwa urahisi iwezekanavyo kwa binadamu.

Ni nini kizuri kuhusu Yul na Yul+?

• Lugha rahisi na inayofanya kazi ya kiwango cha chini.
• Inaruhusu kusogea karibu zaidi na EVM mbichi, ambayo inaweza kusaidia kuboresha matumizi ya gesi ya mikataba yako.

Ulinganisho wa lugha

Kwa ulinganisho wa sintaksia ya msingi, mzunguko wa maisha ya mkataba, violesura, viendeshaji, miundo ya data, vitendaji, mtiririko wa udhibiti, na zaidi angalia karatasi hii ya kudokezea ya Auditless (opens in a new tab)

Masomo zaidi

• Maktaba ya Mikataba ya Solidity na OpenZeppelin (opens in a new tab)
• Solidity kwa Mfano (opens in a new tab)