ഹാസ്‌കെല്ലിനൊപ്പം ഫൺസിയെ ഫൺ‌ക്ഷണലാക്കി മാറ്റുന്നു: ടെലിഗ്രാം ബ്ലോക്ക്ചെയിൻ മത്സരത്തിൽ സെറോകെൽ എങ്ങനെ വിജയിച്ചു

ടെലഗ്രാം എന്ന് നിങ്ങൾ കേട്ടിട്ടുണ്ടാകും ടൺ ബ്ലോക്ക്‌ചെയിൻ പ്ലാറ്റ്‌ഫോം അവതരിപ്പിക്കാൻ പോകുന്നു. എന്നാൽ വളരെക്കാലം മുമ്പുള്ള ടെലിഗ്രാം വാർത്ത നിങ്ങൾക്ക് നഷ്ടമായിരിക്കാം ഒരു മത്സരം പ്രഖ്യാപിച്ചു ഈ പ്ലാറ്റ്‌ഫോമിനായി ഒന്നോ അതിലധികമോ സ്മാർട്ട് കരാറുകൾ നടപ്പിലാക്കുന്നതിന്.

വലിയ ബ്ലോക്ക്ചെയിൻ പദ്ധതികൾ വികസിപ്പിക്കുന്നതിൽ വിപുലമായ അനുഭവപരിചയമുള്ള സെറോകെൽ ടീമിന് മാറിനിൽക്കാൻ കഴിഞ്ഞില്ല. ഞങ്ങൾ അഞ്ച് ജീവനക്കാരെ മത്സരത്തിലേക്ക് നിയോഗിച്ചു, രണ്ടാഴ്ചയ്ക്ക് ശേഷം അവർ അതിൽ (ഇൻ) മിതമായ റാൻഡം വിളിപ്പേര് സെക്സി ചാമിലിയൻ എന്ന പേരിൽ ഒന്നാം സ്ഥാനം നേടി. അവർ അത് എങ്ങനെ ചെയ്തു എന്നതിനെക്കുറിച്ച് ഈ ലേഖനത്തിൽ ഞാൻ സംസാരിക്കും. അടുത്ത പത്ത് മിനിറ്റിനുള്ളിൽ നിങ്ങൾ ഒരു രസകരമായ കഥയെങ്കിലും വായിക്കുമെന്ന് ഞങ്ങൾ പ്രതീക്ഷിക്കുന്നു, കൂടാതെ നിങ്ങളുടെ ജോലിയിൽ പ്രയോഗിക്കാൻ കഴിയുന്ന ഉപയോഗപ്രദമായ എന്തെങ്കിലും അതിൽ നിങ്ങൾ കണ്ടെത്തും.

എന്നാൽ നമുക്ക് ഒരു ചെറിയ സന്ദർഭത്തിൽ നിന്ന് ആരംഭിക്കാം.

മത്സരവും അതിന്റെ വ്യവസ്ഥകളും

അതിനാൽ, പങ്കെടുക്കുന്നവരുടെ പ്രധാന ചുമതലകൾ ഒന്നോ അതിലധികമോ നിർദ്ദിഷ്ട സ്മാർട്ട് കരാറുകൾ നടപ്പിലാക്കുക, അതുപോലെ തന്നെ TON ആവാസവ്യവസ്ഥ മെച്ചപ്പെടുത്തുന്നതിനുള്ള നിർദ്ദേശങ്ങൾ ഉണ്ടാക്കുക എന്നിവയായിരുന്നു. സെപ്റ്റംബർ 24 മുതൽ ഒക്ടോബർ 15 വരെ നടന്ന മത്സരം നവംബർ 15 ന് മാത്രമാണ് ഫലം പ്രഖ്യാപിച്ചത്. വളരെക്കാലമായി, ഈ സമയത്ത് ടെലിഗ്രാമിലെ VoIP കോളുകളുടെ ഗുണനിലവാരം പരിശോധിക്കുന്നതിനും വിലയിരുത്തുന്നതിനുമായി C++ ലെ ആപ്ലിക്കേഷനുകളുടെ രൂപകൽപ്പനയും വികസനവും സംബന്ധിച്ച മത്സരങ്ങളുടെ ഫലങ്ങൾ നിലനിർത്താനും പ്രഖ്യാപിക്കാനും ടെലിഗ്രാമിന് കഴിഞ്ഞു.

സംഘാടകർ നിർദ്ദേശിച്ച ലിസ്റ്റിൽ നിന്ന് ഞങ്ങൾ രണ്ട് മികച്ച കരാറുകൾ തിരഞ്ഞെടുത്തു. അവയിലൊന്നിന്, ഞങ്ങൾ TON ഉപയോഗിച്ച് വിതരണം ചെയ്ത ടൂളുകൾ ഉപയോഗിച്ചു, രണ്ടാമത്തേത് ഞങ്ങളുടെ എഞ്ചിനീയർമാർ TON-നായി പ്രത്യേകം വികസിപ്പിച്ചെടുത്തതും ഹാസ്കെല്ലിൽ നിർമ്മിച്ചതുമായ ഒരു പുതിയ ഭാഷയിൽ നടപ്പിലാക്കി.

ഒരു ഫങ്ഷണൽ പ്രോഗ്രാമിംഗ് ഭാഷ തിരഞ്ഞെടുക്കുന്നത് ആകസ്മികമല്ല. ഞങ്ങളുടെ കോർപ്പറേറ്റ് ബ്ലോഗ് ഫങ്ഷണൽ ഭാഷകളുടെ സങ്കീർണ്ണത ഒരു വലിയ അതിശയോക്തിയാണെന്ന് ഞങ്ങൾ കരുതുന്നത് എന്തുകൊണ്ടാണെന്നും ഒബ്‌ജക്റ്റ് അധിഷ്‌ഠിത ഭാഷകളേക്കാൾ ഞങ്ങൾ പൊതുവെ അവ തിരഞ്ഞെടുക്കുന്നത് എന്തുകൊണ്ടാണെന്നും ഞങ്ങൾ പലപ്പോഴും സംസാരിക്കാറുണ്ട്. വഴിയിൽ, അതിൽ അടങ്ങിയിരിക്കുന്നു ഈ ലേഖനത്തിന്റെ ഒറിജിനൽ.

എന്തുകൊണ്ടാണ് ഞങ്ങൾ പങ്കെടുക്കാൻ പോലും തീരുമാനിച്ചത്?

ചുരുക്കത്തിൽ, ഞങ്ങളുടെ സ്പെഷ്യലൈസേഷൻ നിലവാരമില്ലാത്തതും സങ്കീർണ്ണവുമായ പ്രോജക്റ്റുകളാണ്, അത് പ്രത്യേക വൈദഗ്ധ്യം ആവശ്യമുള്ളതും പലപ്പോഴും ഐടി സമൂഹത്തിന് ശാസ്ത്രീയ മൂല്യമുള്ളതുമാണ്. ഞങ്ങൾ ഓപ്പൺ സോഴ്‌സ് വികസനത്തെ ശക്തമായി പിന്തുണയ്ക്കുകയും അതിന്റെ ജനകീയവൽക്കരണത്തിൽ ഏർപ്പെടുകയും ചെയ്യുന്നു, കൂടാതെ കമ്പ്യൂട്ടർ സയൻസ്, ഗണിതശാസ്ത്ര മേഖലയിലെ പ്രമുഖ റഷ്യൻ സർവകലാശാലകളുമായി സഹകരിക്കുകയും ചെയ്യുന്നു.

മത്സരത്തിന്റെ രസകരമായ ജോലികളും ഞങ്ങളുടെ പ്രിയപ്പെട്ട ടെലിഗ്രാം പ്രോജക്റ്റിലെ പങ്കാളിത്തവും ഒരു മികച്ച പ്രചോദനമായിരുന്നു, പക്ഷേ സമ്മാന ഫണ്ട് ഒരു അധിക പ്രോത്സാഹനമായി മാറി. 🙂

ടൺ ബ്ലോക്ക്ചെയിൻ ഗവേഷണം

ബ്ലോക്ക്‌ചെയിൻ, ആർട്ടിഫിഷ്യൽ ഇന്റലിജൻസ്, മെഷീൻ ലേണിംഗ് എന്നിവയിലെ പുതിയ സംഭവവികാസങ്ങൾ ഞങ്ങൾ സൂക്ഷ്മമായി നിരീക്ഷിക്കുകയും ഞങ്ങൾ പ്രവർത്തിക്കുന്ന ഓരോ മേഖലയിലും കാര്യമായ ഒരു റിലീസ് പോലും നഷ്ടപ്പെടുത്താതിരിക്കാൻ ശ്രമിക്കുകയും ചെയ്യുന്നു. അതിനാൽ, മത്സരം ആരംഭിക്കുമ്പോഴേക്കും ഞങ്ങളുടെ ടീമിന് ആശയങ്ങൾ പരിചിതമായിരുന്നു ടൺ വെള്ള പേപ്പർ. എന്നിരുന്നാലും, TON-മായി പ്രവർത്തിക്കാൻ തുടങ്ങുന്നതിനുമുമ്പ്, പ്ലാറ്റ്‌ഫോമിന്റെ സാങ്കേതിക ഡോക്യുമെന്റേഷനും യഥാർത്ഥ സോഴ്‌സ് കോഡും ഞങ്ങൾ വിശകലനം ചെയ്തില്ല, അതിനാൽ ആദ്യ ഘട്ടം വളരെ വ്യക്തമായിരുന്നു - എന്നതിന്റെ ഔദ്യോഗിക ഡോക്യുമെന്റേഷന്റെ സമഗ്രമായ പഠനം സൈറ്റ് ഒപ്പം അകത്തേക്കും പദ്ധതി ശേഖരങ്ങൾ.

മത്സരം ആരംഭിച്ചപ്പോഴേക്കും, കോഡ് ഇതിനകം പ്രസിദ്ധീകരിച്ചിരുന്നു, അതിനാൽ സമയം ലാഭിക്കാൻ, ഞങ്ങൾ എഴുതിയ ഒരു ഗൈഡിനോ സംഗ്രഹമോ തിരയാൻ തീരുമാനിച്ചു. ഉപയോക്താക്കൾ വഴി. നിർഭാഗ്യവശാൽ, ഇത് ഫലങ്ങളൊന്നും നൽകിയില്ല - ഉബുണ്ടുവിൽ പ്ലാറ്റ്ഫോം കൂട്ടിച്ചേർക്കുന്നതിനുള്ള നിർദ്ദേശങ്ങൾ ഒഴികെ, മറ്റ് മെറ്റീരിയലുകളൊന്നും ഞങ്ങൾ കണ്ടെത്തിയില്ല.

ഡോക്യുമെന്റേഷൻ തന്നെ നന്നായി ഗവേഷണം ചെയ്തു, പക്ഷേ ചില ഘട്ടങ്ങളിൽ വായിക്കാൻ ബുദ്ധിമുട്ടായിരുന്നു. പലപ്പോഴും ഞങ്ങൾക്ക് ചില പോയിന്റുകളിലേക്ക് മടങ്ങുകയും അമൂർത്ത ആശയങ്ങളുടെ ഉയർന്ന തലത്തിലുള്ള വിവരണങ്ങളിൽ നിന്ന് താഴ്ന്ന നിലയിലുള്ള നടപ്പാക്കൽ വിശദാംശങ്ങളിലേക്ക് മാറുകയും ചെയ്യേണ്ടിവന്നു.

സ്പെസിഫിക്കേഷനിൽ നടപ്പാക്കലിന്റെ വിശദമായ വിവരണം ഉൾപ്പെടുത്തിയില്ലെങ്കിൽ അത് എളുപ്പമായിരിക്കും. ഒരു വെർച്വൽ മെഷീൻ അതിന്റെ സ്റ്റാക്കിനെ എങ്ങനെ പ്രതിനിധീകരിക്കുന്നു എന്നതിനെക്കുറിച്ചുള്ള വിവരങ്ങൾ, ടൺ പ്ലാറ്റ്‌ഫോമിനായി സ്‌മാർട്ട് കരാറുകൾ സൃഷ്‌ടിക്കുന്ന ഡെവലപ്പർമാരെ സഹായിക്കുന്നതിനേക്കാൾ ശ്രദ്ധ തിരിക്കാനാണ് സാധ്യത.

നിക്സ്: പ്രോജക്റ്റ് ഒരുമിച്ച് ചേർക്കുന്നു

സെറോകെലിൽ ഞങ്ങൾ വലിയ ആരാധകരാണ് നിക്സ്. ഞങ്ങൾ അവരോടൊപ്പം ഞങ്ങളുടെ പ്രോജക്റ്റുകൾ ശേഖരിക്കുകയും അവ ഉപയോഗിച്ച് വിന്യസിക്കുകയും ചെയ്യുന്നു നിക്സ്ഓപ്സ്, കൂടാതെ ഞങ്ങളുടെ എല്ലാ സെർവറുകളിലും ഇൻസ്റ്റാൾ ചെയ്തു നിക്സോസ്. ഇതിന് നന്ദി, ഞങ്ങളുടെ എല്ലാ ബിൽഡുകളും പുനർനിർമ്മിക്കാവുന്നതും നിക്സ് ഇൻസ്റ്റാൾ ചെയ്യാൻ കഴിയുന്ന ഏത് ഓപ്പറേറ്റിംഗ് സിസ്റ്റത്തിലും പ്രവർത്തിക്കുന്നു.

അതിനാൽ ഞങ്ങൾ സൃഷ്ടിച്ചുകൊണ്ട് ആരംഭിച്ചു TON അസംബ്ലിക്കുള്ള എക്സ്പ്രഷനോടുകൂടിയ നിക്സ് ഓവർലേ. അതിന്റെ സഹായത്തോടെ, TON കംപൈൽ ചെയ്യുന്നത് കഴിയുന്നത്ര ലളിതമാണ്:

$ cd ~/.config/nixpkgs/overlays && git clone https://github.com/serokell/ton.nix
$ cd /path/to/ton/repo && nix-shell
[nix-shell]$ cmakeConfigurePhase && make

നിങ്ങൾ ഡിപൻഡൻസികളൊന്നും ഇൻസ്റ്റാൾ ചെയ്യേണ്ടതില്ലെന്ന കാര്യം ശ്രദ്ധിക്കുക. നിങ്ങൾ NixOS, Ubuntu, അല്ലെങ്കിൽ macOS എന്നിവ ഉപയോഗിച്ചാലും, നിക്‌സ് നിങ്ങൾക്കായി എല്ലാം മാന്ത്രികമായി ചെയ്യും.

TON-നുള്ള പ്രോഗ്രാമിംഗ്

TON നെറ്റ്‌വർക്കിലെ സ്‌മാർട്ട് കോൺട്രാക്‌റ്റ് കോഡ് TON വെർച്വൽ മെഷീനിൽ (TVM) പ്രവർത്തിക്കുന്നു. മറ്റ് മിക്ക വെർച്വൽ മെഷീനുകളേക്കാളും ടിവിഎം സങ്കീർണ്ണമാണ്, കൂടാതെ വളരെ രസകരമായ പ്രവർത്തനക്ഷമതയും ഉണ്ട്, ഉദാഹരണത്തിന്, ഇതിന് പ്രവർത്തിക്കാൻ കഴിയും തുടർച്ചകൾ и ഡാറ്റയിലേക്കുള്ള ലിങ്കുകൾ.

കൂടാതെ, TON ൽ നിന്നുള്ള ആൺകുട്ടികൾ മൂന്ന് പുതിയ പ്രോഗ്രാമിംഗ് ഭാഷകൾ സൃഷ്ടിച്ചു:

അഞ്ച് സാദൃശ്യമുള്ള ഒരു സാർവത്രിക സ്റ്റാക്ക് പ്രോഗ്രാമിംഗ് ഭാഷയാണ് ഫോർത്ത്. ടിവിഎമ്മുമായി സംവദിക്കാനുള്ള കഴിവാണ് അദ്ദേഹത്തിന്റെ സൂപ്പർ കഴിവ്.

FunC സമാനമായ ഒരു സ്‌മാർട്ട് കോൺട്രാക്ട് പ്രോഗ്രാമിംഗ് ഭാഷയാണ് C കൂടാതെ മറ്റൊരു ഭാഷയിലേക്ക് സമാഹരിച്ചിരിക്കുന്നു - ഫിഫ്റ്റ് അസംബ്ലർ.

അഞ്ചാമത്തെ അസംബ്ലർ — TVM-നായി ബൈനറി എക്സിക്യൂട്ടബിൾ കോഡ് സൃഷ്ടിക്കുന്നതിനുള്ള ഫൈഫ് ലൈബ്രറി. അഞ്ചാമത്തെ അസംബ്ലറിന് ഒരു കംപൈലർ ഇല്ല. ഈ എംബഡഡ് ഡൊമെയ്ൻ സ്പെസിഫിക് ലാംഗ്വേജ് (eDSL).

ഞങ്ങളുടെ മത്സരം പ്രവർത്തിക്കുന്നു

അവസാനമായി, ഞങ്ങളുടെ പ്രയത്നത്തിന്റെ ഫലം നോക്കേണ്ട സമയമാണിത്.

അസിൻക്രണസ് പേയ്‌മെന്റ് ചാനൽ

രണ്ട് ഉപയോക്താക്കളെ ബ്ലോക്ക്ചെയിനിന് പുറത്ത് പേയ്‌മെന്റുകൾ അയയ്ക്കാൻ അനുവദിക്കുന്ന ഒരു മികച്ച കരാറാണ് പേയ്‌മെന്റ് ചാനൽ. തൽഫലമായി, നിങ്ങൾ പണം മാത്രമല്ല (കമ്മീഷൻ ഇല്ല), മാത്രമല്ല സമയവും (അടുത്ത ബ്ലോക്ക് പ്രോസസ്സ് ചെയ്യുന്നതിനായി നിങ്ങൾ കാത്തിരിക്കേണ്ടതില്ല). പേയ്‌മെന്റുകൾ ആവശ്യമുള്ളത്ര ചെറുതും ആവശ്യമുള്ളത്ര തവണയും ആകാം. ഈ സാഹചര്യത്തിൽ, കക്ഷികൾ പരസ്പരം വിശ്വസിക്കേണ്ടതില്ല, കാരണം അന്തിമ സെറ്റിൽമെന്റിന്റെ ന്യായം സ്മാർട്ട് കരാർ ഉറപ്പുനൽകുന്നു.

പ്രശ്നത്തിന് ഞങ്ങൾ വളരെ ലളിതമായ ഒരു പരിഹാരം കണ്ടെത്തി. രണ്ട് കക്ഷികൾക്ക് ഒപ്പിട്ട സന്ദേശങ്ങൾ കൈമാറാൻ കഴിയും, ഓരോന്നിനും രണ്ട് നമ്പറുകൾ അടങ്ങിയിരിക്കുന്നു-ഓരോ കക്ഷിയും അടച്ച മുഴുവൻ തുകയും. ഈ രണ്ട് നമ്പറുകളും ഇതുപോലെ പ്രവർത്തിക്കുന്നു വെക്റ്റർ ക്ലോക്ക് പരമ്പരാഗത വിതരണ സംവിധാനങ്ങളിൽ, ഇടപാടുകളിൽ "മുമ്പ് സംഭവിച്ചത്" ക്രമം സജ്ജമാക്കുക. ഈ ഡാറ്റ ഉപയോഗിച്ച്, സാധ്യമായ ഏത് പൊരുത്തക്കേടും പരിഹരിക്കാൻ കരാറിന് കഴിയും.

വാസ്തവത്തിൽ, ഈ ആശയം നടപ്പിലാക്കാൻ ഒരു നമ്പർ മതി, എന്നാൽ ഞങ്ങൾ രണ്ടും ഉപേക്ഷിച്ചു, കാരണം ഈ രീതിയിൽ ഞങ്ങൾക്ക് കൂടുതൽ സൗകര്യപ്രദമായ ഒരു ഉപയോക്തൃ ഇന്റർഫേസ് ഉണ്ടാക്കാം. കൂടാതെ, ഓരോ സന്ദേശത്തിലും പേയ്‌മെന്റ് തുക ഉൾപ്പെടുത്താൻ ഞങ്ങൾ തീരുമാനിച്ചു. അതില്ലാതെ, ചില കാരണങ്ങളാൽ സന്ദേശം നഷ്‌ടപ്പെടുകയാണെങ്കിൽ, എല്ലാ തുകയും അന്തിമ കണക്കുകൂട്ടലും ശരിയാണെങ്കിലും, ഉപയോക്താവ് നഷ്ടം ശ്രദ്ധിക്കാനിടയില്ല.

ഞങ്ങളുടെ ആശയം പരിശോധിക്കുന്നതിന്, അത്തരമൊരു ലളിതവും സംക്ഷിപ്തവുമായ പേയ്‌മെന്റ് ചാനൽ പ്രോട്ടോക്കോൾ ഉപയോഗിക്കുന്നതിന്റെ ഉദാഹരണങ്ങൾ ഞങ്ങൾ നോക്കി. അതിശയകരമെന്നു പറയട്ടെ, ഞങ്ങൾ രണ്ടെണ്ണം മാത്രം കണ്ടെത്തി:

1. വിവരണം സമാനമായ ഒരു സമീപനം, ഒരു ഏകദിശ ചാനലിന്റെ കാര്യത്തിൽ മാത്രം.
2. ട്യൂട്ടോറിയൽ, ഇത് ഞങ്ങളുടേത് പോലെ അതേ ആശയം വിവരിക്കുന്നു, എന്നാൽ പൊതുവായ കൃത്യതയും വൈരുദ്ധ്യ പരിഹാര നടപടിക്രമങ്ങളും പോലുള്ള പ്രധാനപ്പെട്ട പല വിശദാംശങ്ങളും വിശദീകരിക്കാതെ.

ഞങ്ങളുടെ പ്രോട്ടോക്കോൾ വിശദമായി വിവരിക്കുന്നതിൽ അർത്ഥമുണ്ടെന്ന് വ്യക്തമായി, അതിന്റെ കൃത്യതയ്ക്ക് പ്രത്യേക ശ്രദ്ധ നൽകി. നിരവധി ആവർത്തനങ്ങൾക്ക് ശേഷം, സ്പെസിഫിക്കേഷൻ തയ്യാറായി, ഇപ്പോൾ നിങ്ങൾക്കും കഴിയും. അവളെ നോക്കു.

ഞങ്ങൾ കരാർ FunC-ൽ നടപ്പിലാക്കി, സംഘാടകർ ശുപാർശ ചെയ്തതുപോലെ, ഞങ്ങളുടെ കരാറുമായി പൂർണ്ണമായും സംവദിക്കുന്നതിനുള്ള കമാൻഡ് ലൈൻ യൂട്ടിലിറ്റി ഞങ്ങൾ എഴുതി. ഞങ്ങളുടെ CLI-യ്‌ക്ക് മറ്റേതെങ്കിലും ഭാഷ തിരഞ്ഞെടുക്കാമായിരുന്നു, എന്നാൽ അത് പ്രായോഗികമായി എങ്ങനെ പ്രവർത്തിക്കുന്നുവെന്ന് കാണാൻ ഫിറ്റ് പരീക്ഷിക്കാൻ ഞങ്ങൾക്ക് താൽപ്പര്യമുണ്ടായിരുന്നു.

സത്യം പറഞ്ഞാൽ, ഫിഫ്റ്റിനൊപ്പം പ്രവർത്തിച്ചതിന് ശേഷം, വികസിപ്പിച്ച ഉപകരണങ്ങളും ലൈബ്രറികളും ഉള്ള ജനപ്രിയവും സജീവമായി ഉപയോഗിക്കുന്നതുമായ ഭാഷകളേക്കാൾ ഈ ഭാഷ തിരഞ്ഞെടുക്കാനുള്ള ശക്തമായ കാരണങ്ങളൊന്നും ഞങ്ങൾ കണ്ടില്ല. ഒരു സ്റ്റാക്ക് അധിഷ്‌ഠിത ഭാഷയിൽ പ്രോഗ്രാമിംഗ് ചെയ്യുന്നത് തികച്ചും അസുഖകരമാണ്, കാരണം സ്റ്റാക്കിലുള്ളത് നിങ്ങളുടെ തലയിൽ നിരന്തരം സൂക്ഷിക്കേണ്ടതുണ്ട്, കൂടാതെ കംപൈലർ ഇതിന് സഹായിക്കുന്നില്ല.

അതിനാൽ, ഞങ്ങളുടെ അഭിപ്രായത്തിൽ, ഫിഫ്റ്റിന്റെ നിലനിൽപ്പിനുള്ള ഏക ന്യായം ഫിഫ്റ്റ് അസംബ്ലറിനുള്ള ഒരു ഹോസ്റ്റ് ഭാഷ എന്ന നിലയിലുള്ള അതിന്റെ പങ്ക് മാത്രമാണ്. എന്നാൽ ടിവിഎം അസംബ്ലർ നിലവിലുള്ള ഏതെങ്കിലും ഭാഷയിൽ ഉൾപ്പെടുത്തുന്നത് നല്ലതല്ലേ?

TVM ഹാസ്കെൽ eDSL

ഇപ്പോൾ ഞങ്ങളുടെ രണ്ടാമത്തെ മികച്ച കരാറിനെക്കുറിച്ച് സംസാരിക്കേണ്ട സമയമാണിത്. ഞങ്ങൾ ഒരു മൾട്ടി-സിഗ്നേച്ചർ വാലറ്റ് വികസിപ്പിക്കാൻ തീരുമാനിച്ചു, എന്നാൽ FunC-ൽ മറ്റൊരു സ്മാർട്ട് കരാർ എഴുതുന്നത് വളരെ ബോറടിപ്പിക്കുന്നതാണ്. കുറച്ച് രസം ചേർക്കാൻ ഞങ്ങൾ ആഗ്രഹിച്ചു, അത് ടിവിഎമ്മിനുള്ള ഞങ്ങളുടെ സ്വന്തം അസംബ്ലി ഭാഷയായിരുന്നു.

ഫിഫ്റ്റ് അസംബ്ലർ പോലെ, ഞങ്ങളുടെ പുതിയ ഭാഷ ഉൾച്ചേർത്തതാണ്, എന്നാൽ ഫിഫ്റ്റിന് പകരം ഞങ്ങൾ ഹോസ്റ്റായി ഹാസ്കലിനെ തിരഞ്ഞെടുത്തു, ഇത് അതിന്റെ വിപുലമായ രീതിയിലുള്ള സിസ്റ്റത്തിന്റെ പൂർണ്ണമായ പ്രയോജനം നേടാൻ ഞങ്ങളെ അനുവദിക്കുന്നു. സ്മാർട്ട് കരാറുകളിൽ പ്രവർത്തിക്കുമ്പോൾ, ഒരു ചെറിയ പിശകിന്റെ വില വളരെ ഉയർന്നതായിരിക്കുമ്പോൾ, സ്റ്റാറ്റിക് ടൈപ്പിംഗ്, ഞങ്ങളുടെ അഭിപ്രായത്തിൽ, ഒരു വലിയ നേട്ടമാണ്.

ടിവിഎം അസംബ്ലർ ഹാസ്‌കെല്ലിൽ എംബഡ് ചെയ്‌തിരിക്കുന്നത് എങ്ങനെയെന്ന് കാണിക്കാൻ, ഞങ്ങൾ അതിൽ ഒരു സാധാരണ വാലറ്റ് നടപ്പിലാക്കി. ശ്രദ്ധിക്കേണ്ട ചില കാര്യങ്ങൾ ഇതാ:

• ഈ കരാറിൽ ഒരു ഫംഗ്‌ഷൻ അടങ്ങിയിരിക്കുന്നു, എന്നാൽ നിങ്ങൾക്ക് ഇഷ്ടമുള്ളത്രയും ഉപയോഗിക്കാം. നിങ്ങൾ ഹോസ്റ്റ് ഭാഷയിൽ (അതായത് ഹാസ്‌കെൽ) ഒരു പുതിയ ഫംഗ്‌ഷൻ നിർവചിക്കുമ്പോൾ, അത് ടിവിഎമ്മിൽ ഒരു പ്രത്യേക ദിനചര്യയായി മാറണോ അതോ കോൾ പോയിന്റിൽ ഇൻലൈൻ ചെയ്യണോ എന്ന് തിരഞ്ഞെടുക്കാൻ ഞങ്ങളുടെ eDSL നിങ്ങളെ അനുവദിക്കുന്നു.
• Haskell പോലെ, ഫംഗ്‌ഷനുകൾക്ക് കംപൈൽ സമയത്ത് പരിശോധിക്കുന്ന തരങ്ങളുണ്ട്. ഞങ്ങളുടെ eDSL-ൽ, ഒരു ഫംഗ്‌ഷന്റെ ഇൻപുട്ട് തരം ഫംഗ്‌ഷൻ പ്രതീക്ഷിക്കുന്ന സ്റ്റാക്കിന്റെ തരമാണ്, കൂടാതെ കോളിന് ശേഷം ഉൽപ്പാദിപ്പിക്കുന്ന സ്റ്റാക്കിന്റെ തരമാണ് ഫല തരം.
• കോഡിന് വ്യാഖ്യാനങ്ങളുണ്ട് stacktype, കോൾ പോയിന്റിൽ പ്രതീക്ഷിക്കുന്ന സ്റ്റാക്ക് തരം വിവരിക്കുന്നു. യഥാർത്ഥ വാലറ്റ് കരാറിൽ ഇവ വെറും അഭിപ്രായങ്ങൾ മാത്രമായിരുന്നു, എന്നാൽ ഞങ്ങളുടെ eDSL-ൽ അവ യഥാർത്ഥത്തിൽ കോഡിന്റെ ഭാഗമാണ്, കംപൈൽ സമയത്ത് പരിശോധിക്കും. കോഡ് മാറുകയും സ്റ്റാക്ക് തരം മാറുകയും ചെയ്താൽ പ്രശ്നം കണ്ടെത്താൻ ഡവലപ്പറെ സഹായിക്കുന്ന ഡോക്യുമെന്റേഷനോ പ്രസ്താവനകളോ ആയി അവ പ്രവർത്തിക്കും. തീർച്ചയായും, അത്തരം വ്യാഖ്യാനങ്ങൾ റൺടൈം പ്രകടനത്തെ ബാധിക്കില്ല, കാരണം അവയ്‌ക്കായി ടിവിഎം കോഡ് സൃഷ്‌ടിച്ചിട്ടില്ല.
• ഇത് ഇപ്പോഴും രണ്ടാഴ്ചയ്ക്കുള്ളിൽ എഴുതിയ ഒരു പ്രോട്ടോടൈപ്പ് ആണ്, അതിനാൽ പദ്ധതിയിൽ ഇനിയും ഒരുപാട് ജോലികൾ ചെയ്യാനുണ്ട്. ഉദാഹരണത്തിന്, ചുവടെയുള്ള കോഡിൽ നിങ്ങൾ കാണുന്ന ക്ലാസുകളുടെ എല്ലാ സന്ദർഭങ്ങളും സ്വയമേവ ജനറേറ്റ് ചെയ്യണം.

ഞങ്ങളുടെ eDSL-ൽ ഒരു മൾട്ടിസിഗ് വാലറ്റ് നടപ്പിലാക്കുന്നത് ഇങ്ങനെയാണ്:

main :: IO ()
main = putText $ pretty $ declProgram procedures methods
  where
    procedures =
      [ ("recv_external", decl recvExternal)
      , ("recv_internal", decl recvInternal)
      ]
    methods =
      [ ("seqno", declMethod getSeqno)
      ]

data Storage = Storage
  { sCnt :: Word32
  , sPubKey :: PublicKey
  }

instance DecodeSlice Storage where
  type DecodeSliceFields Storage = [PublicKey, Word32]
  decodeFromSliceImpl = do
    decodeFromSliceImpl @Word32
    decodeFromSliceImpl @PublicKey

instance EncodeBuilder Storage where
  encodeToBuilder = do
    encodeToBuilder @Word32
    encodeToBuilder @PublicKey

data WalletError
  = SeqNoMismatch
  | SignatureMismatch
  deriving (Eq, Ord, Show, Generic)

instance Exception WalletError

instance Enum WalletError where
  toEnum 33 = SeqNoMismatch
  toEnum 34 = SignatureMismatch
  toEnum _ = error "Uknown MultiSigError id"

  fromEnum SeqNoMismatch = 33
  fromEnum SignatureMismatch = 34

recvInternal :: '[Slice] :-> '[]
recvInternal = drop

recvExternal :: '[Slice] :-> '[]
recvExternal = do
  decodeFromSlice @Signature
  dup
  preloadFromSlice @Word32
  stacktype @[Word32, Slice, Signature]
  -- cnt cs sign

  pushRoot
  decodeFromCell @Storage
  stacktype @[PublicKey, Word32, Word32, Slice, Signature]
  -- pk cnt' cnt cs sign

  xcpu @1 @2
  stacktype @[Word32, Word32, PublicKey, Word32, Slice, Signature]
  -- cnt cnt' pk cnt cs sign

  equalInt >> throwIfNot SeqNoMismatch

  push @2
  sliceHash
  stacktype @[Hash Slice, PublicKey, Word32, Slice, Signature]
  -- hash pk cnt cs sign

  xc2pu @0 @4 @4
  stacktype @[PublicKey, Signature, Hash Slice, Word32, Slice, PublicKey]
  -- pubk sign hash cnt cs pubk

  chkSignU
  stacktype @[Bool, Word32, Slice, PublicKey]
  -- ? cnt cs pubk

  throwIfNot SignatureMismatch
  accept

  swap
  decodeFromSlice @Word32
  nip

  dup
  srefs @Word8

  pushInt 0
  if IsEq
  then ignore
  else do
    decodeFromSlice @Word8
    decodeFromSlice @(Cell MessageObject)
    stacktype @[Slice, Cell MessageObject, Word8, Word32, PublicKey]
    xchg @2
    sendRawMsg
    stacktype @[Slice, Word32, PublicKey]

  endS
  inc

  encodeToCell @Storage
  popRoot

getSeqno :: '[] :-> '[Word32]
getSeqno = do
  pushRoot
  cToS
  preloadFromSlice @Word32

ഞങ്ങളുടെ eDSL-ന്റെയും മൾട്ടി-സിഗ്നേച്ചർ വാലറ്റ് കരാറിന്റെയും മുഴുവൻ സോഴ്‌സ് കോഡും ഇവിടെ കാണാം ഈ ശേഖരം. കൂടാതെ കൂടുതൽ വിശദമായി പറഞ്ഞു അന്തർനിർമ്മിത ഭാഷകളെക്കുറിച്ച്, ഞങ്ങളുടെ സഹപ്രവർത്തകൻ ജോർജി അഗപോവ്.

മത്സരത്തെക്കുറിച്ചും ടോണിനെക്കുറിച്ചുമുള്ള നിഗമനങ്ങൾ

മൊത്തത്തിൽ, ഞങ്ങളുടെ ജോലി 380 മണിക്കൂർ എടുത്തു (ഡോക്യുമെന്റേഷൻ, മീറ്റിംഗുകൾ, യഥാർത്ഥ വികസനം എന്നിവയുമായി പരിചയപ്പെടൽ ഉൾപ്പെടെ). അഞ്ച് ഡെവലപ്പർമാർ മത്സര പദ്ധതിയിൽ പങ്കെടുത്തു: CTO, ടീം ലീഡർ, ബ്ലോക്ക്‌ചെയിൻ പ്ലാറ്റ്‌ഫോം വിദഗ്ധർ, ഹാസ്‌കെൽ സോഫ്റ്റ്‌വെയർ ഡെവലപ്പർമാർ.

ഒരു ഹാക്കത്തോണിന്റെ സ്പിരിറ്റ്, ക്ലോസ് ടീം വർക്ക്, പുതിയ സാങ്കേതികവിദ്യകളുടെ വശങ്ങളിൽ വേഗത്തിൽ മുഴുകേണ്ടതിന്റെ ആവശ്യകത എന്നിവ എല്ലായ്‌പ്പോഴും ആവേശകരമായതിനാൽ, ബുദ്ധിമുട്ടില്ലാതെ മത്സരത്തിൽ പങ്കെടുക്കാനുള്ള വിഭവങ്ങൾ ഞങ്ങൾ കണ്ടെത്തി. പരിമിതമായ വിഭവങ്ങളുടെ അവസ്ഥയിൽ പരമാവധി ഫലങ്ങൾ നേടുന്നതിന് നിരവധി ഉറക്കമില്ലാത്ത രാത്രികൾ വിലമതിക്കാനാവാത്ത അനുഭവവും മികച്ച ഓർമ്മകളും കൊണ്ട് നഷ്ടപരിഹാരം നൽകുന്നു. കൂടാതെ, അത്തരം ജോലികളിൽ പ്രവർത്തിക്കുന്നത് എല്ലായ്പ്പോഴും കമ്പനിയുടെ പ്രക്രിയകളുടെ ഒരു നല്ല പരീക്ഷണമാണ്, കാരണം നന്നായി പ്രവർത്തിക്കുന്ന ആന്തരിക ഇടപെടലില്ലാതെ യഥാർത്ഥ മാന്യമായ ഫലങ്ങൾ നേടുന്നത് വളരെ ബുദ്ധിമുട്ടാണ്.

വരികൾ മാറ്റിനിർത്തിയാൽ: ടൺ ടീം നടത്തിയ ജോലിയുടെ അളവ് ഞങ്ങളെ ആകർഷിച്ചു. സങ്കീർണ്ണവും മനോഹരവും ഏറ്റവും പ്രധാനമായി പ്രവർത്തന സംവിധാനം നിർമ്മിക്കാൻ അവർക്ക് കഴിഞ്ഞു. വലിയ സാധ്യതകളുള്ള ഒരു പ്ലാറ്റ്‌ഫോമാണെന്ന് TON സ്വയം തെളിയിച്ചു. എന്നിരുന്നാലും, ഈ ആവാസവ്യവസ്ഥ വികസിക്കുന്നതിന്, ബ്ലോക്ക്ചെയിൻ പ്രോജക്റ്റുകളിലെ ഉപയോഗത്തിന്റെ കാര്യത്തിലും വികസന ഉപകരണങ്ങൾ മെച്ചപ്പെടുത്തുന്നതിനായും ഒരുപാട് കാര്യങ്ങൾ ചെയ്യേണ്ടതുണ്ട്. ഈ പ്രക്രിയയുടെ ഭാഗമാകുന്നതിൽ ഞങ്ങൾ ഇപ്പോൾ അഭിമാനിക്കുന്നു.

ഈ ലേഖനം വായിച്ചതിന് ശേഷവും നിങ്ങൾക്ക് എന്തെങ്കിലും ചോദ്യങ്ങളുണ്ടെങ്കിൽ അല്ലെങ്കിൽ നിങ്ങളുടെ പ്രശ്നങ്ങൾ പരിഹരിക്കുന്നതിന് TON എങ്ങനെ ഉപയോഗിക്കാമെന്നതിനെക്കുറിച്ച് ആശയങ്ങൾ ഉണ്ടെങ്കിൽ, ഞങ്ങൾക്ക് എഴുതുക - ഞങ്ങളുടെ അനുഭവം പങ്കിടുന്നതിൽ ഞങ്ങൾക്ക് സന്തോഷമുണ്ട്.

അവലംബം: www.habr.com