Dàibheadh ​​​​a-steach do ghluasad - cànan prògramadh blockchain Facebook aig Libra

An ath rud, beachdaichidh sinn gu mionaideach air prìomh fheartan a ’chànain Gluasaid agus dè na prìomh eadar-dhealachaidhean a th’ ann le cànan eile, a tha mòr-chòrdte mu thràth airson cùmhnantan snasail - Solidity (air àrd-ùrlar Ethereum). Tha an stuth stèidhichte air sgrùdadh den phàipear geal 26-duilleag air-loidhne a tha ri fhaighinn.

Ro-ràdh

Tha gluasad na chànan bytecode so-ghnìomhaichte a thathas a’ cleachdadh gus gnothaichean luchd-cleachdaidh agus cùmhnantan snasail a chuir an gnìomh. Thoir an aire do dhà phuing:

1. Fhad ‘s a tha Move na chànan bytecode a dh’ fhaodar a chuir gu bàs gu dìreach air an inneal brìgheil Move, tha Solidity (cànan cùmhnant sgairteil Ethereum) na chànan àrd-ìre a tha air a chur ri chèile an toiseach ann am bytecode mus tèid a chuir gu bàs air EVM (Ethereum Virtual Machine).
2. Faodar gluasad a chleachdadh chan ann a-mhàin gus cùmhnantan snasail a bhuileachadh, ach cuideachd airson gnothaichean àbhaisteach (barrachd air seo nas fhaide air adhart), fhad ‘s a tha Solidity na chànan sgairteil cùmhnant a-mhàin.

Chaidh an eadar-theangachadh a dhèanamh le sgioba pròiseict INDEX Protocol. Tha sinn air eadar-theangachadh mu thràth stuth mòr a’ toirt cunntas air pròiseact Libra, a-nis tha an t-àm ann coimhead air a’ chànan Move ann am beagan nas mionaidiche. Chaidh an eadar-theangachadh a dhèanamh còmhla ri Habrauser fhuarasiu

Is e prìomh fheart de Move an comas seòrsaichean ghoireasan gnàthaichte a mhìneachadh le semantics stèidhichte air loidsig sreathach: chan urrainnear goireas a chopaigeadh no a dhubhadh às gu ciallach, dìreach air a ghluasad. Gu h-obrachail, tha seo coltach ri comasan cànan Rust. Chan urrainnear luachan ann an Rust a shònrachadh ach do aon ainm aig aon àm. Le bhith a’ sònrachadh luach gu ainm eile chan eil e ri fhaighinn fon ainm roimhe.

Mar eisimpleir, tilgidh a ’chriomag chòd a leanas mearachd: Cleachdadh luach gluasadach 'x'. Tha seo air sgàth nach eil cruinneachadh sgudail ann an Rust. Nuair a thèid caochladairean a-mach à farsaingeachd, thèid a ’chuimhne air a bheil iad a’ bruidhinn a shaoradh cuideachd. Gu sìmplidh, chan urrainn ach aon "sealbhadair" a bhith ann. San eisimpleir seo x an sealbhadair tùsail agus an uairsin y gu bhith na neach-seilbh ùr. Leugh tuilleadh mun ghiùlan seo an seo.

Riochdachadh maoin didseatach ann an siostaman fosgailte

Tha dà thogalach de mhaoin corporra a tha duilich a riochdachadh gu didseatach:

• Càirdeas (Sgìth, gainnead bho thùs). Feumar smachd a chumail air an àireamh de mhaoin (sgaoilidhean) san t-siostam. Feumar a bhith a ’dùblachadh maoin a tha ann mar-thà, agus tha cruthachadh feadhainn ùra na obair sochair.
• Smachd ruigsinneachd... Feumaidh com-pàirtiche an t-siostaim a bhith comasach air maoin a dhìon a ’cleachdadh poileasaidhean smachd ruigsinneachd.

Feumar an dà fheart seo, a tha nàdarra airson maoin corporra, a bhuileachadh airson stuthan didseatach ma tha sinn airson beachdachadh orra mar mhaoin. Mar eisimpleir, meatailt tearc - tha gainnead nàdurrach ann, agus chan eil ach cothrom agad air (ga chumail nad làmhan, mar eisimpleir) agus faodaidh tu a reic no a chaitheamh.

Gus sealltainn mar a ràinig sinn an dà thogalach sin, tòisichidh sinn leis na seantansan a leanas:

Moladh # 1: An riaghailt as sìmplidh às aonais gainnead agus smachd ruigsinneachd

• G [K]: = n a ’comharrachadh ùrachadh do àireamh a tha ruigsinneach le iuchair К ann an stàite cruinneil an blockchain, le brìgh ùr n.
• malairt ⟨Alice, 100⟩ a ’ciallachadh a bhith a’ suidheachadh cothromachadh cunntais Alice gu 100.

Tha grunn dhuilgheadasan mòra aig an fhuasgladh gu h-àrd:

• Gheibh Alice àireamh neo-chuingealaichte de bhuinn le bhith dìreach a ’cur malairt ⟨Alice, 100⟩.
• Tha na buinn a chuireas Alice gu Bob gun fheum, oir dh ’fhaodadh Bob àireamh neo-chuingealaichte de bhuinn a chuir thuige fhèin a’ cleachdadh an aon dòigh.

Moladh # 2: A ’toirt aire don easbhaidh

A-nis tha sinn a ’cumail sùil air an t-suidheachadh gus am bi an àireamh de bhuinn Ka co-dhiù co-ionann n ron ghnothach gluasaid. Ach, ged a tha seo a ’fuasgladh duilgheadas gainnead, chan eil fiosrachadh sam bith ann mu cò as urrainn buinn Alice a chuir (airson a-nis, faodaidh duine sam bith seo a dhèanamh, is e am prìomh rud gun a bhith a’ briseadh an riaghailt a bhith a ’cuingealachadh an t-sùim).

Moladh # 3: A ’cothlamadh gainnead agus smachd ruigsinneachd

Bidh sinn a ’fuasgladh na duilgheadas seo le inneal soidhnidh didseatach dearbhaich_sig mus dèan thu sgrùdadh air a ’chothromachadh, a tha a’ ciallachadh gum bi Alice a ’cleachdadh an iuchair phrìobhaideach aice gus a’ ghnothach a shoidhnigeadh agus dearbhadh gur ann le sealbhadair nam buinn a tha i.

Cànanan prògramadh Blockchain

Tha na duilgheadasan a leanas aig na cànanan blockchain a th ’ann (chaidh a h-uile gin dhiubh fhuasgladh ann an Move (nota: gu mì-fhortanach, chan eil ùghdar an artaigil a ’dèanamh tagradh ach ri Ethereum anns na coimeasan aige, agus mar sin is fhiach an toirt a-mhàin sa cho-theacsa seo. Mar eisimpleir, tha a ’mhòr-chuid de na leanas air a rèiteachadh ann an EOS.)):

Riochdachadh neo-dhìreach de mhaoin. Tha so-mhaoin air a chòdachadh le bhith a’ cleachdadh integer, ach chan eil àireamh-shluaigh an aon rud ri so-mhaoin. Gu dearbh, chan eil seòrsa no luach a’ riochdachadh Bitcoin/Ether/<Any Coin>! Tha seo ga dhèanamh duilich agus buailteach do mhearachdan prògraman sgrìobhaidh a chleachdas maoin. Tha feum air taic shònraichte bhon chànan airson pàtrain leithid gluasad maoin gu/bho mhodhan-obrach no stòradh maoin ann an structaran.

Chan urrainnear an easbhaidh a leudachadh... Chan eil cànan a ’riochdachadh ach aon mhaoin gann. A bharrachd air an sin, tha na dòighean dìon an aghaidh gainnead air an cruachadh gu dìreach a-steach do semantics a ’chànain fhèin. Feumaidh an leasaiche, ma tha e airson maoin àbhaisteach a chruthachadh, smachd a chumail gu faiceallach air gach taobh den ghoireas fhèin. Is iad sin dìreach na duilgheadasan aig cùmhnantan smart Ethereum.

Bidh luchd-cleachdaidh a ’toirt a-mach am maoin, comharran ERC-20, a’ cleachdadh integers gus an luach agus an solar iomlan a dhearbhadh. Nuair a thèid comharran ùra a chruthachadh, feumaidh an còd cùmhnant sgairteil dearbhadh gu neo-eisimeileach gu bheil iad a ’cumail ri riaghailtean sgaoilidhean. A bharrachd air an sin, bidh taisbeanadh neo-dhìreach de mhaoin a ’leantainn, ann an cuid de chùisean, gu fìor mhearachdan - dùblachadh, caitheamh dùbailte no eadhon call iomlan de mhaoin.

Dìth smachd ruigsinneachd sùbailte... Is e an aon phoileasaidh smachd ruigsinneachd a tha an-diugh sgeama ainm-sgrìobhte a ’cleachdadh crioptachadh asymmetric. Coltach ri dìon gainnead, tha poileasaidhean smachd ruigsinneachd air an stèidheachadh gu domhainn ann an semantics a ’chànain. Ach mar as trice tha e duilich a bhith a ’leudachadh a’ chànain gus leigeil le prògramadairean na poileasaidhean smachd ruigsinneachd aca fhèin a mhìneachadh.

Tha seo fìor cuideachd air Ethereum, far nach eil taic criptografach dùthchasach aig cùmhnantan snasail airson smachd ruigsinneachd. Feumaidh luchd-leasachaidh smachd ruigsinneachd a shuidheachadh le làimh, mar eisimpleir, a’ cleachdadh an aon inneal-atharrachaidh sealbhadair.

Eadhon ged a tha mi dèidheil air Ethereum, tha mi a’ creidsinn gum bu chòir don chànan taic dhùthchasach a thoirt do thogalaichean maoin airson adhbharan tèarainteachd. Gu sònraichte, tha gluasad Ether gu cùmhnant snasail a’ toirt a-steach sgaoileadh fiùghantach, a thug a-steach clas ùr de bhiteagan ris an canar so-leòntachd ath-inntrigidh. Tha sgaoileadh dinamach an seo a’ ciallachadh gum bi loidsig cur an gnìomh a’ chòd air a dhearbhadh aig àm ruith (fiùghantach) seach aig àm cruinneachaidh (statach).

Mar sin, ann an Solidity, nuair a bhios cùmhnant A a’ gairm gnìomh ann an cùmhnant B, faodaidh cùmhnant B còd a ruith nach robh san amharc le leasaiche cùmhnant A, a dh’ fhaodadh leantainn gu so-leòntachd ath-chur a-steach (Tha cùmhnant A gu tubaisteach ag obair mar chùmhnant B gus airgead a tharraing air ais mus tèid cothromachadh a’ chunntais a thoirt a-mach).

Gluais Bun-bheachdan Dealbhadh Cànain

Goireasan ciad-òrdugh

Aig ìre àrd, tha an eadar-obrachadh eadar modalan / goireasan / modhan anns a ’chànan Move glè choltach ris an dàimh eadar clasaichean / nithean agus modhan ann an cànanan OOP.
Tha modalan gluasaid coltach ri cùmhnantan snasail ann an blockchain eile. Bidh am modal ag ainmeachadh seòrsachan ghoireasan agus modhan-obrach a tha a ’mìneachadh riaghailtean airson cruthachadh, sgrios agus ùrachadh ghoireasan dearbhte. Ach tha iad sin uile nan gnàthasan (“jargon”) Ann an gluasad. Nochdaidh sinn a ’phuing seo beagan nas fhaide air adhart.

Sùbailteachd

Bidh gluasad a’ cur sùbailteachd ri Libra tro sgrìobhadh. Tha a h-uile gnothach ann an Libra a’ toirt a-steach sgriobt, a tha gu ìre mhòr mar phrìomh dhòigh-obrach a’ ghnothaich. Faodaidh an sgriobt aon ghnìomh sònraichte a dhèanamh, mar eisimpleir, pàighidhean gu liosta ainmichte de luchd-faighinn, no ath-chleachdadh goireasan eile - mar eisimpleir, le bhith a’ gairm modh-obrach anns a bheil an loidsig choitcheann air a shònrachadh. Sin as coireach gu bheil sgriobtaichean malairt Move a’ tabhann barrachd sùbailteachd. Faodaidh sgriobt an dà chuid giùlan aon-ùine agus ath-aithris a chleachdadh, agus chan urrainn dha Ethereum ach sgriobtaichean ath-aithris a chuir an gnìomh (a ’gairm aon dhòigh air modh cùmhnant snasail). Is e an adhbhar ris an canar “ath-chleachdadh” air sgàth gu bheil e comasach gnìomhan cùmhnant snasail a chuir an gnìomh grunn thursan. (nota: Tha a’ phuing an seo gu math seòlta. Air an aon làimh, tha sgriobtaichean malairt ann an cruth pseudo-bytecode cuideachd ann am Bitcoin. Air an làimh eile, mar a tha mi ga thuigsinn, tha Move a’ leudachadh a’ chànain seo, gu dearbh, gu ìre cànan cùmhnant smart làn-chuimseach).

Tèarainteachd

Is e bytecode a th’ anns an fhòrmat so-ghnìomhaichte Move, a tha, air an aon làimh, na chànan aig ìre nas àirde na cànan cruinneachaidh, ach aig ìre nas ìsle na an còd stòr. Tha am bytecode air a sgrùdadh ann an ùine ruith (air-slabhraidh) airson goireasan, seòrsachan agus sàbhailteachd cuimhne a’ cleachdadh dearbhadair bytecode, agus an uairsin air a chuir gu bàs leis an eadar-theangair. Leigidh an dòigh-obrach seo le Move tèarainteachd còd stòr a thoirt seachad, ach às aonais a’ phròiseas cruinneachaidh agus an fheum air inneal-cruinneachaidh a chuir ris an t-siostam. Is e fuasgladh fìor mhath a th’ ann a bhith a’ dèanamh gluasad cànan bytecode. Chan fheum e a bhith air a chur ri chèile bhon stòr, mar a tha fìor le Solidity, agus chan fheumar a bhith draghail mu fhàilligidhean no ionnsaighean a dh’ fhaodadh a bhith ann air bun-structar an cruinneachaidh.

Dearbhachd

Tha sinn ag amas air sgrùdaidhean a dhèanamh cho furasta ‘s a ghabhas, leis gu bheil seo uile air a dhèanamh air slabhraidh (nota: air-loidhne, rè coileanadh gach gnìomh, agus mar sin bidh dàil sam bith a ’leantainn gu slaodadh air an lìonra gu lèir), ge-tà, an toiseach tha an dealbhadh cànain deiseil gus innealan dearbhaidh statach far-slabhraidh a chleachdadh. Ged a tha seo nas fheàrr, airson a-nis chaidh leasachadh innealan dearbhaidh (mar inneal air leth) a chuir dheth airson an ama ri teachd, agus a-nis chan eil ach dearbhadh fiùghantach ann an ùine ruith (air-slabhraidh) a’ faighinn taic.

Modularity

Bidh modalan gluasaid a ’toirt seachad tarraing dàta agus ag obair gu h-ionadail air goireasan. Tha an cuairteachadh a tha am modal a ’toirt seachad, còmhla ris an dìon a bheir an siostam seòrsa Move seachad, a’ dèanamh cinnteach nach urrainnear togalaichean a tha suidhichte air seòrsachan a ’mhodal a bhriseadh le còd taobh a-muigh a’ mhodal. Is e dealbhadh tarraing air falbh a tha air a dheagh smaoineachadh a tha seo, a ’ciallachadh nach urrainn dàta taobh a-staigh cùmhnant atharrachadh ach taobh a-staigh raon a’ chùmhnaint, ach chan ann air an taobh a-muigh.

Gluais sealladh farsaing

Tha eisimpleir sgriobt a ’ghnothaich a’ sealltainn nach urrainn do ghnìomhan droch-rùnach no neo-chùramach le prògramadair taobh a-muigh modal cron a dhèanamh air tèarainteachd goireasan modal. An ath rud, seallaidh sinn ri eisimpleirean de mar a thèid modalan, goireasan agus modhan a chleachdadh gus prògramadh a dhèanamh air blockchain Libra.

Pàighidhean co-aoisean

Thèid an àireamh de bhuinn a chaidh a shònrachadh san t-suim a ghluasad bho chothromachadh an neach a chuir chun neach a gheibh e.
Tha beagan rudan ùra an seo (air an comharrachadh ann an dearg):

• 0x0: seòladh a ’chunntais far a bheil am modal air a stòradh
• currency: ainm modal
• coin: seòrsa goireas
• Is e luach coin a chaidh a thilleadh leis a ’mhodh-obrach luach stòrais de sheòrsa 0x0.Currency.Coin
• gluasad (): chan urrainnear luach a chleachdadh a-rithist
• leth-bhreac (): faodar luach a chleachdadh nas fhaide air adhart

Parse an còd: anns a ’chiad cheum, bidh an neach a chuir fios gu modh-obrach ainmichte ais-tharraing_from_sender bho mhodal air a stòradh ann 0x0.Currency. Anns an dàrna ceum, bidh an neach a chuir a-steach airgead chun an neach a gheibh e le bhith a’ gluasad luach stòrais a’ bhuinn gu modh tasgaidh a’ mhodal 0x0.Currency.

Seo trì eisimpleirean de mhearachdan ann an còd a thèid a dhiùltadh le seicichean:
Dèan dùblachadh air airgead le bhith ag atharrachadh a ’ghairm gluasad (bonn) air leth-bhreac (bonn). Chan urrainnear goireasan a ghluasad ach. A’ feuchainn ri meud goireas a dhùblachadh (mar eisimpleir, le bhith a’ fònadh leth-bhreac (bonn) san eisimpleir gu h-àrd) thig mearachd rè dearbhadh bytecode.

Ath-chleachdadh airgead le bhith a ’sònrachadh gluasad (bonn) dà uair . A 'cur loidhne ris 0x0.Currency.deposit (lethbhreac (some_other_payee), gluasad (bonn)) mar eisimpleir, leigidh na tha gu h-àrd leis an neach a chuir e na buinn “a chaitheamh” dà uair - a’ chiad uair leis an neach-pàighidh, agus an dàrna fear le cuideigin_eile_paighidh. Is e giùlan mì-mhiannach a tha seo nach eil comasach le so-mhaoin corporra. Gu fortanach, diùlt Move am prògram seo.

Airgead a chall air sgàth diùltadh gluasad (bonn). Mura gluais thu an goireas (mar eisimpleir, le bhith a’ sguabadh às an loidhne anns a bheil gluasad (bonn)), thèid mearachd dearbhaidh bytecode a thilgeil. Bidh seo a’ dìon luchd-prògramaidh Move bho chall airgid gun fhiosta no droch-rùnach.

Modal airgead

Faodaidh 0 no barrachd mhodalan a bhith anns gach cunntas (air an sealltainn mar ceart-cheàrnach) agus aon no barrachd luachan stòrais (air an sealltainn mar siolandairean). Mar eisimpleir, cunntas aig 0x0 tha modal ann 0x0.Currency agus luach an t-seòrsa stòrais 0x0.Currency.Coin. Cunntas aig an t-seòladh 0x1 tha dà ghoireas agus aon mhodal; Cunntas aig an t-seòladh 0x2 tha dà mhodal agus aon luach stòrais.

Beagan amannan:

• Tha an sgriobt malairt atamach - an dàrna cuid tha e air a chuir gu bàs gu tur no gun a bhith idir.
• Tha modal na phìos còd fad-ùine a tha ruigsinneach air feadh na cruinne.
• Tha an stàit chruinneil air a structaradh mar chlàr hash, far a bheil an iuchair seòladh cunntais
• Chan fhaod barrachd air aon luach stòrais de sheòrsa sònraichte a bhith ann an cunntasan agus gun a bhith nas fhaide na aon mhodal le ainm ainmichte (cunntas aig 0x0 chan urrainn goireas a bharrachd a bhith ann 0x0.Currency.Coin no modal eile air ainmeachadh currency)
• Tha seòladh a’ mhodail ainmichte mar phàirt den t-seòrsa (0x0.Currency.Coin и 0x1.Currency.Coin nan seòrsaichean eadar-dhealaichte nach gabh a chleachdadh gu h-eadar-mhalairteach)
• 'S urrainn do phrògramadairean iomadh suidheachadh den t-seòrsa seo de ghoireas a stòradh ann an cunntas le bhith a' mìneachadh an goireas àbhaisteach aca - (goireas TwoCoins {c1: 0x0.Currency.Coin, c2: 0x0.Currency.Coin})
• Faodaidh tu iomradh a thoirt air goireas leis an ainm aige gun aimhreit, mar eisimpleir faodaidh tu iomradh a thoirt air dà ghoireas a’ cleachdadh DàCoins.c1 и DàCoins.c2.

Sanasachd stòrais coin

Modal air ainmeachadh currency agus seòrsa goireas air ainmeachadh coin

Beagan amannan:

• coin Is e structar le aon raon de sheòrsa u64 (Slànuighear 64-bit gun ainm)
• Modhan modal a-mhàin currency faodaidh iad luachan de sheòrsa a chruthachadh no a sgrios coin.
• Chan urrainn do mhodalan agus sgriobtaichean eile ach sgrìobhadh no iomradh a thoirt air an raon luach tro mhodhan poblach a bheir am modal seachad.

Reic tasgaidh

Tha am modh-obrach seo a 'gabhail ri stòras coin mar chur-a-steach agus ga chur còmhla ris a’ ghoireas coinair a stòradh ann an cunntas an neach a gheibh e:

1. Sgrios an goireas cur a-steach Coin agus a 'clàradh a luach.
2. A 'faighinn ceangal gu goireas Coin sònraichte a tha air a stòradh ann an cunntas an neach a gheibh e.
3. Ag atharrachadh luach an àireamh de Bhuinn leis an luach a chaidh seachad ann am paramadair nuair a bhios tu a 'gairm a' mhodh-obrachaidh.

Beagan amannan:

• Unpack, BorrowGlobal - dòighean-obrach a chaidh a thogail a-steach
• Unpack Is e seo an aon dòigh air goireas de sheòrsa T a dhubhadh às. Bidh am modh-obrach a’ gabhail goireas mar chur-a-steach, ga sgrios, agus a’ tilleadh an luach co-cheangailte ri raointean a’ ghoireas.
• IasadGlobal a’ gabhail seòladh mar chur-a-steach agus a’ tilleadh iomradh air eisimpleir shònraichte de T foillsichte (seilbh) leis an t-seòladh sin
• &mut Coin seo ceangal dhan ghoireas coin

Cur an gnìomh ais-tharraing_from_sender

Am modh-obrach seo:

1. A’ faighinn ceangal gu goireas sònraichte coin, ceangailte ri cunntas an neach a chuir e
2. A’ lughdachadh luach stòrais coin tron ​​cheangal airson an t-suim ainmichte
3. A’ cruthachadh agus a’ tilleadh goireas ùr coin le cothromachadh ùraichte.

Beagan amannan:

• Tasgaidh faodaidh neach sam bith adhbhrachadh, ach ais-tharraing_from_sender chan eil cothrom aige ach air buinn a’ chunntais gairm
• Seòladh GetTxnSender coltach ri msg.seoladair ann an Solidity
• Diùlt coltach ri a dhìth ann an Solidity. Ma dh’ fhailicheas an t-seic seo, thèid an gnothach a stad agus thèid a h-uile atharrachadh a thoirt air ais.
• paca tha e cuideachd na dhòigh-obrach togte a chruthaicheas goireas ùr de sheòrsa T.
• A bharrachd air Unpack, paca chan urrainnear a ghairm ach taobh a-staigh a’ mhodal far a bheil an goireas air a mhìneachadh T

co-dhùnadh

Rinn sinn sgrùdadh air prìomh fheartan a’ chànain Move, rinn sinn coimeas eadar e agus Ethereum, agus dh’fhàs sinn eòlach cuideachd air co-chòrdadh bunaiteach nan sgriobtaichean. Mu dheireadh, tha mi gu mòr a’ moladh sgrùdadh a dhèanamh pàipear geal tùsail. Tha e a’ toirt a-steach tòrr mion-fhiosrachaidh a thaobh prionnsapalan dealbhadh cànain prògramaidh, a bharrachd air mòran cheanglaichean feumail.

Source: www.habr.com