U quusi ​​dhaqaaq - Luqadda barnaamijka ee Libra blockchain ee Facebook

Marka xigta, waxaan si faahfaahsan u tixgelin doonnaa astaamaha ugu waaweyn ee luuqadda Dhaqaaqa iyo maxay yihiin kala duwanaanshaheeda muhiimka ah ee leh luqad kale, oo horeba caan u ahayd heshiisyada caqliga leh - Solidity (madal Ethereum). Qoraalku wuxuu ku salaysan yahay daraasad lagu sameeyay warqadda cad ee 26-ka bogle ah.

Horudhac

Dhaqdhaqaaqa waa luqadda bytecode ee la fulin karo oo loo isticmaalo in lagu fuliyo macaamil ganacsi iyo qandaraasyo caqli gal ah. Fadlan ogow laba qodob:

1. In kasta oo Move uu yahay luuqad koodh oo si toos ah loogu fulin karo mashiinka dalwaddii Move, Solidity (luqadda heshiiska caqliga leh ee Ethereum) waa luuqad heer sare ah oo marka hore lagu soo ururiyo koodh-ka-hor intaan lagu dilin EVM (Ethereum Virtual Machine).
2. Dhaqdhaqaaqa waxaa loo adeegsan karaa oo kaliya in la fuliyo qandaraasyo caqli badan, laakiin sidoo kale macaamil ganacsi (wax badan oo ku saabsan tan dambe), halka Solidity uu yahay luuqad qandaraas oo caqli badan.

Turjumaada waxaa fuliyay kooxda mashruuca Protocol ee INDEX. Horay ayaanu u turjumaynay qalab weyn oo qeexaya mashruuca Miisaanka, hadda waa waqtigii aad ku eegi lahayd luqadda dhaqaaqa si faahfaahsan. Turjumaada waxaa si wadajir ah loola fuliyay Habrauser coolsiu

Tilmaamaha ugu muhiimsan ee Dhaqdhaqaaqa waa awooda lagu qeexo noocyada kheyraadka caadiga ah ee semantics ku salaysan macquulka toosan: kheyraadka marnaba lama koobiyn karo ama si aan toos ahayn looma tirtiri karo, kaliya waa la rari karaa. Waxqabad ahaan, tani waxay la mid tahay awoodaha luqadda Rustka. Qiimaha ku jira miridhku waxa kaliya oo lagu meelayn karaa hal magac markiiba. U qoondaynta qiimaha magac kale waxay ka dhigaysaa mid aan lagu heli karin magacii hore.

Tusaale ahaan, qodobka soo socda ee koodhku wuxuu tuuri doonaa qalad: Isticmaalka qiimaha dhaqaaqay 'x'. Tani waa sababta oo ah ma jiraan qashin ururinta Rust. Marka doorsoomayaashu ka baxaan baaxadda, xusuusta ay tilmaamayaan sidoo kale waa la xoreeyay. Si fudud haddii loo dhigo, waxaa jiri kara hal “milkiile” xogta. Tusaalahan x waa milkiilaha asalka ah kadibna y noqda mulkiilaha cusub. Halkan ka akhri wax badan oo ku saabsan hab-dhaqankan.

Matalaadda hantida dijitaalka ah ee nidaamyada furan

Waxaa jira laba sifo oo ah hantida jireed oo ay adag tahay in si dijital ah loo matalo:

• Caadirnimo (Hoos -u -dhac, markii hore yaraa). Tirada hantida (qiiqa) ku jira nidaamka waa in la xakameeyo. Ku -dhufashada hantida jirta waa in la mamnuuco, abuurista kuwo cusubna waa hawlgal mudnaan leh.
• Xakamaynta marin u helka... Ka -qaybgalaha nidaamku waa inuu awoodaa inuu ilaaliyo hantida isagoo adeegsanaya siyaasadaha xakamaynta gelitaanka.

Labadan astaamood, oo dabiici u ah hantida jireed, waa in loo hirgaliyaa walxaha dijitaalka ah haddii aan rabno inaan u tixgelinno inay yihiin hanti. Tusaale ahaan, birta dhifka ah waxay leedahay cillad dabiici ah, oo adiga uun baa heli kara (tusaale ahaan gacmahaaga ku hay) oo waad iibin kartaa ama qarashgarayn kartaa.

Si aan u muujino sidaan ku nimid labadan guri, aan ku bilowno jumladaha soo socda:

Talo # 1: Xeerka ugu Fudud oo aan lahayn Nadiifnimo iyo Xakamayn Helitaan

• G [K]: = n waxay tilmaamaysaa cusboonaysiinta lambar la heli karo fure К ee gobolka caalamiga ah ee xannibaadda, oo leh macne cusub n.
• macaamil ganacsi lAlice, 100⟩ micnaheedu waa dejinta dheelitirka xisaabta Alice 100.

Xalka kore wuxuu leeyahay dhowr dhibaato oo waaweyn:

• Alice waxay heli kartaa tiro aan xad lahayn oo qadaadiic ah iyadoo si fudud u dirta macaamil ganacsi lAlice, 100⟩.
• Qadaadiicda uu Alice u diro Bob waxba ma tarayo, maaddaama Bob uu isu diri karo qadaadiic tiro aan xad lahayn isagoo adeegsanaya farsamo isku mid ah.

Talo # 2: Tixgelinta khaladaadka

Hadda waxaan la soconnaa xaaladda si tirada qadaadiicda ah Ka wuxuu ahaa ugu yaraan siman n ka hor wareejinta wareejinta. Si kastaba ha noqotee, iyadoo ay tani xallineyso dhibaatada yaraanta, ma jiraan wax macluumaad ah oo ku saabsan cidda soo diri karta qadaadiicda Alice (hadda, qof walba wuu samayn karaa tan, waxa ugu weyn maahan in la jebiyo xeerka xaddidaadda lacagta).

Soo -jeedinta # 3: Isku -daridda yaraanta iyo xakamaynta gelitaanka

Waxaan dhibkaan ku xallineynaa habka saxiixa digital'ka ah xaqiijin_sig ka hor intaadan hubin dheelitirka, taas oo macnaheedu yahay in Alice ay isticmaasho furaheeda gaarka ah si ay u saxiixdo macaamilka una xaqiijiso inay tahay milkiilaha shilimaadkeeda.

Luqadaha barnaamijka Blockchain

Luqadaha xannibaadda ee jira waxay la kulmaan dhibaatooyinka soo socda (dhammaantood waxaa lagu xaliyay Move (xusuusnow: Nasiib darro, qoraaga maqaalku wuxuu rafcaan ka qaataa Ethereum marka la barbardhigo, sidaa darteed waxaa habboon in la qaato iyaga oo ku jira macnaha guud. Tusaale ahaan, inta badan kuwa soo socda ayaa sidoo kale lagu xalliyaa EOS.)):

Matalaadda aan tooska ahayn ee hantida. Hantida waxa lagu codeeyay iyadoo la isticmaalayo tiro-koob, laakiin tiro-koobku maaha mid la mid ah hantida. Dhab ahaantii, ma jiro nooc ama qiimo matalaya Seeraar/Ether/<Qalimad kasta>! Tani waxay ka dhigaysaa barnaamijyada qoraalka ee isticmaala hantida mid adag oo u nugul khaladaadka. Qaababka sida u gudbinta hantida habraacyada ama kaydinta hantida dhismayaasha waxay u baahan tahay taageero gaar ah luqadda.

Maqnaanshaha lama fidin karo... Luqaddu waxay u taagan tahay hal hanti oo yar. Intaa waxaa dheer, daawooyinka ka dhanka ah yaraanta waxaa si toos ah loogu dhajiyaa semantics -ka afka laftiisa. Soo -saaraha, haddii uu doonayo inuu abuuro hanti caado ah, waa inuu si taxaddar leh u koontaroolaa dhammaan dhinacyada kheyraadka laftiisa. Kuwani dhab ahaantii waa dhibaatooyinka qandaraasyada caqliga leh ee Ethereum.

Isticmaalayaashu waxay soo saaraan hantidooda, calaamadaha ERC-20, iyagoo adeegsanaya tirooyin si loo go'aamiyo qiimaha iyo wadarta sahayda labadaba. Mar kasta oo la abuuro calaamado cusub, xeerka qandaraaska caqliga leh waa inuu si madax -bannaan u xaqiijiyaa u hoggaansanaanta xeerarka ka -bixidda. Intaa waxaa dheer, soo bandhigida hantida ee aan tooska ahayn waxay u horseedaa, xaaladaha qaarkood, khaladaad halis ah - isku -dhufasho, kharash laba -laab ah ama xitaa luminta hantida oo dhan.

La'aanta xakamaynta marin u helka... Siyaasadda kaliya ee xakamaynta gelitaanka ee hadda la isticmaalo waa qorshe saxeex iyadoo la adeegsanayo sawir -gacmeedka asymmetric. Sida ilaalinta yaraanta, siyaasadaha xakamaynta gelitaanka ayaa si qoto dheer ugu dhex jira semantics -ka afka. Laakiin sida loo kordhiyo luuqadda si loogu oggolaado barnaamij -bixiyeyaasha inay qeexaan siyaasadaha xakamaynta gelitaankooda inta badan waa hawl aad u adag.

Tani waxay sidoo kale run ku tahay Ethereum, halkaas oo qandaraasyada caqli-gal ah aysan haysan taageero qarsoodi ah oo loogu talagalay xakamaynta gelitaanka. Horumariyayaashu waa inay gacanta ku dejiyaan kantaroolka gelitaanka, tusaale ahaan, iyagoo isticmaalaya wax ka beddelka mulkiilaha keliya.

In kasta oo aan taageere weyn u ahay Ethereum, waxaan aaminsanahay in hantida hantida ay tahay in ay tahay in asal ahaan lagu taageero luqadda ujeedooyinka amniga. Gaar ahaan, u wareejinta Ether qandaraas caqli-gal ah waxay ku lug leedahay diritaanka firfircoon, kaas oo soo bandhigay fasal cusub oo cayayaan ah oo loo yaqaan nugul dib-u-soo-galitaanka. Diritaan firfircooni leh halkan waxay ka dhigan tahay in macquulnimada fulinta koodka lagu go'aamin doono runtime (dhaqdhaqaaqa) halkii la soo ururin lahaa (ma taagan).

Sidaa darteed, gudaha Solidity, marka qandaraaska A uu ugu yeero shaqada qandaraaska B, qandaraaska B wuxuu sameyn karaa kood aan ku talagelin horumariyaha qandaraaska A, kaas oo laga yaabo inuu keeno baylahda dib u soo gelida (heshiiska A si lama filaan ah wuxuu u shaqeeyaa sidii qandaraas B si uu lacag ula baxo ka hor inta aan dhab ahaantii laga jarin hadhaaga akoonka).

Dhaqaaq Qodobbada Naqshadda Luuqadda

Ilaha ugu horeeya ee dalabka

Heer sare, isdhexgalka ka dhexeeya modules / khayraadka / habraacyada luuqadda Dhaqaaqa wuxuu aad ugu eg yahay xiriirka ka dhexeeya fasallada / walxaha iyo hababka afafka OOP.
Cutubyada dhaqaajinta waxay la mid yihiin heshiisyada caqliga leh ee xannibaadaha kale. Module -ku wuxuu ku dhawaaqayaa noocyada kheyraadka iyo habraacyada qeexaya xeerarka abuurista, burburinta, iyo cusboonaysiinta kheyraadka la caddeeyey. Laakiin kuwan oo dhan waa heshiisyo uun ("jargon”) Dhaqaaq. Waxaan wax yar ka tilmaami doonaa qodobkan.

Fududeyn

Dhaqdhaqaaqa waxa uu ku darayaa dabacsanaan dhanka Miisaanka iyada oo loo marayo qoraal. Wax kala iibsi kasta oo ka dhaca Libra waxa ku jira qoraal, kaas oo asal ahaan ah nidaamka ubucda ee wax kala iibsiga. Qoraalku wuxuu fulin karaa mid ka mid ah ficillada la cayimay, tusaale ahaan, lacag-bixinta liis gaar ah oo qaataha ah, ama dib u isticmaali kara kheyraadka kale - tusaale ahaan, adoo wacaya habraaca kaas oo macquulka guud lagu qeexay. Tani waa sababta Dhaqdhaqaaqa qoraallada wax kala iibsiga ay bixiyaan dabacsanaan weyn. Qoraalku wuxuu isticmaali karaa labadaba hal mar iyo dabeecado soo noqnoqda, halka Ethereum uu kaliya fulin karo qoraallada la soo celin karo (oo wacaya hal hab oo ku saabsan habka qandaraaska smart). Sababta loogu yeero "dib loo isticmaali karo" waa sababtoo ah shaqooyinka qandaraaska caqliga leh waxaa la fulin karaa dhowr jeer. (xusuusnow: Ujeedada halkan waa mid aad u khiyaano badan. Dhinaca kale, qoraalada wax kala iibsiga ee qaabka been abuurka-bytecode ayaa sidoo kale ka jira Bitcoin. Dhanka kale, sida aan u fahmay, Move waxay balaadhisaa luqaddan, dhab ahaantii, ilaa heerka luqad qandaraas caqli leh oo dhammaystiran.).

Amniga

Habka Dhaqdhaqaaqa la fulin karo waa bytecode, kaas oo ah, hal dhinac, luqad heer sare ah oo ka badan luqadda kulanka, laakiin heer ka hooseeya koodka isha. bytecode-ka waxa lagu hubiyaa wakhtiga ordaya (silsiladdii) agabka, noocyada iyo badbaadada xusuusta iyada oo la isticmaalayo xaqiijiyaha bytecode, ka dibna waxaa fuliyay turjumaanku. Habkani wuxuu u oggolaanayaa Dhaqdhaqaaqa inuu bixiyo amniga koodhka isha, laakiin iyada oo aan la helin habka isku-darka iyo baahida loo qabo in lagu daro isku-duwaha nidaamka. Samaynta Dhaqaaq luqadda bytecode waa runtii xal fiican. Looma baahna in meel laga soo ururiyo, sida xaaladdu tahay Solidity, loomana baahna in laga werwero fashilaad ama weerarro suurtagal ah oo lagu qaado kaabayaasha wax-soo-ururinta.

Xaqiijinta

Waxa aanu ujeedadiisu tahay in aanu samayno jeegaga sida ugu fudud ee suurtogalka ah, maadaama waxaas oo dhan lagu sameeyo silsilad (xusuusnow: intarneedka, inta lagu guda jiro fulinta macaamil kasta, sidaa darteed dib -u -dhac kasta wuxuu keenaa hoos -u -dhaca shabakadda oo dhan), si kastaba ha ahaatee, marka hore naqshadaynta luqaddu waxay diyaar u tahay inay isticmaasho qalabka xaqiijinta ee silsiladda ka baxsan. Inkasta oo tani ay tahay mid la doorbidi karo, hadda horumarinta qalabyada xaqiijinta (sida qalab gaar ah) ayaa dib loo dhigay mustaqbalka, oo hadda kaliya xaqiijinta firfircoon ee wakhtiga orodka (silsiladda) ayaa la taageeray.

Qaab dhismeedka

Cutubyada dhaqaajiya waxay bixiyaan xog -uruurin iyo soo -ururinta hawlgallada muhiimka ah ee kheyraadka. Xidhmada ay bixisay moodeelka, oo ay weheliso ilaalinta ay bixisay nidaamka nooca Move, waxay hubisaa in guryaha ku yaal noocyada modul -ka aan lagu xadgudbi karin koodh ka baxsan modul -ka. Kani waa qaab-dhismeed soo-saaris ah oo si fiican looga fikiray, taasoo la micno ah in xogta ku jirta heshiiska ay kaliya ku beddeli karto qaab-dhismeedka heshiiska, laakiin aan dibedda ahayn.

Dhaqaaq guud

Tusaalaha qoraalka macaamil -ganacsiyeedku wuxuu muujinayaa in falalka xaasidnimada ah ama taxaddar la'aanta ah ee uu sameeyo barnaamij -ka -baxsan meel ka baxsan moodeelka aysan wax u dhimi karin amniga ilaha moodeelka. Marka xigta, waxaan eegi doonnaa tusaalooyinka sida modules -ka, ilaha, iyo habraacyada loo adeegsado barnaamijka Libra blockchain.

Lacag-u-dhigga-dhigga

Tirada lacagta qadaadiicda ah ee lagu caddeeyey cadadkeeda waxa laga wareejinayaa hadhaaga soo diraha oo loo wareejinayaa qaataha.
Waxaa jira dhowr waxyaabood oo cusub halkan (oo casaan lagu muujiyay):

• 0x0: cinwaanka koontada lagu keydiyo modulu
• lacagta: magaca moduleka
• qadaadiic: nooca khayraadka
• Qiimaha lacagta qadaadiicda ah ee lagu soo celiyey habsocodku waa qiimaha kheyraadka ee nooca 0x0.Currency.Coin
• dhaqaaq (): qiimaha mar labaad lama isticmaali karo
• nuqul (): qiimaha ayaa la isticmaali karaa hadhow

Feex koodka: tallaabada ugu horreysa, diraha ayaa wacaya nidaam la magac baxay ka noqosho_soo diraha laga soo qaatay qayb ku kaydsan 0x0.Lacagta. Talaabada labaad, soo diruhu waxa uu lacagta u wareejinayaa qaataha isaga oo u raraynaya qiimihii kheyraadka qadaadiicda habka dhigaalka ee moduleka 0x0.Lacagta.

Waa kuwan saddex tusaale oo khaladaad kood ah oo lagu diidi doono jeegaggu:
Lacagaha ku soo noqnoqda adiga oo beddela wicitaanka guuritaan (qadaadiic) on koobi (qadaadiic). Khayraadka waxa la rari karaa oo kaliya Isku day inaad nuqul ka sameysid tirada kheyraadka (tusaale ahaan, adigoo wacaya koobi (qadaadiic) tusaalaha kore) waxay ku dambayn doontaa qalad intaad hubinayso koodhadhka.

Dib -u -isticmaalidda lacagaha iyada oo la cayimay guuritaan (qadaadiic) laba jeer . Ku darida xariiq 0x0.Currency.deposit (nuqul (koobi_qaar_kale)), guurto (qadaadiic)) tusaale ahaan, kuwa kor ku xusan waxay u oggolaan doonaan soo-diraha inuu "ku bixiyo" lacagta qadaadiicda laba jeer - marka ugu horeysa ee la bixiyo, iyo tan labaad qaar kale_qaar_qaate. Tani waa dabeecad aan loo baahnayn oo aan suurtagal ahayn hanti jireed. Nasiib wanaag, dhaqaaq ayaa diidi doona barnaamijkan.

Luminta lacagaha diidmada awgeed guuritaan (qadaadiic). Haddii aadan dhaqaajin kheyraadka (tusaale ahaan, adigoo tirtiraya xariiqda ku jirta guuritaan (qadaadiic)), khalad xaqiijinta bytecode waa la tuurayaa. Tani waxay ka ilaalisaa Move programmers-ka inay si shil ah ama xaasidnimo ah u lumiyaan lacagaha.

Qaybta lacagta

Koontada kasta waxay ka koobnaan kartaa 0 ama ka badan modules (oo loo muujiyey sida leydi) iyo hal ama in ka badan oo qiyamka kheyraadka ah (oo loo muujiyey sida dhululubada). Tusaale ahaan, akoon ku yaal 0x0 ka kooban module 0x0.Lacagta iyo qiimaha nooca kheyraadka 0x0.Currency.Coin. Koontada cinwaanka 0x1 wuxuu leeyahay laba agab iyo hal module; Koontada cinwaanka 0x2 wuxuu leeyahay laba modules iyo hal qiimaha kheyraadka.

Daqiiqado Nekotory:

• Qoraalka wax kala iibsiga waa atomic - ama si buuxda ayaa loo fuliyay ama maba aha.
• Module waa kood nool oo dheer kaas oo si caalami ah loo heli karo.
• Dawlada caalamku waxay u qaabaysan tahay miiska xashiishka, halkaas oo furuhu yahay ciwaanka xisaabta
• Xisaabaadka kama koobnaan karaan wax ka badan hal qiimaha kheyraadka nooc la bixiyay iyo wax ka badan hal cutub oo magac la bixiyay 0x0 kuma jiri karo kheyraad dheeraad ah 0x0.Currency.Coin ama module kale oo la magacaabay lacagta)
• Ciwaanka cutubka lagu dhawaaqay waa qayb ka mid ah nooca (0x0.Currency.Coin и 0x1.Currency.Coin waa noocyo kala duwan oo aan la is beddeli karin)
• Barnaamij-bixiyeyaashu waxa ay kaydin karaan dhawr jeer oo kheyraadka noocan ah akoon iyaga oo qeexaya kheyraadkooda gaarka ah - (kheyraadka TwoCoins {c1: 0x0.Currency.Coin, c2: 0x0.Currency.Coin})
• Waxaad u tixraaci kartaa kheyraadka magaciisa iyada oo aan la isku dhacsanayn, tusaale ahaan waxaad tixraaci kartaa laba ilo oo isticmaalaya TwoCoins.c1 и TwoCoins.c2.

Ku dhawaaqida kheyraadka qadaadiic

Module la magacaabay lacagta iyo nooca kheyraadka ee la magacaabay qadaadiic

Daqiiqado Nekotory:

• qadaadiic waa qaab dhismeed leh hal goob oo nooc ah U64 (64-bit tiro aan saxiixin)
• Hababka moduleka kaliya lacagta wuxuu abuuri karaa ama burburin karaa qiyamka nooca qadaadiic.
• Qaybaha kale iyo qoraallada waxay kaliya qori karaan ama tixraaci karaan goobta qiimaha iyada oo loo marayo hababka dadweynaha ee uu bixiyo moduleka.

Iibinta deebaajiga

Nidaamkani wuxuu aqbalayaa kheyraadka qadaadiic sida la gelinayo oo lagu daro kheyraadka qadaadiiclagu kaydiyaa xisaabta qaataha:

1. Burburinta Coin kheyraadka wax soo galinta iyo duubista qiimaheeda.
2. Helitaanka isku xirka kheyraadka qadaadiic gaar ah oo lagu kaydiyay koontada qaataha.
3. Beddelidda qiimaha tirada qadaadiicda iyadoo la raacayo qiimihii lagu gudbiyay halbeegga marka la wacayo habraaca.

Daqiiqado Nekotory:

• Soo saar, BorrowGlobal - hababka la dhisay
• Furo Tani waa habka kaliya ee lagu tirtiri karo kheyraadka nooca T. Nidaamku wuxuu u qaataa kheyraad ahaan, wuu baabi'iyaa, wuxuuna soo celinayaa qiimaha la xiriira meelaha kheyraadka.
• BorrowGlobal wuxuu u qaataa ciwaan ahaan oo soo celinaya tixraac tusaale gaar ah oo T la daabacay (ay leedahay) ciwaankaas
• &mut Coin tani waa isku xirka kheyraadka qadaadiic

Hirgelinta ka-noqoshada_diraha

Habkan:

1. Helaa iskuxiraha kheyraad gaar ah qadaadiic, oo ku xidhan akoonka qofka soo diray
2. Waxay hoos u dhigtaa qiimaha kheyraadka qadaadiic iyada oo loo marayo isku xirka qaddarka la cayimay
3. Wuxuu abuuraa oo soo celiyaa kheyraad cusub qadaadiic oo leh dheelitirnaan la cusboonaysiiyay.

Daqiiqado Nekotory:

• deposit waxaa sababi kara qof kasta, laakiin ka noqosho_soo diraha kaliya waxa uu heli karaa qadaadiicda akoontiga wacitaanka
• HelTxnSenderCinwaanka la mid ah msg.dire gudaha Solidity
• Diid Mooyee la mid ah u baahan gudaha Solidity. Haddii jeeggani guul-darraysto, wax kala iibsiga waa la joojinayaa oo dhammaan isbeddellada dib ayaa loo rogaa.
• Xirmo sidoo kale waa nidaam la dhisay oo abuuraya kheyraad cusub oo nooca T ah.
• Sidoo kale Furo, Xirmo kaliya waxaa loogu yeeri karaa gudaha moduleka halka kheyraadka lagu tilmaamay T

gunaanad

Waxaan baarnay sifooyinka ugu muhiimsan ee luqadda Dhaqdhaqaaqa, marka la barbar dhigo Ethereum, sidoo kale waxaan barannay nuxurka aasaasiga ah ee qoraallada. Ugu dambeyntii, waxaan aad ugu talinayaa in la hubiyo warqad cad asalka ah. Waxaa ku jira faahfaahin badan oo ku saabsan mabaadi'da naqshadeynta luqadda barnaamijka, iyo sidoo kale xiriirro badan oo faa'iido leh.

Source: www.habr.com