വാസ്തുവിദ്യാ സ്കീസോഫ്രീനിയ Facebook Libra

രണ്ട് വർഷത്തിന് ശേഷം, ഹാസ്കെല്ലിനെയും ഗണിതത്തെയും കുറിച്ചുള്ള സാധാരണ വിരസമായ പ്രഭാഷണങ്ങളിൽ നിന്ന് വ്യത്യസ്തമായ ഒരു പോസ്റ്റിനായി ഞാൻ ബ്ലോഗിലേക്ക് മടങ്ങി. ഞാൻ കഴിഞ്ഞ കുറച്ച് വർഷങ്ങളായി EU-ൽ ഫിൻടെക്കിൽ പ്രവർത്തിക്കുന്നു, സാങ്കേതിക മാധ്യമങ്ങളിൽ നിന്ന് വേണ്ടത്ര ശ്രദ്ധ ലഭിക്കാത്ത ഒരു വിഷയത്തെക്കുറിച്ച് എഴുതേണ്ട സമയം അതിക്രമിച്ചതായി തോന്നുന്നു.

ഫെയ്‌സ്ബുക്ക് അടുത്തിടെ ലിബ്ര എന്ന പേരിൽ ഒരു "പുതിയ സാമ്പത്തിക സേവന പ്ലാറ്റ്‌ഫോം" പുറത്തിറക്കി. ഒരു "ബ്ലോക്ക്‌ചെയിനിൽ" നിയന്ത്രിക്കുകയും സ്വിറ്റ്‌സർലൻഡിൽ നിന്ന് നിയന്ത്രിക്കുന്ന ഒരു മണി പൂളിൽ സംഭരിക്കുകയും ചെയ്യുന്ന ഒരു ബാസ്‌ക്കറ്റ് അന്താരാഷ്‌ട്ര കറൻസിയെ അടിസ്ഥാനമാക്കിയുള്ള ഒരു ഡിജിറ്റൽ സെറ്റിൽമെൻ്റ് സിസ്റ്റമായാണ് ഇത് സ്ഥാപിച്ചിരിക്കുന്നത്. പദ്ധതിയുടെ ലക്ഷ്യങ്ങൾ അതിമോഹവും വലിയ തോതിലുള്ള ഭൗമരാഷ്ട്രീയ പ്രത്യാഘാതങ്ങൾ ഉളവാക്കുന്നതുമാണ്.

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

ആഗോള പേയ്‌മെൻ്റ് ഇൻഫ്രാസ്ട്രക്ചറിൻ്റെ സുരക്ഷിതമായ പ്ലാറ്റ്‌ഫോം എന്ന് അവകാശപ്പെടുന്ന വാസ്തുവിദ്യാപരമായി സ്കീസോഫ്രീനിക് ആർട്ടിഫാക്റ്റാണ് ലോകത്തിന് മുന്നിൽ തുറന്നിരിക്കുന്നത്.

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

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

ഈ കഥയുടെ ഒരേയൊരു രക്ഷാകരമായ കൃപ, അവർ സൃഷ്ടിച്ച പുരാവസ്തു വളരെ ഉല്ലാസകരമായി നിർവ്വഹിക്കുന്ന ദൗത്യത്തിന് അനുയോജ്യമല്ല, അത് ഒരു ഹബ്രിസായി മാത്രമേ കാണാനാകൂ. ഈ പദ്ധതിയിൽ നിരവധി പ്രധാന വാസ്തു തെറ്റുകൾ ഉണ്ട്:

ഒരു ആക്‌സസ് കൺട്രോൾ നെറ്റ്‌വർക്കിൽ ബൈസൻ്റൈൻ ജനറൽസ് പ്രശ്നം പരിഹരിക്കുന്നത് ഒരു പൊരുത്തമില്ലാത്ത രൂപകൽപ്പനയാണ്

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

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

വളരെ നിയന്ത്രിത ബഹുരാഷ്ട്ര കോർപ്പറേഷനുകളുടെ ഒരു കൺസോർഷ്യത്തിൽ പ്രവർത്തിക്കുന്ന ഒരു സിസ്റ്റത്തിന്, എല്ലാ ഉപയോക്താക്കൾക്കും Facebook ഒപ്പിട്ട കോഡ് ഉണ്ടായിരിക്കുകയും നെറ്റ്‌വർക്കിലേക്കുള്ള ആക്‌സസ് Facebook നിയന്ത്രിയ്ക്കുകയും ചെയ്യുന്നു, ക്ഷുദ്രകരമായ പങ്കാളികളെ സമവായ തലത്തിൽ പരിഗണിക്കുന്നതിൽ അർത്ഥമില്ല. ഈ സംവിധാനം ബൈസൻ്റൈൻ ജനറൽമാരുടെ പ്രശ്നം പോലും പരിഹരിക്കുന്നത് എന്തുകൊണ്ടാണെന്ന് വ്യക്തമല്ല, അനുസൃതമായി പരിശോധിക്കുന്നതിന് സ്ഥിരമായ ഒരു ഓഡിറ്റ് ട്രയൽ നിലനിർത്തുന്നതിന് പകരം. Mastercard അല്ലെങ്കിൽ Andresen Horrowitz പ്രവർത്തിപ്പിക്കുന്ന ഒരു തുലാം നോഡ് പെട്ടെന്ന് ക്ഷുദ്ര കോഡ് പ്രവർത്തിപ്പിക്കാൻ തുടങ്ങുന്നതിനുള്ള സാധ്യത ഒരു വിചിത്രമായ സാഹചര്യമാണ്, പ്രോട്ടോക്കോൾ സമഗ്രതയും സാങ്കേതികമല്ലാത്ത (അതായത് നിയമപരമായ) മാർഗങ്ങളും ഉറപ്പാക്കിക്കൊണ്ട് ഇത് അഭിസംബോധന ചെയ്യുന്നത് നല്ലതാണ്.

WeChat, Alipay, M-Pesa എന്നിവ പോലെയുള്ള പുതിയ അന്താരാഷ്ട്ര പേയ്‌മെൻ്റ് പ്രോട്ടോക്കോളുകളുടെ മത്സരാർത്ഥിയായി കോൺഗ്രസിൻ്റെ സാക്ഷ്യപത്രം ഉൽപ്പന്നത്തെ ബിൽ ചെയ്തു. എന്നിരുന്നാലും, ഈ സംവിധാനങ്ങളൊന്നും ബൈസൻ്റൈൻ ജനറൽസ് പ്രശ്നം പരിഹരിക്കുന്നതിനായി വാലിഡേറ്റർ പൂളുകളിൽ പ്രവർത്തിക്കാൻ രൂപകൽപ്പന ചെയ്തിട്ടുള്ളതല്ല. ഒരു നിശ്ചിത നിയമങ്ങൾക്കനുസൃതമായി വയറിംഗ് നിർമ്മിക്കുന്ന പരമ്പരാഗത ഉയർന്ന ബാൻഡ്‌വിഡ്ത്ത് ബസിലാണ് അവ രൂപകൽപ്പന ചെയ്തിരിക്കുന്നത്. പേയ്‌മെൻ്റ് സംവിധാനം രൂപപ്പെടുത്തുന്നതിനുള്ള സ്വാഭാവിക സമീപനമാണിത്. നന്നായി രൂപകൽപ്പന ചെയ്തിട്ടുണ്ട് പേയ്‌മെൻ്റ് സിസ്റ്റം ഇരട്ട ചെലവുകളുടെയും ഫോർക്കുകളുടെയും പ്രശ്‌നം നേരിടില്ല.

സമവായ അൽഗോരിതത്തിൻ്റെ ഓവർഹെഡ് ഒരു പ്രശ്‌നവും പരിഹരിക്കില്ല, മാത്രമല്ല ഈ ഉപയോഗ സാഹചര്യത്തിനായി ഉദ്ദേശിച്ചിട്ടില്ലാത്ത പൊതു ബ്ലോക്ക്ചെയിനിൻ്റെ കാർഗോ കൾട്ട് അല്ലാതെ മറ്റൊരു കാരണവുമില്ലാതെ സിസ്റ്റത്തിൻ്റെ ത്രൂപുട്ട് പരിമിതപ്പെടുത്തുകയും ചെയ്യുന്നു.

തുലാം രാശിയ്ക്ക് ഇടപാട് സ്വകാര്യതയില്ല

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

രാജ്യങ്ങളിലുടനീളമുള്ള ഡാറ്റ നയങ്ങൾ ഏകോപിപ്പിക്കാൻ പ്രയാസമാണ്, പ്രത്യേകിച്ചും ഡാറ്റാ പരിരക്ഷയിലും സ്വകാര്യതയിലും വ്യത്യസ്ത സാംസ്കാരിക വീക്ഷണങ്ങളുള്ള വ്യത്യസ്ത അധികാരപരിധിയിലെ വ്യത്യസ്ത നിയമങ്ങളും നിയന്ത്രണങ്ങളും നൽകിയിരിക്കുന്നു. പ്രോട്ടോക്കോൾ തന്നെ കൺസോർഷ്യം അംഗങ്ങൾക്ക് സ്വതവേ പൂർണ്ണമായും തുറന്നിരിക്കുന്നു, ഇത് രൂപകൽപ്പന ചെയ്തിരിക്കുന്ന ആവശ്യകതകൾ നിറവേറ്റാത്ത വ്യക്തമായ സാങ്കേതിക പോരായ്മയാണ്.

ഒരു പേയ്‌മെൻ്റ് സിസ്റ്റത്തിന് ആവശ്യമായ ത്രൂപുട്ട് നേടാൻ Libra HotStuff BFT ന് കഴിയുന്നില്ല

യുകെയിൽ, BAC പോലുള്ള ക്ലിയറിംഗ് സിസ്റ്റങ്ങൾക്ക് പ്രതിമാസം 580 ഇടപാടുകൾ കൈകാര്യം ചെയ്യാൻ കഴിയും. അതേസമയം, വിസ പോലുള്ള ഉയർന്ന ഒപ്റ്റിമൈസ് ചെയ്ത സംവിധാനങ്ങൾക്ക് പ്രതിദിനം 000 ഇടപാടുകൾ നടത്താനാകും. ഇടപാട് വലുപ്പം, നെറ്റ്‌വർക്ക് റൂട്ടിംഗ്, സിസ്റ്റം ലോഡ് എന്നിവയെ ആശ്രയിച്ച് പ്രകടനം വ്യത്യാസപ്പെടുന്നു AML പരിശോധിക്കുന്നു (പണം വെളുപ്പിക്കൽ, കള്ളപ്പണം വെളുപ്പിക്കൽ പദ്ധതികൾ).

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

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

ഉപഭോക്താക്കൾക്ക്, ഒരു യുകെ ഇടപാട് നിമിഷങ്ങൾക്കുള്ളിൽ വ്യക്തമാകാത്തതിന് ഒരു കാരണവുമില്ല. യൂറോപ്യൻ യൂണിയനിലെ റീട്ടെയിൽ ഇടപാടുകൾ മന്ദഗതിയിലാണ് KYC പരിശോധന (നിങ്ങളുടെ ഉപഭോക്താവിനെ അറിയുക) കൂടാതെ സർക്കാരുകളും റെഗുലേറ്റർമാരും ഏർപ്പെടുത്തിയിരിക്കുന്ന AML നിയന്ത്രണങ്ങൾ, തുലാം പേയ്‌മെൻ്റുകൾക്ക് തുല്യമായി ബാധകമാണ്. അതിർത്തി കടന്നുള്ള കൈമാറ്റങ്ങൾക്കും സ്വകാര്യ ഡാറ്റാ കൈമാറ്റത്തിനുമുള്ള തടസ്സങ്ങൾ Facebook മറികടക്കുകയാണെങ്കിൽപ്പോലും, നിർദ്ദിഷ്ട മോഡൽ ആഗോള ഇടപാട് ത്രൂപുട്ടിൽ നിന്ന് നൂറുകണക്കിന് വ്യക്തി-വർഷങ്ങൾ അകലെയാണ്, അത് ആദ്യം മുതൽ പുനർരൂപകൽപ്പന ചെയ്യേണ്ടതായി വരും.

ലിബ്ര മൂവ് ഭാഷ തെറ്റാണ്

മൂവ് എന്ന പുതിയ, പരീക്ഷിക്കപ്പെടാത്ത ഭാഷയെക്കുറിച്ച് ധവളപത്രം ധീരമായ അവകാശവാദങ്ങൾ ഉന്നയിക്കുന്നു. പ്രോഗ്രാമിംഗ് ഭാഷാ സിദ്ധാന്തത്തിൻ്റെ (PLT) വീക്ഷണകോണിൽ നിന്ന് ഈ പ്രസ്താവനകൾ തികച്ചും സംശയാസ്പദമാണ്.

ലിബ്ര ബ്ലോക്ക്ചെയിനിൽ ഇഷ്‌ടാനുസൃത ഇടപാട് ലോജിക്കും സ്മാർട്ട് കരാറുകളും നടപ്പിലാക്കുന്നതിനുള്ള ഒരു പുതിയ പ്രോഗ്രാമിംഗ് ഭാഷയാണ് മൂവ്. ഒരു ദിവസം ശതകോടിക്കണക്കിന് ആളുകൾക്ക് സേവനം നൽകാനാണ് തുലാം ലക്ഷ്യമിടുന്നത്, സുരക്ഷ മുൻഗണനയോടെയാണ് മൂവ് രൂപകൽപ്പന ചെയ്തിരിക്കുന്നത്.

ലീനിയർ ലോജിക്കിൽ നിന്ന് പ്രചോദനം ഉൾക്കൊണ്ട സെമാൻ്റിക്‌സ് ഉപയോഗിച്ച് ആർബിട്രറി റിസോഴ്‌സ് തരങ്ങൾ നിർവചിക്കാനുള്ള കഴിവാണ് മൂവിൻ്റെ ഒരു പ്രധാന സവിശേഷത.

പൊതു ബ്ലോക്ക്‌ചെയിനുകളിൽ, സ്‌മാർട്ട് കരാറുകൾ എസ്‌ക്രോ അക്കൗണ്ടുകൾ, കള്ളപ്പണം വെളുപ്പിക്കൽ, OTC ടോക്കൺ വിതരണം, ചൂതാട്ടം എന്നിവയുള്ള പൊതു നെറ്റ്‌വർക്കുകളുടെ യുക്തിയെ അഭിമുഖീകരിക്കുന്നു. ഇതെല്ലാം സോളിഡിറ്റി എന്ന അതിശയകരമാംവിധം മോശമായി രൂപകൽപ്പന ചെയ്ത ഭാഷയിലാണ് ചെയ്യുന്നത്, ഇത് അക്കാദമിക് വീക്ഷണകോണിൽ നിന്ന് PHP യുടെ രചയിതാവിനെ ഒരു പ്രതിഭയെപ്പോലെയാക്കുന്നു. വിചിത്രമെന്നു പറയട്ടെ, ഫേസ്ബുക്കിൽ നിന്നുള്ള പുതിയ ഭാഷയ്ക്ക് ഈ സാങ്കേതികവിദ്യകളുമായി യാതൊരു ബന്ധവുമില്ലെന്ന് തോന്നുന്നു, കാരണം ഇത് യഥാർത്ഥത്തിൽ അവ്യക്തമായ എൻ്റർപ്രൈസ് ആവശ്യങ്ങൾക്കായി ഉദ്ദേശിച്ചിട്ടുള്ള ഒരു സ്ക്രിപ്റ്റിംഗ് ഭാഷയാണ്.

പ്രൈവറ്റ് ഡിസ്ട്രിബ്യൂഡ് ലെഡ്ജറുകളിൽ, വ്യക്തമായ നിർവചനമോ ഉദ്ദേശ്യമോ പരിഗണിക്കാതെ കൺസൾട്ടൻ്റുമാർ വലിച്ചെറിയുന്ന നിബന്ധനകളിൽ ഒന്നാണ് സ്മാർട്ട് കരാറുകൾ. എൻ്റർപ്രൈസ് സോഫ്‌റ്റ്‌വെയർ കൺസൾട്ടൻ്റുകൾ സാധാരണയായി അവ്യക്തതയിൽ നിന്ന് പണം സമ്പാദിക്കുന്നു, കൂടാതെ സ്‌മാർട്ട് കരാറുകൾ കോർപ്പറേറ്റ് അവ്യക്തതയുടെ അപ്പോത്തിയോസിസ് ആണ്, കാരണം അവയെ അക്ഷരാർത്ഥത്തിൽ എന്തും നിർവചിക്കാം.

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

ലീനിയർ തരങ്ങൾ ഉപയോഗിക്കുന്നതിനെക്കുറിച്ചുള്ള മൂവിൻ്റെ പ്രസ്താവന, കംപൈലറിലേക്ക് ഒരു അനാവശ്യ ഡൈവ് പോലെ തോന്നുന്നു. അത്തരം തരത്തിലുള്ള പരിശോധന ലോജിക് ഇല്ല. ഒരാൾക്ക് പറയാൻ കഴിയുന്നിടത്തോളം, വൈറ്റ്പേപ്പർ ഗിറാർഡിൽ നിന്നും പിയേഴ്സിൽ നിന്നും കാനോനിക്കൽ സാഹിത്യത്തെ ഉദ്ധരിക്കുന്നു, യഥാർത്ഥത്തിൽ നടപ്പിലാക്കുന്നതിൽ സമാനമായ ഒന്നും തന്നെയില്ല.

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

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

തുലാം ക്രിപ്റ്റോഗ്രഫി തെറ്റാണ്

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

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

1. ed25519-dalek
2. curve25519-dalek

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

തെളിയിക്കപ്പെടുന്നതുവരെ ഈ മുഴുവൻ ക്രിപ്‌റ്റോഗ്രാഫിക് സ്റ്റാക്കും വിവിധ ആക്രമണങ്ങൾക്ക് ഇരയാകുമെന്ന് അനുമാനിക്കേണ്ടതാണ്. ഫേസ്ബുക്കിൻ്റെ പ്രശസ്തമായ 'മൂവ് ഫാസ്റ്റ് ആൻഡ് ബ്രേക്ക് തിംഗ്‌സ്' മോഡൽ ഉപഭോക്തൃ സാമ്പത്തിക ഡാറ്റ പ്രോസസ്സ് ചെയ്യുന്ന ക്രിപ്‌റ്റോഗ്രാഫിക് ടൂളുകളിൽ പ്രയോഗിക്കാൻ കഴിയില്ല.

ഉപഭോക്തൃ സംരക്ഷണ സംവിധാനങ്ങൾ നടപ്പിലാക്കുന്നതിൽ തുലാം പരാജയപ്പെടുന്നു

ഒരു വ്യവഹാരത്തിലൂടെ പേയ്‌മെൻ്റ് റദ്ദാക്കപ്പെടുകയോ ആകസ്‌മികമോ സിസ്റ്റം പരാജയമോ സംഭവിക്കുകയോ ചെയ്‌താൽ ഒരു ഇടപാട് പിൻവലിക്കാനുള്ള കഴിവാണ് പേയ്‌മെൻ്റ് സിസ്റ്റത്തിൻ്റെ സവിശേഷമായ സവിശേഷത. ലിബ്ര സിസ്റ്റം "പൂർണ്ണമായി" രൂപകൽപ്പന ചെയ്‌തിരിക്കുന്നു കൂടാതെ പേയ്‌മെൻ്റ് റദ്ദാക്കുന്നതിനുള്ള ഒരു ഇടപാട് തരം ഉൾപ്പെടുന്നില്ല. യുകെയിൽ, 100 പൗണ്ടിനും 30,000 പൗണ്ടിനും ഇടയിലുള്ള എല്ലാ പേയ്‌മെൻ്റുകളും ഉപഭോക്തൃ ക്രെഡിറ്റ് നിയമത്തിന് വിധേയമാണ്. ഇതിനർത്ഥം, വാങ്ങിയ ഉൽപ്പന്നത്തിൽ പ്രശ്‌നമുണ്ടായാൽ അല്ലെങ്കിൽ പേയ്‌മെൻ്റ് സ്വീകർത്താവ് സേവനം നൽകുന്നില്ലെങ്കിൽ പേയ്‌മെൻ്റ് സിസ്റ്റം വിൽപ്പനക്കാരനുമായി ഉത്തരവാദിത്തം പങ്കിടുന്നു എന്നാണ്. EU, ഏഷ്യ, വടക്കേ അമേരിക്ക എന്നിവിടങ്ങളിൽ സമാനമായ നിയമങ്ങൾ ബാധകമാണ്.

തുലാം രാശിയുടെ നിലവിലെ രൂപകൽപ്പനയിൽ ഈ നിയമങ്ങൾ പാലിക്കുന്നതിനുള്ള ഒരു പ്രോട്ടോക്കോൾ ഉൾപ്പെടുത്തിയിട്ടില്ല, കൂടാതെ ഒന്ന് സൃഷ്ടിക്കുന്നതിനുള്ള വ്യക്തമായ പദ്ധതിയും ഇല്ല. അതിലും മോശം, ആർക്കിടെക്ചറൽ വീക്ഷണകോണിൽ, മെർക്കൽ ഡ്രൈവിൻ്റെ അവസ്ഥയെ അടിസ്ഥാനമാക്കി, കേർണലിൻ്റെ ആധികാരിക ഡാറ്റാ ഘടനയുടെ അന്തിമത, കേർണൽ പുനർരൂപകൽപ്പന ചെയ്യാതെ അത്തരമൊരു പ്രോട്ടോക്കോൾ സൃഷ്ടിക്കാൻ ഒരു മെക്കാനിസത്തെയും അനുവദിക്കുന്നില്ല.

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

ഈ സാങ്കേതിക പ്രശ്‌നങ്ങളെ മറികടക്കാൻ Facebook അതിൻ്റെ രൂപകൽപ്പനയിൽ ആവശ്യമായ ജോലികൾ ചെയ്‌തുവെന്നോ അല്ലെങ്കിൽ നിലവിലെ ഇൻഫ്രാസ്ട്രക്ചറിനെ അപേക്ഷിച്ച് അതിന് എന്തെങ്കിലും സാങ്കേതിക നേട്ടങ്ങളുണ്ടെന്നോ വിശ്വസിക്കാൻ ഞാൻ ഒരു കാരണവും കാണുന്നില്ല. പുതുമകൾ പര്യവേക്ഷണം ചെയ്യാൻ ഒരു കമ്പനിക്ക് റെഗുലേറ്ററി ഫ്ലെക്സിബിലിറ്റി ആവശ്യമാണെന്ന് പറയുന്നത് അവ ആദ്യം ചെയ്യാതിരിക്കാനുള്ള ഒരു ഒഴികഴിവല്ല.

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