ડાઇવ ઇન મૂવ - ફેસબુકની લિબ્રા બ્લોકચેન પ્રોગ્રામિંગ ભાષા

આગળ, અમે મૂવ લેંગ્વેજની મુખ્ય લાક્ષણિકતાઓ અને સ્માર્ટ કોન્ટ્રાક્ટ્સ માટે બીજી, પહેલેથી જ લોકપ્રિય ભાષા સાથે તેના મુખ્ય તફાવતો શું છે તે વિગતવાર ધ્યાનમાં લઈશું - સોલિડિટી (ઇથેરિયમ પ્લેટફોર્મ પર). આ સામગ્રી ઉપલબ્ધ 26નલાઇન XNUMX પાનાના વ્હાઇટપેપરના અભ્યાસ પર આધારિત છે.

પરિચય

મૂવ એ એક્ઝિક્યુટેબલ બાયટેકોડ લેંગ્વેજ છે જેનો ઉપયોગ યુઝર ટ્રાન્ઝેક્શન અને સ્માર્ટ કોન્ટ્રાક્ટ ચલાવવા માટે થાય છે. કૃપા કરીને બે મુદ્દાઓ નોંધો:

1. જ્યારે મૂવ એ બાઇટકોડ લેંગ્વેજ છે જે મૂવ વર્ચ્યુઅલ મશીન પર સીધી રીતે ચલાવી શકાય છે, સોલિડિટી (ઇથેરિયમની સ્માર્ટ કોન્ટ્રેક્ટ લેંગ્વેજ) એક ઉચ્ચ-સ્તરની ભાષા છે જે ઇવીએમ (ઇથેરિયમ વર્ચ્યુઅલ મશીન) પર એક્ઝેક્યુટ થતાં પહેલા બાઇટકોડમાં સંકલિત કરવામાં આવે છે.
2. મૂવનો ઉપયોગ માત્ર સ્માર્ટ કોન્ટ્રાક્ટ્સને અમલમાં મૂકવા માટે જ નહીં, પણ કસ્ટમ ટ્રાન્ઝેક્શન માટે પણ કરી શકાય છે (આ પછીથી વધુ), જ્યારે સોલિડિટી સ્માર્ટ કોન્ટ્રાક્ટ-માત્ર ભાષા છે.

INDEX પ્રોટોકોલ પ્રોજેક્ટ ટીમ દ્વારા અનુવાદ કરવામાં આવ્યો હતો. અમે પહેલાથી જ અનુવાદ કર્યો છે તુલા રાશિના પ્રોજેક્ટનું વર્ણન કરતી મોટી સામગ્રી, હવે મૂવ ભાષાને થોડી વધુ વિગતમાં જોવાનો સમય છે. અનુવાદ Habrauser સાથે સંયુક્ત રીતે હાથ ધરવામાં આવ્યો હતો કુલસિયુ

મૂવની મુખ્ય વિશેષતા એ લીનિયર લોજિક પર આધારિત સિમેન્ટિક્સ સાથે કસ્ટમ સંસાધન પ્રકારોને વ્યાખ્યાયિત કરવાની ક્ષમતા છે: સંસાધનને ક્યારેય કૉપિ કરી શકાતું નથી અથવા ગર્ભિત રીતે કાઢી શકાતું નથી, ફક્ત ખસેડવામાં આવે છે. કાર્યાત્મક રીતે, આ રસ્ટ ભાષાની ક્ષમતાઓ જેવું જ છે. રસ્ટમાં મૂલ્યો એક સમયે ફક્ત એક જ નામને સોંપી શકાય છે. કોઈ અલગ નામને મૂલ્ય સોંપવાથી તે અગાઉના નામ હેઠળ અનુપલબ્ધ બને છે.

ઉદાહરણ તરીકે, નીચેનો કોડ સ્નિપેટ એક ભૂલ ફેંકશે: ખસેડવામાં આવેલ મૂલ્ય 'x' નો ઉપયોગ. આનું કારણ એ છે કે રસ્ટમાં કચરાનો સંગ્રહ નથી. જ્યારે ચલો અવકાશની બહાર જાય છે, ત્યારે તેઓ જે મેમરીનો ઉલ્લેખ કરે છે તે પણ મુક્ત થાય છે. સરળ શબ્દોમાં કહીએ તો, ડેટાનો ફક્ત એક "માલિક" હોઈ શકે છે. આ ઉદાહરણમાં x મૂળ માલિક છે અને પછી y નવા માલિક બને છે. આ વર્તન વિશે અહીં વધુ વાંચો.

ખુલ્લી સિસ્ટમોમાં ડિજિટલ અસ્કયામતોનું પ્રતિનિધિત્વ

ભૌતિક સંપત્તિના બે ગુણધર્મો છે જેનું ડિજિટલ રીતે પ્રતિનિધિત્વ કરવું મુશ્કેલ છે:

• વિરલતા (અછત, મૂળ અછત). સિસ્ટમમાં સંપત્તિ (ઉત્સર્જન) ની સંખ્યા નિયંત્રિત હોવી જોઈએ. હાલની અસ્કયામતોની નકલ પ્રતિબંધિત હોવી જોઈએ, અને નવી બનાવવી એ વિશેષાધિકૃત કામગીરી છે.
• વપરાશ નિયંત્રણ... સિસ્ટમ સહભાગીએ એક્સેસ કંટ્રોલ નીતિઓનો ઉપયોગ કરીને સંપત્તિનું રક્ષણ કરવા માટે સક્ષમ હોવા જોઈએ.

આ બે લાક્ષણિકતાઓ, જે ભૌતિક અસ્કયામતો માટે સ્વાભાવિક છે, જો આપણે તેમને અસ્કયામતો તરીકે ગણવા માંગતા હોઈએ તો ડિજિટલ forબ્જેક્ટ્સ માટે અમલમાં મૂકવા જોઈએ. ઉદાહરણ તરીકે, દુર્લભ ધાતુમાં કુદરતી અછત હોય છે, અને ફક્ત તમને જ તેની accessક્સેસ હોય છે (ઉદાહરણ તરીકે, તેને તમારા હાથમાં પકડીને) અને તમે તેને વેચી શકો છો અથવા ખર્ચ કરી શકો છો.

અમે આ બે ગુણધર્મો પર કેવી રીતે પહોંચ્યા તે સમજાવવા માટે, ચાલો નીચેના વાક્યોથી પ્રારંભ કરીએ:

સૂચન # 1: અછત અને Accessક્સેસ નિયંત્રણ વિના સરળ નિયમ

• જી [કે]: = એન કી દ્વારા સુલભ સંખ્યા માટે અપડેટ સૂચવે છે К બ્લોકચેનની વૈશ્વિક સ્થિતિમાં, નવા અર્થ સાથે n.
• વ્યવહાર - એલિસ, 100⟩ એલિસનું એકાઉન્ટ બેલેન્સ 100 પર સેટ કરવું.

ઉપરોક્ત ઉકેલમાં ઘણી મોટી સમસ્યાઓ છે:

• એલિસ ફક્ત મોકલીને અમર્યાદિત સંખ્યામાં સિક્કા મેળવી શકે છે વ્યવહાર - એલિસ, 100⟩.
• એલિસ બોબને મોકલેલા સિક્કાઓ નકામા છે, કારણ કે બોબ સમાન તકનીકનો ઉપયોગ કરીને પોતાને અમર્યાદિત સંખ્યામાં સિક્કા મોકલી શકે છે.

સૂચન # 2: ખાધને ધ્યાનમાં લેતા

હવે અમે પરિસ્થિતિ પર નજર રાખી રહ્યા છીએ જેથી સિક્કાઓની સંખ્યા Ka ઓછામાં ઓછું સમાન હતું n ટ્રાન્સફર ટ્રાન્ઝેક્શન પહેલાં. જો કે, જ્યારે આ અછતની સમસ્યાને હલ કરે છે, ત્યારે એલિસના સિક્કા કોણ મોકલી શકે છે તે વિશે કોઈ માહિતી નથી (હમણાં માટે, કોઈપણ આ કરી શકે છે, મુખ્ય વસ્તુ રકમ મર્યાદિત કરવાના નિયમનું ઉલ્લંઘન નથી).

દરખાસ્ત # 3: અછત અને એક્સેસ કંટ્રોલનું સંયોજન

અમે આ સમસ્યાને ડિજિટલ સહી પદ્ધતિથી હલ કરીએ છીએ verify_sig બેલેન્સ તપાસતા પહેલા, જેનો અર્થ છે કે એલિસ વ્યવહારમાં સહી કરવા માટે તેની ખાનગી કીનો ઉપયોગ કરે છે અને ખાતરી કરે છે કે તે તેના સિક્કાઓની માલિક છે.

બ્લોકચેન પ્રોગ્રામિંગ ભાષાઓ

હાલની બ્લોકચેન ભાષાઓ નીચેની સમસ્યાઓનો સામનો કરે છે (તે તમામ મુવમાં હલ કરવામાં આવી હતી (નોંધ: દુર્ભાગ્યવશ, લેખના લેખક ફક્ત તેની તુલનામાં ઇથેરિયમને અપીલ કરે છે, તેથી તે ફક્ત આ સંદર્ભમાં લેવાનું યોગ્ય છે. ઉદાહરણ તરીકે, નીચેનામાંથી મોટા ભાગનું ઇઓએસમાં પણ ઉકેલાય છે.)):

સંપત્તિની પરોક્ષ રજૂઆત. પૂર્ણાંકનો ઉપયોગ કરીને સંપત્તિને એન્કોડ કરવામાં આવે છે, પરંતુ પૂર્ણાંક સંપત્તિ સમાન નથી. હકીકતમાં, બિટકોઈન/ઈથર/<કોઈપણ સિક્કો> રજૂ કરતો કોઈ પ્રકાર કે મૂલ્ય નથી! આનાથી અસ્કયામતોનો ઉપયોગ કરતા પ્રોગ્રામ્સ લખવાનું મુશ્કેલ અને ભૂલથી ભરેલું હોય છે. પ્રક્રિયાઓમાં/માંથી અસ્કયામતો પસાર કરવા અથવા સ્ટ્રક્ચર્સમાં અસ્કયામતોનો સંગ્રહ કરવા જેવા દાખલાઓને ભાષાના વિશેષ સમર્થનની જરૂર છે.

ખાધ વિસ્તૃત નથી... ભાષા માત્ર એક દુર્લભ સંપત્તિનું પ્રતિનિધિત્વ કરે છે. આ ઉપરાંત, અછત સામેના ઉપાયો સીધા જ ભાષાના અર્થશાસ્ત્રમાં જોડાયેલા છે. વિકાસકર્તા, જો તે વૈવિધ્યપૂર્ણ સંપત્તિ બનાવવા માંગે છે, તો તેણે સંસાધનના તમામ પાસાઓને કાળજીપૂર્વક નિયંત્રિત કરવા જોઈએ. આ બરાબર Ethereum સ્માર્ટ કોન્ટ્રાક્ટની સમસ્યાઓ છે.

વપરાશકર્તાઓ મૂલ્ય અને કુલ પુરવઠો બંને નક્કી કરવા માટે પૂર્ણાંકનો ઉપયોગ કરીને તેમની સંપત્તિ, ERC-20 ટોકન્સ જારી કરે છે. જ્યારે પણ નવા ટોકન્સ બનાવવામાં આવે છે, ત્યારે સ્માર્ટ કોન્ટ્રાક્ટ કોડને સ્વતંત્ર રીતે ઉત્સર્જન નિયમોનું પાલન ચકાસવું આવશ્યક છે. આ ઉપરાંત, અસ્કયામતોની પરોક્ષ રજૂઆત, કેટલાક કિસ્સાઓમાં, ગંભીર ભૂલો તરફ દોરી જાય છે - ડુપ્લિકેશન, ડબલ ખર્ચ અથવા તો સંપત્તિનું સંપૂર્ણ નુકસાન.

લવચીક એક્સેસ કંટ્રોલનો અભાવ... આજે ઉપયોગમાં લેવાતી એકમાત્ર controlક્સેસ નિયંત્રણ નીતિ અસમપ્રમાણ સંકેતલિપીનો ઉપયોગ કરીને સહી યોજના છે. અછત સંરક્ષણની જેમ, accessક્સેસ નિયંત્રણ નીતિઓ ભાષાના અર્થશાસ્ત્રમાં deeplyંડે જડાયેલી છે. પરંતુ પ્રોગ્રામરોને તેમની પોતાની એક્સેસ કંટ્રોલ નીતિઓ વ્યાખ્યાયિત કરવા માટે ભાષાને કેવી રીતે વિસ્તૃત કરવી તે ઘણી વખત ખૂબ જ મુશ્કેલ કાર્ય છે.

આ Ethereum પર પણ સાચું છે, જ્યાં સ્માર્ટ કોન્ટ્રાક્ટમાં એક્સેસ કંટ્રોલ માટે મૂળ ક્રિપ્ટોગ્રાફી સપોર્ટ નથી. વિકાસકર્તાઓએ મેન્યુઅલી એક્સેસ કંટ્રોલ સેટ કરવું આવશ્યક છે, ઉદાહરણ તરીકે, OnlyOwner મોડિફાયરનો ઉપયોગ કરીને.

ભલે હું Ethereum નો મોટો ચાહક છું, હું માનું છું કે એસેટ પ્રોપર્ટીઝને સુરક્ષા હેતુઓ માટે ભાષા દ્વારા નેટીવલી સપોર્ટેડ હોવો જોઈએ. ખાસ કરીને, ઈથરને સ્માર્ટ કોન્ટ્રાક્ટમાં સ્થાનાંતરિત કરવા માટે ગતિશીલ રવાનગીનો સમાવેશ થાય છે, જેણે બગ્સનો નવો વર્ગ રજૂ કર્યો છે જેને પુનઃપ્રવેશ નબળાઈઓ તરીકે ઓળખવામાં આવે છે. અહીં ડાયનેમિક ડિસ્પેચનો અર્થ એ છે કે કોડના એક્ઝેક્યુશન લોજિક કમ્પાઈલ ટાઈમ (સ્ટેટિક)ને બદલે રનટાઈમ (ડાયનેમિક) પર નક્કી કરવામાં આવશે.

આમ, સોલિડિટીમાં, જ્યારે કોન્ટ્રાક્ટ એ કોન્ટ્રાક્ટ Bમાં ફંક્શનને કૉલ કરે છે, ત્યારે કોન્ટ્રાક્ટ B એ કોડ ચલાવી શકે છે જે કોન્ટ્રાક્ટ Aના ડેવલપરનો હેતુ ન હતો, જેના પરિણામે પુનઃપ્રવેશ નબળાઈઓ (કોન્ટ્રાક્ટ A આકસ્મિક રીતે એકાઉન્ટ બેલેન્સ વાસ્તવમાં કાપવામાં આવે તે પહેલાં નાણાં ઉપાડવા માટે કરાર B તરીકે કાર્ય કરે છે).

મૂવ લેંગ્વેજ ડિઝાઇન ફંડામેન્ટલ્સ

પ્રથમ ક્રમના સંસાધનો

ઉચ્ચ સ્તર પર, ચાલ ભાષામાં મોડ્યુલો / સંસાધનો / પ્રક્રિયાઓ વચ્ચેની ક્રિયાપ્રતિક્રિયા OOP ભાષાઓમાં વર્ગો / પદાર્થો અને પદ્ધતિઓ વચ્ચેના સંબંધ સમાન છે.
મૂવ મોડ્યુલો અન્ય બ્લોકચેન્સમાં સ્માર્ટ કોન્ટ્રાક્ટ્સ સમાન છે. મોડ્યુલ સંસાધનોના પ્રકારો અને પ્રક્રિયાઓ જાહેર કરે છે જે ઘોષિત સંસાધનો બનાવવા, નાશ કરવા અને અપડેટ કરવા માટેના નિયમોને વ્યાખ્યાયિત કરે છે. પરંતુ આ બધા માત્ર સંમેલનો છે (“જાર્ગન”) ચાલ માં. અમે થોડા સમય પછી આ મુદ્દાને સમજાવશે.

સુગમતા

સ્ક્રિપ્ટીંગ દ્વારા મૂવ તુલા રાશિમાં સુગમતા ઉમેરે છે. તુલા રાશિના દરેક વ્યવહારમાં એક સ્ક્રિપ્ટનો સમાવેશ થાય છે, જે આવશ્યકપણે વ્યવહારની મુખ્ય પ્રક્રિયા છે. સ્ક્રિપ્ટ કાં તો એક ઉલ્લેખિત ક્રિયા કરી શકે છે, ઉદાહરણ તરીકે, પ્રાપ્તકર્તાઓની ચોક્કસ સૂચિને ચૂકવણી, અથવા અન્ય સંસાધનોનો પુનઃઉપયોગ કરી શકે છે - ઉદાહરણ તરીકે, એક પ્રક્રિયાને કૉલ કરીને જેમાં સામાન્ય તર્કનો ઉલ્લેખ કરવામાં આવ્યો હોય. તેથી જ મૂવ ટ્રાન્ઝેક્શન સ્ક્રિપ્ટ્સ વધુ લવચીકતા પ્રદાન કરે છે. એક સ્ક્રિપ્ટ એક-વખત અને પુનરાવર્તિત વર્તણૂકો બંનેનો ઉપયોગ કરી શકે છે, જ્યારે Ethereum માત્ર પુનરાવર્તિત સ્ક્રિપ્ટો ચલાવી શકે છે (સ્માર્ટ કરાર પદ્ધતિ પર એક પદ્ધતિને બોલાવે છે). તેને "ફરીથી વાપરી શકાય તેવું" કહેવાનું કારણ એ છે કે સ્માર્ટ કોન્ટ્રાક્ટના કાર્યો ઘણી વખત એક્ઝિક્યુટ કરી શકાય છે. (નૉૅધ: અહીં મુદ્દો ખૂબ જ સૂક્ષ્મ છે. એક તરફ, બિટકોઇનમાં સ્યુડો-બાઇટકોડના રૂપમાં ટ્રાન્ઝેક્શન સ્ક્રિપ્ટો પણ અસ્તિત્વમાં છે. બીજી બાજુ, જેમ હું તેને સમજું છું, મૂવ આ ભાષાને હકીકતમાં, સંપૂર્ણ સ્માર્ટ કોન્ટ્રાક્ટ લેંગ્વેજના સ્તરે વિસ્તૃત કરે છે.).

સુરક્ષા

મૂવ એક્ઝિક્યુટેબલ ફોર્મેટ બાયટેકોડ છે, જે એક તરફ એસેમ્બલી લેંગ્વેજ કરતાં ઉચ્ચ સ્તરની ભાષા છે, પરંતુ સ્રોત કોડ કરતાં નીચું સ્તર છે. બાઇટકોડ વેરિફાયરનો ઉપયોગ કરીને સંસાધનો, પ્રકારો અને મેમરી સલામતી માટે રન-ટાઇમ (ઓન-ચેઇન) માં બાઇટકોડ તપાસવામાં આવે છે, અને પછી દુભાષિયા દ્વારા ચલાવવામાં આવે છે. આ અભિગમ મૂવને સ્રોત કોડની સુરક્ષા પ્રદાન કરવાની મંજૂરી આપે છે, પરંતુ સંકલન પ્રક્રિયા અને સિસ્ટમમાં કમ્પાઇલર ઉમેરવાની જરૂરિયાત વિના. મૂવને બાયટેકોડ ભાષા બનાવવી એ ખરેખર સારો ઉકેલ છે. સોલિડિટીની જેમ તેને સ્ત્રોતમાંથી કમ્પાઈલ કરવાની જરૂર નથી, અને કમ્પાઈલર ઈન્ફ્રાસ્ટ્રક્ચર પર સંભવિત નિષ્ફળતાઓ અથવા હુમલાઓ વિશે ચિંતા કરવાની કોઈ જરૂર નથી.

ચકાસણી

અમારો હેતુ શક્ય તેટલી સરળ રીતે તપાસ કરવા માટે છે, કારણ કે આ બધું ઓન-ચેન કરવામાં આવે છે (નોંધ: ,નલાઇન, દરેક ટ્રાન્ઝેક્શનના એક્ઝેક્યુશન દરમિયાન, તેથી કોઈપણ વિલંબ સમગ્ર નેટવર્કની મંદી તરફ દોરી જાય છે), જોકે, શરૂઆતમાં ભાષા ડિઝાઇન ઑફ-ચેઇન સ્ટેટિક વેરિફિકેશન ટૂલ્સનો ઉપયોગ કરવા માટે તૈયાર છે. જો કે આ વધુ પ્રાધાન્યક્ષમ છે, હાલમાં ચકાસણી ટૂલ્સનો વિકાસ (અલગ ટૂલકીટ તરીકે) ભવિષ્ય માટે મુલતવી રાખવામાં આવ્યો છે, અને હવે માત્ર રન-ટાઇમ (ઓન-ચેઇન)માં ગતિશીલ ચકાસણીને સમર્થન આપવામાં આવે છે.

મોડ્યુલરિટી

મૂવ મોડ્યુલ્સ ડેટા એબ્સ્ટ્રેક્શન પ્રદાન કરે છે અને સંસાધનો પર નિર્ણાયક કામગીરીનું સ્થાનિકીકરણ કરે છે. મોડ્યુલ દ્વારા પૂરી પાડવામાં આવેલ એન્કેપ્સ્યુલેશન, મૂવ ટાઇપ સિસ્ટમ દ્વારા પૂરી પાડવામાં આવેલ રક્ષણ સાથે, ખાતરી કરે છે કે મોડ્યુલના પ્રકારો પર સેટ કરેલ ગુણધર્મો મોડ્યુલની બહારના કોડ દ્વારા ઉલ્લંઘન કરી શકાતા નથી. આ એકદમ સારી રીતે વિચારેલી અમૂર્ત ડિઝાઇન છે, જેનો અર્થ છે કે કરારની અંદરનો ડેટા ફક્ત કરારના માળખામાં જ બદલાઈ શકે છે, પરંતુ બહાર નહીં.

ઝાંખી ખસેડો

ટ્રાન્ઝેક્શન સ્ક્રિપ્ટ ઉદાહરણ દર્શાવે છે કે મોડ્યુલની બહાર પ્રોગ્રામર દ્વારા દૂષિત અથવા બેદરકાર ક્રિયાઓ મોડ્યુલના સંસાધનોની સુરક્ષા સાથે સમાધાન કરી શકતી નથી. આગળ, આપણે તુલા બ્લોકચેનને પ્રોગ્રામ કરવા માટે મોડ્યુલો, સંસાધનો અને પ્રક્રિયાઓનો ઉપયોગ કેવી રીતે થાય છે તેના ઉદાહરણો જોઈશું.

પીઅર-ટુ-પીઅર ચૂકવણી

રકમમાં ઉલ્લેખિત સિક્કાઓની સંખ્યા મોકલનારના બેલેન્સમાંથી પ્રાપ્તકર્તાને ટ્રાન્સફર કરવામાં આવશે.
અહીં કેટલીક નવી વસ્તુઓ છે (લાલ રંગમાં પ્રકાશિત):

• 0x0: ખાતાનું સરનામું જ્યાં મોડ્યુલ સંગ્રહિત છે
• કરન્સી: મોડ્યુલ નામ
• સિક્કો: સ્ત્રોતનો પ્રકાર
• પ્રક્રિયા દ્વારા પરત કરાયેલ સિક્કો મૂલ્ય 0x0.Currency.Coin પ્રકારનું સંસાધન મૂલ્ય છે
• ખસેડો (): મૂલ્યનો ફરીથી ઉપયોગ કરી શકાતો નથી
• નકલ (): મૂલ્ય પાછળથી વાપરી શકાય છે

કોડનું વિશ્લેષણ કરો: પ્રથમ પગલામાં, મોકલનાર નામની પ્રક્રિયાને બોલાવે છે મોકલનાર પાસેથી પાછી ખેંચો માં સંગ્રહિત મોડ્યુલમાંથી 0x0 ચલણ. બીજા પગલામાં, પ્રેષક સિક્કાના સંસાધન મૂલ્યને મોડ્યુલની ડિપોઝિટ પ્રક્રિયામાં ખસેડીને પ્રાપ્તકર્તાને ફંડ ટ્રાન્સફર કરે છે. 0x0 ચલણ.

અહીં કોડમાં ભૂલોના ત્રણ ઉદાહરણો છે જે ચેક દ્વારા નકારવામાં આવશે:
કોલ બદલીને ડુપ્લિકેટ ફંડ ખસેડો (સિક્કો) પર નકલ (સિક્કો). સંસાધનો ફક્ત ખસેડી શકાય છે. સંસાધનના જથ્થાને ડુપ્લિકેટ કરવાનો પ્રયાસ કરી રહ્યા છીએ (ઉદાહરણ તરીકે, કૉલ કરીને નકલ (સિક્કો) ઉપરના ઉદાહરણમાં) બાઇટકોડ તપાસતી વખતે ભૂલ આવશે.

સ્પષ્ટ કરીને ભંડોળનો ફરીથી ઉપયોગ ખસેડો (સિક્કો) બે વાર . એક લીટી ઉમેરી રહ્યા છીએ 0x0.Currency.deposit (copy (some_other_payee), ખસેડો (સિક્કો)) ઉદાહરણ તરીકે, ઉપરોક્ત પ્રેષકને બે વખત સિક્કાઓ "ખર્ચ" કરવાની મંજૂરી આપશે - પ્રથમ વખત ચૂકવનાર સાથે અને બીજી વખત કેટલાક_અન્ય_ચૂકવનાર. આ એક અનિચ્છનીય વર્તન છે જે ભૌતિક સંપત્તિ સાથે શક્ય નથી. સદભાગ્યે, મૂવ આ પ્રોગ્રામને નકારશે.

ઇનકારને કારણે ભંડોળની ખોટ ખસેડો (સિક્કો). જો તમે સંસાધનને ખસેડતા નથી (ઉદાહરણ તરીકે, સમાવિષ્ટ લાઇનને કાઢી નાખીને ખસેડો (સિક્કો)), બાયટેકોડ ચકાસણી ભૂલ ફેંકવામાં આવશે. આ મૂવ પ્રોગ્રામર્સને આકસ્મિક અથવા દૂષિત ભંડોળના નુકસાનથી રક્ષણ આપે છે.

ચલણ મોડ્યુલ

દરેક ખાતામાં 0 અથવા વધુ મોડ્યુલો (લંબચોરસ તરીકે દર્શાવવામાં આવેલ) અને એક અથવા વધુ સંસાધન મૂલ્યો (સિલિન્ડર તરીકે દર્શાવવામાં આવેલ) હોઈ શકે છે. ઉદાહરણ તરીકે, ખાતે એકાઉન્ટ 0x0 મોડ્યુલ સમાવે છે 0x0 ચલણ અને સંસાધન પ્રકારનું મૂલ્ય 0x0.Currency.Coin. સરનામે એકાઉન્ટ 0x1 બે સંસાધનો અને એક મોડ્યુલ છે; સરનામે એકાઉન્ટ 0x2 બે મોડ્યુલો અને એક સંસાધન મૂલ્ય ધરાવે છે.

નેકોટોરી ક્ષણો:

• ટ્રાન્ઝેક્શન સ્ક્રિપ્ટ એટોમિક છે - કાં તો તે સંપૂર્ણ રીતે ચલાવવામાં આવે છે અથવા બિલકુલ નહીં.
• મોડ્યુલ એ કોડનો લાંબો સમયનો ભાગ છે જે વૈશ્વિક સ્તરે સુલભ છે.
• વૈશ્વિક સ્થિતિ હેશ ટેબલ તરીકે રચાયેલ છે, જ્યાં કી એકાઉન્ટ સરનામું છે
• એકાઉન્ટમાં આપેલ પ્રકારનું એક કરતાં વધુ સંસાધન મૂલ્ય અને આપેલ નામ સાથે એક કરતાં વધુ મોડ્યુલ ન હોઈ શકે (એકાઉન્ટ 0x0 વધારાના સંસાધન સમાવી શકતા નથી 0x0.Currency.Coin અથવા નામનું બીજું મોડ્યુલ કરન્સી)
• જાહેર કરેલ મોડ્યુલનું સરનામું પ્રકારનો ભાગ છે (0x0.Currency.Coin и 0x1.Currency.Coin અલગ પ્રકારો છે જેનો એકબીજાના બદલે ઉપયોગ કરી શકાતો નથી)
• પ્રોગ્રામર્સ તેમના કસ્ટમ સંસાધનને વ્યાખ્યાયિત કરીને એકાઉન્ટમાં આ પ્રકારના સંસાધનના બહુવિધ ઉદાહરણો સંગ્રહિત કરી શકે છે - (સંસાધન TwoCoins {c1: 0x0.Currency.Coin, c2: 0x0.Currency.Coin})
• તમે કોઈ સંસાધનને તેના નામ દ્વારા વિરોધાભાસ વિના સંદર્ભિત કરી શકો છો, ઉદાહરણ તરીકે તમે ઉપયોગ કરીને બે સંસાધનોનો સંદર્ભ લઈ શકો છો TwoCoins.c1 и TwoCoins.c2.

સિક્કા સંસાધનની જાહેરાત

મોડ્યુલ નામ આપવામાં આવ્યું છે કરન્સી અને નામનું સંસાધન પ્રકાર સિક્કો

નેકોટોરી ક્ષણો:

• સિક્કો એક પ્રકારનું એક ક્ષેત્ર ધરાવતું માળખું છે u64 (64-બીટ સહી વગરનો પૂર્ણાંક)
• માત્ર મોડ્યુલ પ્રક્રિયાઓ કરન્સી પ્રકારના મૂલ્યો બનાવી અથવા નાશ કરી શકે છે સિક્કો.
• અન્ય મોડ્યુલો અને સ્ક્રિપ્ટો માત્ર મોડ્યુલ દ્વારા પૂરી પાડવામાં આવેલ જાહેર પ્રક્રિયાઓ દ્વારા મૂલ્ય ક્ષેત્રને લખી અથવા સંદર્ભિત કરી શકે છે.

ડિપોઝિટનું વેચાણ

આ પ્રક્રિયા સંસાધન સ્વીકારે છે સિક્કો ઇનપુટ તરીકે અને તેને સંસાધન સાથે જોડે છે સિક્કોપ્રાપ્તકર્તાના ખાતામાં સંગ્રહિત:

1. ઇનપુટ સંસાધન સિક્કાનો નાશ કરવો અને તેનું મૂલ્ય રેકોર્ડ કરવું.
2. પ્રાપ્તકર્તાના ખાતામાં સંગ્રહિત અનન્ય સિક્કા સંસાધનની લિંક પ્રાપ્ત કરવી.
3. પ્રક્રિયાને કૉલ કરતી વખતે પરિમાણમાં પસાર કરેલ મૂલ્ય દ્વારા સિક્કાઓની સંખ્યાની કિંમત બદલવી.

નેકોટોરી ક્ષણો:

• અનપેક, બોરોગ્લોબલ - બિલ્ટ-ઇન પ્રક્રિયાઓ
• અનપેક કરો T પ્રકારના સ્ત્રોતને કાઢી નાખવાનો આ એકમાત્ર રસ્તો છે. પ્રક્રિયા ઇનપુટ તરીકે સંસાધન લે છે, તેનો નાશ કરે છે અને સંસાધનના ક્ષેત્રો સાથે સંકળાયેલ મૂલ્ય પરત કરે છે.
• વૈશ્વિક ઉધાર એક સરનામું ઇનપુટ તરીકે લે છે અને તે સરનામા દ્વારા પ્રકાશિત (માલિકીના) T ના અનન્ય ઉદાહરણનો સંદર્ભ આપે છે
• &mut સિક્કો આ સંસાધનની લિંક છે સિક્કો

પ્રેષક પાસેથી ઉપાડવાનો અમલ

આ પ્રક્રિયા:

1. અનન્ય સંસાધનની લિંક મેળવે છે સિક્કો, મોકલનારના એકાઉન્ટ સાથે લિંક કરેલ છે
2. સંસાધનનું મૂલ્ય ઘટાડે છે સિક્કો ઉલ્લેખિત રકમ માટે લિંક દ્વારા
3. નવું સંસાધન બનાવે છે અને પરત કરે છે સિક્કો અપડેટ બેલેન્સ સાથે.

નેકોટોરી ક્ષણો:

• ડિપોઝિટ કોઈપણ કારણે થઈ શકે છે, પરંતુ મોકલનાર પાસેથી પાછી ખેંચો ફક્ત કૉલિંગ એકાઉન્ટના સિક્કાની ઍક્સેસ છે
• GetTxnSenderAddress તેના જેવું msg.sender સોલિડિટી માં
• રિજેક્ટ અનલેસ તેના જેવું જરૂર સોલિડિટી માં. જો આ ચેક નિષ્ફળ જાય, તો વ્યવહાર બંધ કરી દેવામાં આવે છે અને તમામ ફેરફારો પાછા ખેંચવામાં આવે છે.
• પૅક તે એક બિલ્ટ-ઇન પ્રક્રિયા પણ છે જે T પ્રકારનું નવું સંસાધન બનાવે છે.
• તેમજ અનપેક કરો, પૅક માત્ર મોડ્યુલની અંદર બોલાવી શકાય છે જ્યાં સંસાધનનું વર્ણન કરવામાં આવ્યું છે T

નિષ્કર્ષ

અમે મૂવ ભાષાની મુખ્ય લાક્ષણિકતાઓની તપાસ કરી, તેની Ethereum સાથે સરખામણી કરી, અને સ્ક્રિપ્ટોના મૂળભૂત વાક્યરચનાથી પણ પરિચિત થયા. છેલ્લે, હું ખૂબ તપાસ કરવાની ભલામણ કરું છું મૂળ સફેદ કાગળ. તેમાં પ્રોગ્રામિંગ ભાષાના ડિઝાઇન સિદ્ધાંતો, તેમજ ઘણી ઉપયોગી લિંક્સ સંબંધિત ઘણી બધી વિગતો શામેલ છે.

સોર્સ: www.habr.com