Dhia rau Tsiv - Facebook's Libra blockchain programming lus

Tom ntej no, peb yuav txiav txim siab kom ntxaws txog cov yam ntxwv tseem ceeb ntawm Cov lus txav thiab dab tsi yog nws qhov sib txawv tseem ceeb nrog lwm tus, twb yog cov lus nrov rau kev cog lus ntse - Solidity (ntawm Ethereum platform). Cov ntaub ntawv yog ua raws txoj kev tshawb fawb online 26-nplooj ntawv dawb.

Taw qhia

Tsiv yog ib hom lus bytecode uas siv tau los ua cov neeg siv khoom lag luam thiab cov ntawv cog lus ntse. Thov nco ntsoov ob lub ntsiab lus:

1. Thaum Tsiv yog cov lus bytecode uas tuaj yeem ua ncaj qha ntawm Tsiv lub tshuab virtual, Solidity (Ethereum cov lus cog lus ntse) yog cov lus qib siab dua uas tau suav ua ntej los ntawm bytecode ua ntej yuav ua tiav ntawm EVM (Ethereum Virtual Machine).
2. Kev txav mus los tuaj yeem siv tsis yog tsuas yog siv cov ntawv cog lus ntse, tab sis kuj rau kev ua lag luam kev cai (ntau ntxiv txog qhov no tom qab), Thaum Solidity yog cov lus cog lus ntse nkaus nkaus xwb.

Kev txhais lus tau ua los ntawm pab pawg INDEX raws tu qauv. Peb twb txhais lawm cov khoom loj piav txog Libra qhov project, tam sim no nws yog lub sijhawm los saib Move lus hauv me ntsis ntxiv. Kev txhais lus tau ua tiav nrog Habrauser cools ua

Ib qho tseem ceeb ntawm Move yog lub peev xwm los txhais cov peev txheej kev cai nrog semantics raws li cov lus piav qhia: cov peev txheej tsis tuaj yeem luam lossis tsis raug tshem tawm, tsuas yog tsiv mus. Functionally, qhov no zoo ib yam li lub peev xwm ntawm Rust lus. Cov nqi hauv Rust tsuas yog muab rau ib lub npe ib zaug xwb. Muab tus nqi rau ib lub npe sib txawv ua rau nws tsis muaj nyob rau hauv lub npe dhau los.

Piv txwv li, cov kab ntawv hauv qab no yuav cuam tshuam qhov yuam kev: Kev siv tus nqi txav 'x'. Qhov no vim tias tsis muaj kev khaws cov khib nyiab hauv Rust. Thaum cov kev hloov pauv mus dhau ntawm qhov txwv, lub cim xeeb lawv hais txog yog tso tawm ib yam nkaus. Yooj yim muab, tsuas muaj ib tus "tswv" ntawm cov ntaub ntawv. Hauv qhov piv txwv no x yog tus tswv qub thiab ces y ua tus tswv tshiab. Nyeem ntxiv txog tus cwj pwm no ntawm no.

Sawv cev ntawm cov cuab tam digital hauv cov kab ke qhib

Muaj ob lub zog ntawm cov cuab tam lub cev uas nyuaj rau digitally sawv cev:

• Neeg tsawg (Scarcity, keeb kwm tsis txaus). Tus naj npawb ntawm cov cuab tam (tso tawm) hauv qhov system yuav tsum raug tswj. Kev muab cov khoom qub uas twb muaj lawm yuav tsum raug txwv, thiab tsim cov tshiab yog txoj haujlwm tshwj xeeb.
• Kev nkag tswj... Tus neeg koom nrog hauv qhov system yuav tsum muaj peev xwm tiv thaiv cov cuab tam uas siv cov cai tswj kev nkag mus.

Ob yam ntxwv no, uas yog ib txwm muaj rau lub cev muaj txiaj ntsig, yuav tsum tau siv rau cov khoom digital yog tias peb xav txiav txim siab lawv li khoom muaj nqis. Piv txwv li, cov hlau tsis tshua muaj qhov tsis tshua muaj neeg, thiab tsuas yog koj muaj kev nkag tau rau nws (tuav nws hauv koj txhais tes, piv txwv) thiab koj tuaj yeem muag lossis siv nws.

Txhawm rau qhia peb tias peb tuaj txog ntawm ob lub zog no, peb pib nrog kab lus hauv qab no:

Cov lus pom zoo # 1: Txoj Cai Yooj Yim Tsis Muaj Kev Tsis Txaus Siab thiab Kev Nkag Mus Nkag

• G [K]: = n qhia txog qhov hloov tshiab ntawm tus lej nkag tau los ntawm tus yuam sij К nyob rau hauv lub ntiaj teb no lub xeev ntawm blockchain, nrog lub ntsiab lus tshiab n.
• kev sib pauv ⟨Alice, 100⟩ txhais tau tias teeb Alice tus lej nyiaj tshuav rau 100.

Cov tshuaj saum toj no muaj ntau yam teeb meem loj:

• Alice tuaj yeem tau txais cov npib tsis txwv los ntawm kev xa yooj yim Alice, 100⟩.
• Cov nyiaj npib Alice xa mus rau Bob tsis muaj txiaj ntsig, vim Bob tuaj yeem xa nws tus kheej tsis muaj pes tsawg tus npib siv tib txheej txheem.

Cov lus pom zoo # 2: Txiav txim siab qhov tsis txaus

Tam sim no peb tab tom saib xyuas qhov xwm txheej kom tus lej npib Ka tsawg kawg yog sib npaug n ua ntej qhov kev hloov pauv. Txawm li cas los xij, thaum qhov no daws qhov teeb meem ntawm qhov tsis txaus, tsis muaj cov ntaub ntawv hais txog leej twg tuaj yeem xa Alice cov nyiaj npib (rau tam sim no, leej twg tuaj yeem ua qhov no, qhov tseem ceeb yog tsis ua txhaum txoj cai ntawm kev txwv cov nyiaj).

Cov lus pom zoo # 3: Ua ke nrog qhov tsis txaus thiab nkag mus saib xyuas

Peb daws qhov teeb meem no nrog cov txheej txheem kos npe digital verify_sig ua ntej tshawb xyuas qhov nyiaj tshuav, uas txhais tau tias Alice siv nws tus lej ntiag tug los kos npe rau kev sib pauv thiab lees paub tias nws yog tus tswv ntawm nws cov nyiaj npib.

Cov lus programming Blockchain

Cov lus blockchain uas twb muaj lawm ntsib cov teeb meem hauv qab no (txhua ntawm lawv tau daws hauv Move (ceeb toom: Hmoov tsis zoo, tus sau ntawm tsab xov xwm tsuas yog thov rau Ethereum hauv nws qhov kev sib piv, yog li nws tsim nyog coj lawv tsuas yog hauv cov ntsiab lus no. Piv txwv li, feem ntau ntawm cov hauv qab no tseem tau daws hauv EOS.))):

Kev sawv cev ncaj qha ntawm cov khoom muaj nqis. Ib qho cuab tam yog encoded siv tus lej, tab sis tus lej tsis zoo ib yam li cov khoom vaj khoom tsev. Qhov tseeb, tsis muaj hom lossis tus nqi sawv cev rau Bitcoin / Ether / <Ib Npib>! Qhov no ua rau kev sau ntawv uas siv cov cuab yeej cuab tam nyuaj thiab ua yuam kev. Cov qauv xws li hla cov khoom muaj nqis mus rau / los ntawm cov txheej txheem lossis khaws cov khoom muaj nqis hauv cov qauv xav tau kev txhawb nqa tshwj xeeb los ntawm cov lus.

Qhov tsis txaus yog tsis nthuav dav... Lus sawv cev tsuas yog ib qho khoom muaj nqis. Ib qho ntxiv, cov tshuaj tiv thaiv qhov tsis txaus yog siv ncaj qha rau hauv cov ntsiab lus ntawm cov lus nws tus kheej. Tus tsim tawm, yog nws xav tsim cov khoom muaj cai, yuav tsum ua tib zoo tswj txhua yam ntawm cov peev txheej nws tus kheej. Nov yog cov teeb meem ntawm Ethereum cov ntawv cog lus ntse.

Cov neeg siv muab lawv cov khoom muaj nqis, ERC-20 tokens, siv cov lej los txiav txim siab ob qho tib si tus nqi thiab tag nrho cov khoom siv. Thaum twg los xij tokens tshiab tau tsim, daim ntawv cog lus ntse yuav tsum tau ywj siab txheeb xyuas qhov ua tau raws li cov cai tso tawm. Ib qho ntxiv, kev nthuav qhia ncaj qha ntawm cov khoom muaj nqis, qee qhov, ua rau muaj qhov ua yuam kev loj - rov ua dua, siv ob zaug lossis txawm tias ua tiav cov peev txheej poob.

Tsis muaj kev tswj tau yooj yim... Tib txoj cai tswj hwm kev siv niaj hnub no yog cov phiaj xwm kos npe siv asymmetric cryptography. Zoo li kev tiv thaiv tsis txaus, kev tswj hwm kev nkag mus tau tob tob hauv cov ntsiab lus ntawm cov lus. Tab sis yuav ua li cas ntxiv cov lus kom tso cai rau cov programmer los txheeb xyuas lawv tus kheej txoj cai tswj hwm kev nkag mus feem ntau yog txoj haujlwm nyuaj heev.

Qhov no kuj muaj tseeb ntawm Ethereum, qhov twg cov ntawv cog lus ntse tsis muaj kev txhawb nqa cryptography rau kev nkag mus. Cov neeg tsim khoom yuav tsum tau teeb tsa kev tswj hwm tus kheej, piv txwv li, siv tus tswv hloov kho nkaus xwb.

Txawm hais tias kuv yog tus kiv cua loj ntawm Ethereum, Kuv ntseeg tias cov cuab yeej cuab tam yuav tsum tau txais kev txhawb nqa los ntawm hom lus rau kev ruaj ntseg. Tshwj xeeb, hloov Ether mus rau ib daim ntawv cog lus ntse suav nrog kev xa tawm tsis muaj zog, uas tau qhia txog cov kab mob tshiab hu ua re-entrancy vulnerabilities. Dynamic dispatch ntawm no txhais tau hais tias qhov kev ua tiav logic ntawm cov cai yuav raug txiav txim siab ntawm lub sijhawm khiav (dynamic) es tsis yog lub sijhawm sib sau (static).

Yog li, nyob rau hauv Solidity, thaum daim ntawv cog lus A hu rau ib tug muaj nuj nqi nyob rau hauv daim ntawv cog lus B, daim ntawv cog lus B yuav khiav code uas tsis tau npaj los ntawm daim ntawv cog lus A tus tsim tawm, uas tej zaum yuav ua rau muaj teeb meem. re-entry vulnerabilities (Daim ntawv cog lus A yuam kev ua raws li daim ntawv cog lus B kom thim nyiaj ua ntej cov nyiaj tshuav nyiaj yuav raug txiav tawm).

Move Language Design Fundamentals

Kev txiav txim thawj zaug

Hauv qib siab, kev sib cuam tshuam ntawm cov qauv / cov peev txheej / txheej txheem hauv Cov lus txav yog zoo ib yam li kev sib raug zoo ntawm cov chav kawm / khoom thiab cov txheej txheem hauv OOP lus.
Tsiv cov qauv zoo ib yam li cov ntawv cog lus ntse hauv lwm cov blockchains. Tus qauv tshaj tawm cov peev txheej thiab txheej txheem uas piav qhia cov cai rau kev tsim, rhuav tshem, thiab hloov kho tshaj tawm cov peev txheej. Tab sis tag nrho cov no tsuas yog kev pom zoo ("lus dab neeg") Hauv Tsiv. Peb yuav qhia qhov no me ntsis tom qab.

Flexibility

Tsiv ntxiv hloov tau yooj yim rau Libra los ntawm kev sau ntawv. Txhua qhov kev hloov pauv hauv Libra suav nrog tsab ntawv, uas yog qhov tseem ceeb ntawm cov txheej txheem ntawm kev hloov pauv. Tsab ntawv tuaj yeem ua ib qho kev txiav txim, piv txwv li, them nyiaj rau ib daim ntawv teev npe ntawm cov neeg tau txais kev pab, lossis rov siv lwm cov peev txheej - piv txwv li, los ntawm kev hu rau tus txheej txheem uas tau teev tseg. Qhov no yog vim li cas Tsiv cov ntawv sau ua lag luam muaj kev hloov pauv ntau dua. Ib tsab ntawv tuaj yeem siv ob qho tib si ib zaug thiab rov ua tus cwj pwm, thaum Ethereum tsuas tuaj yeem ua cov ntawv rov ua dua (hu rau ib txoj hauv kev ntawm txoj kev cog lus ntse). Yog vim li cas nws hu ua "reusable" yog vim hais tias cov haujlwm ntawm daim ntawv cog lus ntse tuaj yeem ua tiav ntau zaus. (coj: Lub ntsiab lus ntawm no yog hloov maj mam. Ntawm qhov tod tes, cov ntawv hloov pauv hauv daim ntawv pseudo-bytecode kuj muaj nyob hauv Bitcoin. Ntawm qhov tod tes, raws li kuv nkag siab nws, Txav mus nthuav cov lus no, qhov tseeb, mus rau qib ntawm cov lus cog lus ntse puv npo).

Kev ruaj ntseg

Cov ntawv txav tau ua tiav yog bytecode, uas yog, ntawm ib sab, cov lus qib siab dua li cov lus sib dhos, tab sis qib qis dua li qhov chaws. Cov bytecode raug tshuaj xyuas hauv lub sijhawm ua haujlwm (on-chain) rau cov peev txheej, hom thiab kev ruaj ntseg nco siv lub bytecode verifier, thiab tom qab ntawd ua tiav los ntawm tus neeg txhais lus. Txoj hauv kev no tso cai rau Tsiv los muab kev ruaj ntseg ntawm qhov chaws, tab sis tsis muaj cov txheej txheem muab tso ua ke thiab qhov xav tau ntxiv cov compiler rau lub kaw lus. Ua Move ib hom lus bytecode yog ib qho kev daws teeb meem zoo heev. Nws tsis tas yuav tsum tau muab tso ua ke los ntawm qhov chaw, ib yam li cov ntaub ntawv nrog Solidity, thiab tsis tas yuav txhawj xeeb txog kev ua tsis tiav lossis kev tawm tsam ntawm cov compiler infrastructure.

Kev txheeb xyuas qhov tseeb

Peb yog tsom rau kev ua cov tshev kom yooj yim li sai tau, txij li txhua qhov no tau ua tiav ntawm cov saw hlau (ceeb toom: online, thaum ua tiav ntawm txhua qhov kev sib pauv, yog li txhua qhov kev ncua ua rau qeeb ntawm tag nrho cov network), txawm li cas los xij, thawj hom lus tsim tau npaj los siv cov cuab yeej pov thawj zoo li qub. Txawm hais tias qhov no yog qhov zoo dua, rau tam sim no kev txhim kho cov cuab yeej pov thawj (raws li cov cuab yeej sib cais) tau raug ncua rau yav tom ntej, thiab tam sim no tsuas yog kev txheeb xyuas qhov tseeb hauv lub sijhawm khiav (on-chain) tau txais kev txhawb nqa.

Qauv

Tsiv cov qauv muab cov ntaub ntawv rho tawm thiab ua haujlwm tseem ceeb ntawm cov peev txheej. Cov ntawv kaw los ntawm tus qauv, suav nrog kev tiv thaiv los ntawm Move hom system, ua kom ntseeg tau tias cov khoom teeb tsa ntawm tus qauv hom tsis tuaj yeem ua txhaum txoj cai sab nraum tus qauv. Qhov no yog qhov kev xav tau zoo-tsim cov ntsiab lus tsim tawm, txhais tau tias cov ntaub ntawv hauv daim ntawv cog lus tsuas tuaj yeem hloov pauv hauv thaj tsam ntawm daim ntawv cog lus, tab sis tsis yog sab nrauv.

Tsiv tus txheej txheem cej luam

Piv txwv tsab ntawv pauv pauv qhia tias kev ua phem lossis tsis saib xyuas los ntawm tus programmer sab nraud tus qauv tsis tuaj yeem cuam tshuam kev nyab xeeb ntawm tus qauv cov peev txheej. Tom ntej no, peb yuav saib cov piv txwv ntawm yuav ua li cas cov qauv, cov peev txheej, thiab cov txheej txheem raug siv los ua haujlwm Libra blockchain.

Peer-to-Peer them nyiaj

Tus naj npawb ntawm cov nyiaj npib teev nyob rau hauv tus nqi yuav raug xa los ntawm tus xa cov nyiaj tshuav mus rau tus neeg txais.
Muaj ob peb yam tshiab ntawm no (highlighted hauv liab):

• 0x0: chaw nyob ntawm tus as khauj qhov twg khaws cov qauv
• txiaj: module lub npe
• npib: yam kev pab
• Tus nqi npib rov qab los ntawm tus txheej txheem yog tus nqi peev txheej ntawm 0x0.Currency.Coin
• txav (): tus nqi tsis tuaj yeem siv dua
• luam (): tus nqi tuaj yeem siv tom qab

Nyeem cov cai: hauv thawj kauj ruam, tus xa ntawv hu tus txheej txheem npe rho_ los ntawm _ tus xa ntawv los ntawm ib qho module khaws cia rau hauv 0x0cur ua. Hauv kauj ruam thib ob, tus neeg xa khoom xa nyiaj mus rau tus neeg txais nyiaj los ntawm kev txav cov peev txheej nyiaj npib rau hauv cov txheej txheem tso nyiaj. 0x0cur ua.

Nov yog peb qhov piv txwv ntawm qhov yuam kev hauv cov lej uas yuav raug tsis lees paub los ntawm cov tshev:
Luam cov nyiaj los ntawm kev hloov hu txav (npib) rau luam (npib). Cov peev txheej tsuas yog txav tau. Sim kom duplicate ib tug ntau ntawm cov peev txheej (piv txwv li, los ntawm kev hu luam (npib) hauv qhov piv txwv saum toj no) yuav ua rau muaj qhov yuam kev thaum tshawb xyuas bytecode.

Rov qab siv cov nyiaj los ntawm kev qhia meej txav (npib) ob zaug . Ntxiv ib kab 0x0.Currency.deposit (copy (some_other_payee), txav (npib)) Piv txwv li, cov saum toj no yuav tso cai rau tus xa mus "siv" cov nyiaj npib ob zaug - thawj zaug nrog tus neeg them nyiaj, thiab thib ob nrog some_lwm_payee. Qhov no yog ib qho kev coj cwj pwm tsis zoo uas tsis tuaj yeem ua tau nrog lub cev khoom vaj khoom tsev. Hmoov zoo, Move yuav tsis lees txais qhov program no.

Kev poob nyiaj vim tsis kam lees txav (npib). Yog tias koj tsis txav cov peev txheej (piv txwv li, los ntawm kev rho tawm cov kab uas muaj txav (npib)), qhov yuam kev bytecode pov thawj yuav raug pov tseg. Qhov no tiv thaiv Move programmers los ntawm kev ua yuam kev lossis ua phem tsis zoo ntawm cov nyiaj.

Nyiaj module

Txhua tus account tuaj yeem muaj 0 lossis ntau dua modules (pom zoo li cov duab plaub) thiab ib lossis ntau qhov peev txheej (pom zoo li lub tog raj kheej). Piv txwv li, ib tug account ntawm 0x0 muaj module 0x0cur ua thiab tus nqi ntawm cov peev txheej 0x0.Currency npib. Account ntawm qhov chaw nyob 0x1 muaj ob lub peev txheej thiab ib qho module; Account ntawm qhov chaw nyob 0x2 muaj ob modules thiab ib tug nqi peev txheej.

Tsis ntev los no:

• Cov ntawv sau ua haujlwm yog atomic - txawm tias nws tau ua tiav lossis tsis tag.
• Ib tug module yog ib tug ntev-nyob daim ntawv teev cov code uas yog lub ntiaj teb no siv tau.
• Lub xeev thoob ntiaj teb tau teeb tsa ua lub rooj hash, qhov twg tus yuam sij yog tus account chaw nyob
• Cov nyiaj muaj peev xwm tsis pub ntau tshaj ib qho peev txheej ntawm ib hom thiab tsis pub ntau tshaj ib qho module nrog lub npe muab (tus account ntawm 0x0 tsis tuaj yeem muaj cov peev txheej ntxiv 0x0.Currency npib los yog lwm lub npe hu ua module txiaj)
• Qhov chaw nyob ntawm lub module tshaj tawm yog ib feem ntawm hom (0x0.Currency npib и 0x1.Currency npib yog hom cais uas tsis tuaj yeem siv sib hloov tau)
• Programmers tuaj yeem khaws ntau yam ntawm cov peev txheej no hauv ib tus account los ntawm kev txhais lawv cov peev txheej kev cai - (peev TwoCoins {c1: 0x0.Currency.Coin, c2: 0x0.Currency.Coin})
• Koj tuaj yeem xa mus rau cov peev txheej los ntawm nws lub npe yam tsis muaj kev tsis sib haum xeeb, piv txwv li koj tuaj yeem xa mus rau ob qhov kev siv ObCoins.c1 и ObCoins.c2.

Nyiaj npib tshaj tawm

Module npe txiaj thiab hom ntaub ntawv muaj npe npib

Tsis ntev los no:

• npib yog ib qho qauv nrog ib hom kev kawm u64 (64-ntsis integer)
• Cov txheej txheem module nkaus xwb txiaj tuaj yeem tsim lossis rhuav tshem cov txiaj ntsig ntawm hom npib.
• Lwm cov qauv thiab cov ntawv sau tsuas tuaj yeem sau lossis siv tus nqi teb los ntawm cov txheej txheem pej xeem muab los ntawm module.

Kev muag khoom tso nyiaj

Cov txheej txheem no lees txais cov peev txheej npib raws li cov tswv yim thiab muab nws nrog cov peev txheej npibkhaws cia rau hauv tus neeg txais nyiaj account:

1. Ua kom puas cov khoom siv nyiaj npib thiab sau nws tus nqi.
2. Tau txais ib qhov txuas mus rau ib qho nyiaj npib tshwj xeeb uas khaws cia hauv tus neeg txais nyiaj.
3. Hloov tus nqi ntawm tus naj npawb ntawm npib los ntawm tus nqi dhau ntawm qhov ntsuas thaum hu rau tus txheej txheem.

Tsis ntev los no:

• Unpack, qivGlobal - cov txheej txheem ua
• Tshem tawm Qhov no yog tib txoj hauv kev los rho tawm cov peev txheej ntawm hom T. Cov txheej txheem yuav siv cov peev txheej raws li kev tawm tswv yim, rhuav tshem nws, thiab xa rov qab tus nqi cuam tshuam nrog cov peev txheej ntawm thaj chaw.
• QivGlobal siv qhov chaw nyob raws li cov tswv yim thiab xa rov qab ib qho kev siv rau ib qho piv txwv tshwj xeeb ntawm T luam tawm (muaj) los ntawm qhov chaw nyob
• &mut Npib qhov no yog qhov txuas rau cov peev txheej npib

Kev siv ntawm rho_from_sender

Cov txheej txheem no:

1. Tau txais ib qhov txuas mus rau qhov chaw tshwj xeeb npib, txuas mus rau tus xa tus account
2. Txo tus nqi ntawm cov peev txheej npib ntawm qhov txuas rau tus nqi teev tseg
3. Tsim thiab xa cov peev txheej tshiab npib nrog hloov tshiab tshuav nyiaj li cas.

Tsis ntev los no:

• deposit tuaj yeem tshwm sim los ntawm leej twg, tab sis rho_ los ntawm _ tus xa ntawv tsuas yog muaj kev nkag mus rau cov nyiaj npib ntawm tus lej hu
• GetTxnSenderAddress zoo ib yam li msg.sender hauv Solidity
• RejectUnless zoo ib yam li yuav tsum tau hauv Solidity. Yog tias daim tshev no ua tsis tiav, qhov kev hloov pauv tau nres thiab txhua qhov kev hloov pauv tau rov qab.
• Pob nws kuj yog ib txoj hauv kev uas tsim cov peev txheej tshiab ntawm hom T.
• Zoo li Tshem tawm, Pob tsuas yog hu rau hauv lub module uas cov peev txheej tau piav qhia T

xaus

Peb tau tshuaj xyuas cov yam ntxwv tseem ceeb ntawm Move lus, piv nrog Ethereum, thiab kuj tau paub txog cov ntsiab lus ntawm cov ntawv sau. Thaum kawg, kuv pom zoo kom mus xyuas daim ntawv dawb. Nws suav nrog ntau cov ntsiab lus hais txog kev tsim cov qauv lus programming, nrog rau ntau qhov txuas muaj txiaj ntsig.

Tau qhov twg los: www.hab.com