වාස්තු විද්‍යාත්මක භින්නෝන්මාදය Facebook Libra

අවුරුදු දෙකකට පසු, මම නැවත බ්ලොග් අඩවියට පැමිණියේ Haskell සහ ගණිතය පිළිබඳ සුපුරුදු නීරස දේශනවලට වඩා වෙනස් වූ ලිපියක් සඳහා ය. මම පසුගිය වසර කිහිපය තුළ EU හි fintech පිළිබඳ වැඩ කරමින් සිටි අතර තාක්ෂණික මාධ්‍යවලින් එතරම් අවධානයක් යොමු නොවූ මාතෘකාවක් ගැන ලිවීමට කාලය පැමිණ ඇති බව පෙනේ.

Facebook මෑතකදී Libra නමින් "නව මූල්‍ය සේවා වේදිකාවක්" ලෙස හඳුන්වන දේ නිකුත් කළේය. එය "බ්ලොක්චේන්" මත කළමනාකරණය කරන සහ ස්විට්සර්ලන්තයෙන් කළමනාකරණය කරන මුදල් සංචිතයක ගබඩා කර ඇති ජාත්‍යන්තර මුදල් කූඩයක් මත පදනම් වූ ඩිජිටල් පියවීම් පද්ධතියක් ලෙස ස්ථානගත කර ඇත. ව්‍යාපෘතියේ අරමුණු අභිලාෂකාමී වන අතර මහා පරිමාණ භූ දේශපාලනික ප්‍රතිවිපාක ඇති කරයි.

В ෆිනෑන්ෂල් ටයිම්ස් и නිව් යෝක් ටයිම්ස් පුවත්පත යෝජිත මූල්‍ය ක්‍රමය පිටුපස ඇති අසත්‍ය මුදල් සහ ආර්ථික උපකල්පන පිළිබඳ සංවේදී ලිපි රාශියක්. නමුත් තාක්ෂණික දෘෂ්ටි කෝණයකින් විශ්ලේෂණය කළ හැකි විශේෂඥයින් ප්රමාණවත් නොවේ. බොහෝ අය මූල්‍ය යටිතල පහසුකම් මත වැඩ නොකරන අතර ඔවුන්ගේ වැඩ ගැන ප්‍රසිද්ධියේ කතා නොකරයි, එබැවින් මෙම ව්‍යාපෘතියට එහි අභ්‍යන්තරය ලෝකයට විවෘත වුවද තාක්ෂණික මාධ්‍ය තුළ එතරම් ආවරණයක් නොලැබේ. මම කිව්වෙ repositories වල open source කියල තුලා රාශිය и කැලිබ්‍රා සංවිධානය.

ලෝකයට විවෘතව ඇත්තේ ගෝලීය ගෙවීම් යටිතල පහසුකම් සඳහා ආරක්ෂිත වේදිකාවක් ලෙස හිමිකම් කියන වාස්තු විද්‍යාත්මක භින්නෝන්මාද කෞතුක වස්තුවකි.

ඔබ කේත පදනමට කිමිදෙන්නේ නම්, පද්ධතියේ සැබෑ ක්‍රියාත්මක කිරීම ප්‍රකාශිත ඉලක්කයෙන් සම්පූර්ණයෙන්ම වෙනස් වන අතර වඩාත් විකාර සහගත ක්‍රමවලින්. මෙම ව්‍යාපෘතියට සිත්ගන්නා ආයතනික ඉතිහාසයක් ඇති බව මට විශ්වාසයි. එබැවින් එය යම් උත්සාහයකින් නිර්මාණය කර ඇති බව උපකල්පනය කිරීම තර්කානුකූලයි, නමුත් ඇත්ත වශයෙන්ම මම දකින්නේ සමස්ත පද්ධතියම බිඳ දමා පරිශීලකයින් අවදානමට ලක් කරන අමුතු වාස්තු විද්‍යාත්මක තීරණ සමූහයකි.

මම සමාගමක් ලෙස Facebook ගැන වාස්තවික මතයක් දරන්නේ නැහැ. තොරතුරු තාක්ෂණ ක්ෂේත්‍රයේ ඇය දෙස අනුකම්පාවෙන් බලන්නේ ස්වල්ප දෙනෙකි. නමුත් එහි ප්‍රකාශ සහ ප්‍රකාශිත කේතය සංසන්දනය කිරීමේදී පැහැදිලිව පෙන්නුම් කරන්නේ ප්‍රකාශිත අරමුණ මූලික වශයෙන් රැවටිලිකාර බවයි. කෙටියෙන් කිවහොත්, මෙම ව්යාපෘතිය කිසිවෙකු සවිබල ගන්වන්නේ නැත. ඔහු සම්පූර්ණයෙන්ම පවතිනු ඇත්තේ වෙළඳ ප්‍රචාරණ ව්‍යාපාරයක් අපකීර්තියෙන් හා දූෂණයෙන් ගිලී ඇති සමාගමක පාලනය යටතේ පවතිනු ඇත, පැවැත්ම සඳහා ගෙවීම් සහ ණය ලකුණු විවිධාංගීකරණය කිරීමට උත්සාහ කිරීම හැර වෙනත් විකල්පයක් නැත. පැහැදිලි දිගුකාලීන ඉලක්කය වන්නේ පාරිභෝගිකයින්ට ඔවුන්ගේ පුද්ගලික සමාජ මාධ්‍ය දත්ත මත පදනම්ව ණය සඳහා ප්‍රවේශය සඳහා දත්ත තැරැව්කරුවෙකු සහ අතරමැදියෙකු ලෙස ක්‍රියා කිරීමයි. මෙය අතිශය බිහිසුණු සහ අඳුරු කතාවකි, එයට ලැබිය යුතු අවධානය නොලැබේ.

මෙම කතාවේ ඇති එකම ගැලවීම නම්, ඔවුන් විසින් නිර්මාණය කරන ලද කෞතුක වස්තුව ඉතා හාස්‍යජනක ලෙස පැවරී ඇති කාර්යයට නොගැලපෙන බැවින් එය හූබ්‍රි ක්‍රියාවක් ලෙස පමණක් දැකිය හැකිය. මෙම ව්‍යාපෘතියේ ප්‍රධාන වාස්තු දෝෂ කිහිපයක් තිබේ.

ප්‍රවේශ පාලන ජාලයක බයිසැන්තියානු ජෙනරාල්වරුන්ගේ ගැටලුව විසඳීම නොගැලපෙන නිර්මාණයකි

බයිසැන්තියානු ජෙනරාල්වරුන්ගේ ගැටළුව බෙදා හරින ලද පද්ධති පිළිබඳ පර්යේෂණයේ තරමක් පටු ක්ෂේත්‍රයකි. පද්ධතියේ ක්‍රියාකාරිත්වයට තීරණාත්මක නිවැරදි ක්‍රියාමාර්ග ගන්නා අතරතුර අහඹු සංරචක අසමත්වීම් වලට ඔරොත්තු දීමේ ජාල පද්ධතියකට ඇති හැකියාව එය විස්තර කරයි. ප්‍රත්‍යස්ථ ජාලයක් නැවත ආරම්භ කිරීම්, ඇනහිටීම්, ද්වේෂසහගත පැටවීම් සහ නායකත්ව මැතිවරණවලදී ද්වේෂසහගත ඡන්දය ප්‍රකාශ කිරීම ඇතුළුව ප්‍රහාර වර්ග කිහිපයකට ඔරොත්තු දිය යුතුය. මෙය තුලා ගෘහ නිර්මාණ ශිල්පය සඳහා ප්රධාන තීරණය වන අතර එය මෙහි සම්පූර්ණයෙන්ම අර්ථ විරහිත ය.

මෙම අතිරේක ව්‍යුහයේ කාල සංකීර්ණත්වය ඇල්ගොරිතම මත රඳා පවතී. බයිසැන්තියානු ජෙනරාල්වරුන්ගේ ගැටළුව විසඳීම සඳහා පැක්සෝස් සහ රාෆ්ට් ප්‍රොටෝකෝලවල ප්‍රභේද පිළිබඳ සාහිත්‍ය විශාල ප්‍රමාණයක් ඇත, නමුත් මෙම සියලු ව්‍යුහයන් සන්නිවේදනය සඳහා අමතර පොදු කාර්ය හඳුන්වා දෙයි. වාස්තු විද්‍යාත්මක භින්නෝන්මාදය Facebook Libra ගණපූරණය පවත්වා ගැනීමට. ලිබ්රාව සඳහා, ඔවුන් හැකි ඉහළම සන්නිවේදන පිරිවැය සහිත ඇල්ගොරිතමයක් තෝරා ගත්තේය වාස්තු විද්‍යාත්මක භින්නෝන්මාදය Facebook Libra නායකත්වය අසාර්ථක වූ අවස්ථාවක. තවද විවිධ වර්ගයේ ජාල අසාර්ථක සිදුවීම් හරහා නායකයින් නැවත තේරී පත්වීමේ විභවයෙන් අමතර පොදු කාර්ය ඇත.

සියලුම පරිශීලකයින්ට Facebook විසින් අත්සන් කරන ලද කේතයක් ඇති සහ Facebook විසින් ජාලයට ප්‍රවේශය පාලනය කරනු ලබන අතිශයින් නියාමනය කරන ලද බහුජාතික සමාගම් සමූහයක් තුළ ක්‍රියාත්මක වන පද්ධතියක් සඳහා, සම්මුති මට්ටමින් ද්වේෂසහගත සහභාගිවන්නන් සලකා බැලීම අර්ථවත් නොවේ. මෙම ක්‍රමය මගින් බයිසැන්තියානු ජෙනරාල්වරුන්ගේ ගැටලුව පවා විසඳන්නේ ඇයිද යන්න පැහැදිලි නැත, නමුත් අනුකූලතාව පරීක්ෂා කිරීම සඳහා ස්ථාවර විගණන මාර්ගයක් පවත්වාගෙන යාමට වඩා. Mastercard හෝ Andressen Horrowitz විසින් ධාවනය කරන ලිබ්‍රා නෝඩයක් හදිසියේ අනිෂ්ට කේතය ධාවනය කිරීමට පටන් ගැනීමේ හැකියාව සැලසුම් කිරීමට අමුතු අවස්ථාවක් වන අතර ප්‍රොටෝකෝල අඛණ්ඩතාව සහ තාක්ෂණික නොවන (එනම් නීතිමය) මාධ්‍යයන් සහතික කිරීම මගින් වඩාත් හොඳින් විසඳනු ලැබේ.

WeChat, Alipay සහ M-Pesa වැනි නව ජාත්‍යන්තර ගෙවීම් ප්‍රොටෝකෝල සඳහා තරඟකරුවෙකු ලෙස කොන්ග්‍රසයේ සාක්ෂිය නිෂ්පාදනය බිල්පත් කළේය. කෙසේ වෙතත්, මෙම පද්ධති කිසිවක් බයිසැන්තියානු ජෙනරාල්වරුන්ගේ ගැටළුව විසඳීම සඳහා වලංගුකාරක තටාක මත ධාවනය කිරීමට සැලසුම් කර නොමැත. ඒවා සරලව නිර්මාණය කර ඇත්තේ ස්ථාවර නීති මාලාවකට අනුව රැහැන් ඇදීම සිදු කරන සම්ප්‍රදායික ඉහළ කලාප පළල බස් රථයක ය. මෙය ගෙවීම් පද්ධතියක් සැලසුම් කිරීම සඳහා ස්වභාවික ප්රවේශයකි. හොඳින් නිර්මාණය කර ඇත ගෙවීම් පද්ධතිය සරලවම ද්විත්ව වියදම් සහ ගෑරුප්පු පිළිබඳ ගැටලුවකට මුහුණ නොදෙනු ඇත.

සම්මුති ඇල්ගොරිතමයේ පොදු කාර්ය කිසිදු ගැටළුවක් විසඳන්නේ නැති අතර මෙම භාවිත අවස්ථාව සඳහා අදහස් නොකරන පොදු අවහිර කිරීමේ භාණ්ඩ වන්දනාව හැර වෙනත් කිසිදු හේතුවක් නොමැතිව පද්ධතියේ ප්‍රතිදානය සීමා කරයි.

ලිබ්රාවට ගනුදෙනු පෞද්ගලිකත්වයක් නොමැත

ලේඛනවලට අනුව, පද්ධතිය සැලකිල්ලට ගනිමින් නිර්මාණය කර ඇත අන්වර්ථ නාමය, එනම්, ප්‍රොටෝකෝලයේ භාවිතා වන ලිපින ඉලිප්සීය වක්‍රවල ඇති පොදු යතුරු වලින් ලබා ගන්නා අතර ගිණුම් පිළිබඳ පාර-දත්ත අඩංගු නොවේ. කෙසේ වෙතත්, සංවිධානය සඳහා පාලන ව්‍යුහය පිළිබඳ විස්තරයේ හෝ ප්‍රොටෝකෝලය තුළම ගනුදෙනුවලට සම්බන්ධ ආර්ථික දත්ත වලංගු කරුවන්ගෙන් සඟවන්නේ කෙසේදැයි සඳහන් නොවේ. පවතින යුරෝපීය සහ එක්සත් ජනපද බැංකු රහස්‍යතා නීති යටතේ, ආර්ථික විස්තර සඳහා රහස්‍ය නොවිය යුතු බාහිර පාර්ශ්ව ගණනාවකට මහා පරිමාණයෙන් ගනුදෙනු ප්‍රතිවර්තනය කිරීමට පද්ධතිය සැලසුම් කර ඇත.

රටවල් හරහා දත්ත ප්‍රතිපත්ති සම්බන්ධීකරණය කිරීම අපහසුය, විශේෂයෙන්ම දත්ත ආරක්ෂණය සහ පෞද්ගලිකත්වය පිළිබඳ විවිධ සංස්කෘතික අදහස් සහිත විවිධ අධිකරණ බල ප්‍රදේශවල අසමාන නීති සහ රෙගුලාසි ලබා දී ඇත. ප්‍රොටෝකෝලය පෙරනිමියෙන් සම්මුතියේ සාමාජිකයින්ට සම්පූර්ණයෙන්ම විවෘත වේ, එය සැලසුම් කර ඇති අවශ්‍යතා සපුරාලන්නේ නැති පැහැදිලි තාක්ෂණික අඩුපාඩුවකි.

Libra HotStuff BFT හට ගෙවීම් පද්ධතියක් සඳහා අවශ්‍ය ප්‍රතිදානය ලබා ගැනීමට නොහැකි විය

එක්සත් රාජධානියේ, BAC වැනි නිෂ්කාශන පද්ධති මසකට ගනුදෙනු 580ක් පමණ හැසිරවීමට හැකියාව ඇත. ඒ අතරම, Visa වැනි ඉහළ ප්‍රශස්ත පද්ධතිවලට දිනකට ගනුදෙනු 000ක් ක්‍රියා කළ හැක. කාර්ය සාධනය ගනුදෙනු ප්‍රමාණය, ජාල මාර්ගගත කිරීම, පද්ධති පැටවීම, සහ AML චෙක්පත් (මුදල් විශුද්ධිකරණයට එරෙහි, මුදල් විශුද්ධිකරණ යෝජනා ක්‍රම).

පසුගිය දශකය තුළ ජාතික රාජ්‍යයන් ඔවුන්ගේ නිෂ්කාශන යටිතල පහසුකම් නවීකරණය කර ඇති බැවින්, තුලා රාශිය අභ්‍යන්තර ස්ථාන මාරු සඳහා සැබවින්ම ගැටලු නොවන ගැටලු විසඳීමට උත්සාහ කරයි. යුරෝපීය සංගමයේ සිල්ලර පාරිභෝගිකයින් සඳහා, මුදල් මාරු කිරීම කිසිසේත්ම ගැටලුවක් නොවේ. සාම්ප්රදායික යටිතල පහසුකම් මත, මෙය තත්පර කිහිපයකින් සම්මත ස්මාර්ට් ජංගම දුරකතනයකින් කළ හැකිය. විශාල ආයතනික මාරු කිරීම් සඳහා, විශාල මුදල් ප්‍රමාණයක් ගෙනයාමට සම්බන්ධ විවිධ යාන්ත්‍රණ සහ නීති තිබේ.

අදාළ අධිකරණ බල ප්‍රදේශ අතර නීති සහ අවශ්‍යතාවල වෙනස්කම් හැර, දේශසීමා ගෙවීම් ද ක්ෂණිකව ක්‍රියාවට නැංවීමට නොහැකි වීමට තාක්ෂණික හේතුවක් නොමැත. ගණුදෙණු දාමයේ විවිධ අවස්ථා වලදී අවශ්‍ය වැළැක්වීමේ පියවර (පාරිභෝගික නිසි කඩිසරකම, සම්බාධක චෙක්පත් ආදිය) කිහිප වතාවක් සිදු කරන්නේ නම්, මෙය ගනුදෙනුව ප්‍රමාද වීමට හේතු විය හැක. කෙසේ වෙතත්, මෙම ප්‍රමාදය තනිකරම නියාමන නීති සම්පාදනයේ සහ අනුකූලතාවයේ කාර්යයක් මිස තාක්ෂණය නොවේ.

පාරිභෝගිකයින් සඳහා, එක්සත් රාජධානියේ ගනුදෙනුවක් තත්පර කිහිපයකින් පැහැදිලි නොවීමට හේතුවක් නැත. යුරෝපා සංගමයේ සිල්ලර ගනුදෙනු ඇත්ත වශයෙන්ම මන්දගාමී වේ KYC පරීක්ෂාව (ඔබේ පාරිභෝගිකයා දැනගන්න) සහ ලිබ්‍රා ගෙවීම්වලට සමානව අදාළ වන, රජයන් සහ නියාමකයින් විසින් පනවනු ලබන AML සීමා කිරීම්. Facebook විසින් දේශසීමා මාරු කිරීම් සහ පුද්ගලික දත්ත හුවමාරු කිරීම් සඳහා ඇති බාධක ජය ගැනීමට නම්, යෝජිත ආකෘතිය ගෝලීය ගනුදෙනු ප්‍රතිසාධනයෙන් පුද්ගල-වසර සිය ගණනක් දුරින් පවතින අතර මුල සිටම ප්‍රතිනිර්මාණය කිරීමට අවශ්‍ය වනු ඇත.

Libra Move භාෂාව වැරදියි

ධවල පත්‍රිකාව Move නම් නව, පරීක්ෂා නොකළ භාෂාවක් ගැන නිර්භීත ප්‍රකාශ කරයි. ක්‍රමලේඛන භාෂා න්‍යායේ (PLT) දෘෂ්ටි කෝණයෙන් මෙම ප්‍රකාශ තරමක් සැක සහිත ය.

Move යනු Libra blockchain මත අභිරුචි ගණුදෙණු තර්ක සහ ස්මාර්ට් ගිවිසුම් ක්‍රියාත්මක කිරීම සඳහා නව ක්‍රමලේඛන භාෂාවකි. Libra විසින් එක් දිනක් බිලියන ගණනක ජනතාවකට සේවය කිරීම අරමුණු කර ඇති නිසා, Move නිර්මාණය කර ඇත්තේ ආරක්ෂාවට ප්‍රමුඛත්වය දෙමින්.

Move හි ප්‍රධාන ලක්ෂණයක් වන්නේ රේඛීය තර්කයෙන් ආභාසය ලත් අර්ථ ශාස්ත්‍ර සමඟ අත්තනෝමතික සම්පත් වර්ග නිර්වචනය කිරීමේ හැකියාවයි.

පොදු අවහිර කිරීම් වලදී, ස්මාර්ට් කොන්ත්‍රාත්තු එස්ක්‍රෝ ගිණුම්, මුදල් විශුද්ධිකරණය, OTC ටෝකන් නිකුත් කිරීම සහ සූදුව සමඟ පොදු ජාල වල තර්කනයට මුහුණ දෙයි. මේ සියල්ල සිදු කරනු ලබන්නේ Solidity නම් විස්මිත ලෙස දුර්වල ලෙස නිර්මාණය කරන ලද භාෂාවකින් වන අතර, ශාස්ත්‍රීය දෘෂ්ටි කෝණයකින් PHP කතුවරයා දක්ෂයෙකු ලෙස පෙනේ. පුදුමයට කරුණක් නම්, Facebook හි නව භාෂාවට මෙම තාක්ෂණයන් සමඟ කිසිදු සම්බන්ධයක් නොමැති බව පෙනේ, මන්ද එය ඇත්ත වශයෙන්ම අපැහැදිලි ව්‍යවසාය අරමුණු සඳහා අදහස් කරන ලද ස්ක්‍රිප්ටින් භාෂාවකි.

පුද්ගලික බෙදා හරින ලද ලෙජරවල, ස්මාර්ට් කොන්ත්‍රාත්තු යනු පැහැදිලි අර්ථ දැක්වීමක් හෝ අරමුණක් ගැන වැඩි සැලකිල්ලක් නොදක්වා උපදේශකයින් විසින් විසි කරන ලද කොන්දේසි වලින් එකකි. ව්‍යවසාය මෘදුකාංග උපදේශකයින් සාමාන්‍යයෙන් අපැහැදිලි බවින් මුදල් උපයති, සහ ස්මාර්ට් කොන්ත්‍රාත්තු යනු ආයතනික අපැහැදිලිවාදයේ අපොතියෝසිස් වේ, මන්ද ඒවා වචනාර්ථයෙන් ඕනෑම දෙයක් ලෙස අර්ථ දැක්විය හැකිය.

එහි ආරක්ෂාව පිළිබඳ හිමිකම් පෑමෙන් පසු, අපි භාෂාවේ අර්ථ ශාස්ත්‍රය දෙස බැලිය යුතුය. ක්‍රමලේඛන භාෂා න්‍යායේ නිරවද්‍යතාවය සාමාන්‍යයෙන් වෙනස් සාක්ෂි දෙකකින් සමන්විත වේ: "ප්‍රගතිය" සහ "සංරක්‍ෂණය", එය භාෂාව සඳහා ඇගයුම් රීතිවල සමස්ත අවකාශයේ අනුකූලතාව තීරණය කරයි. වඩාත් නිශ්චිතව, වර්ග න්‍යාය තුළ, ශ්‍රිතයක් එහි තර්කය හරියටම එක් වරක් භාවිතා කරන්නේ නම් එය "රේඛීය" වන අතර, එය එක් වරක් භාවිතා කරන්නේ නම් "affine" වේ. රේඛීය ආකාරයේ පද්ධතිය සියලු ශ්‍රිත උප ප්‍රකාශන වලට වර්ග ලබා දීමෙන් සහ ඇමතුම් ගන්නා ස්ථානය නිරීක්ෂණය කිරීමෙන් ප්‍රකාශිත රේඛීය ශ්‍රිතයක් සැබවින්ම රේඛීය බවට ස්ථිතික සහතිකයක් සපයයි. මෙය ඔප්පු කිරීමට සියුම් දේපලක් වන අතර සම්පූර්ණ වැඩසටහනක් සඳහා ක්රියාත්මක කිරීමට පහසු නොවේ. රේඛීය ටයිප් කිරීම තවමත් ඉතා ශාස්ත්‍රීය අධ්‍යයන ක්ෂේත්‍රයක් වන අතර, මලකඩ තුළ පිරිසිදු සහ වර්ගයේ හිමිකාරිත්වයේ විශේෂත්වය ක්‍රියාත්මක කිරීම මගින් බලපෑම් ඇති කරයි. Glasgow Haskell Compiler වෙත රේඛීය වර්ග එකතු කිරීම සඳහා මූලික යෝජනා කිහිපයක් තිබේ.

රේඛීය වර්ග භාවිතා කිරීම පිළිබඳ Move හි ප්‍රකාශය සම්පාදකය තුළට අනවශ්‍ය කිමිදීමක් සේ පෙනේ. එවැනි ආකාරයේ පරීක්ෂා කිරීමේ තර්කනයක් නොමැත. කෙනෙකුට පැවසිය හැකි පරිදි, ධවල පත්‍රිකාව ගිරාඩ් සහ පීර්ස්ගේ කැනොනිකල් සාහිත්‍ය උපුටා දක්වයි, සහ සැබෑ ක්‍රියාත්මක කිරීමේදී සමාන කිසිවක් නොමැත.

අතිරේකව, ආරක්ෂිත යැයි කියනු ලබන භාෂාවේ විධිමත් අර්ථකථනය ක්‍රියාත්මක කිරීමේදී හෝ ලේඛනයේ කොතැනකවත් නොපෙන්වයි. Coq හෝ Isabelle හි නිවැරදි අර්ථ ශාස්ත්‍රය පිළිබඳ සම්පූර්ණ සාක්ෂියක් සොයා ගැනීමට තරම් භාෂාව කුඩා වේ. ඇත්ත වශයෙන්ම, පසුගිය දශකය තුළ නිර්මාණය කරන ලද නවීන මෙවලම් සමඟින් බයිට්කේතය වෙත සාධනය මාරු කිරීම සමඟ අවසානය සිට අවසානය දක්වා සම්පූර්ණ පරිවර්තන සම්පාදකයක් ක්රියාත්මක කළ හැකිය. එය කරන්නේ කෙසේදැයි අපි දනිමු, එය ආරම්භ කරන්න ජෝර්ජ් නෙකුලා සහ පීටර් ලී විසින් කෘති ආපසු 1996 දී.

ක්‍රමලේඛන භාෂා න්‍යාය දෘෂ්ටිකෝණයකින්, Move විශ්වාසනීය සහ ආරක්ෂිත භාෂාවක් බවට වන ප්‍රකාශය පරීක්ෂා කිරීම කළ නොහැක්කකි, මන්ද මෙම හිමිකම් සත්‍ය සාක්ෂි වලට වඩා පිරිසිදු අත වනමින් සහ අලෙවිකරණයට සමාන වේ. ඩොලර් බිලියන ගණනක ගනුදෙනු සැකසීමට ඉල්ලා සිටින භාෂා ව්‍යාපෘතියකට මෙය භයානක තත්ත්වයකි.

ලිබ්රා ගුප්තකේතනය දෝෂ සහිතයි

ආරක්ෂිත ගුප්ත පද්ධති ගොඩනැගීම ඉතා දුෂ්කර ඉංජිනේරු ගැටලුවක් වන අතර, සෞඛ්‍ය සම්පන්න මානසික අවපීඩනයේ හොඳ මාත්‍රාවක් සමඟ භයානක කේතයක් සමඟ වැඩ කිරීමට ප්‍රවේශ වීම සැමවිටම හොඳම වේ. Microsoft Everest ව්‍යාපෘතිය වැනි, මෙම ප්‍රදේශයේ ප්‍රධාන ජයග්‍රහණ ඇත, එය සත්‍යාපනය කළ හැකි ආරක්‍ෂාවක් ගොඩනඟයි. TLS තොගය. සත්‍යාපනය කළ හැකි ප්‍රාථමික නිර්මාණය කිරීමට මෙවලම් දැනටමත් පවතී. මෙය මිල අධික වුවද, එය පැහැදිලිවම Facebook හි ආර්ථික හැකියාවන් ඉක්මවා නැත. කෙසේ වෙතත්, ගෝලීය මූල්‍ය පද්ධතිය සඳහා විශ්වාසදායක පදනමක් ලෙස ප්‍රකාශයට පත් කරන ලද ව්‍යාපෘතියට සහභාගී නොවීමට කණ්ඩායම තීරණය කළේය.

libra ව්යාපෘතිය රඳා පවතී පසුගිය වසර කිහිපය තුළ පමණක් දර්ශනය වූ පර්යේෂණාත්මක ගුප්ත පද්ධති නිර්මාණය කිරීම සඳහා තරමක් නව පුස්තකාල කිහිපයකින්. මෙම පුස්තකාල කිසිවක් විගණනය කර නොමැති අතර සම්මත හෙළිදරව් කිරීමේ ප්‍රතිපත්ති නොමැති බැවින් පහත මෙවලම් මත යැපීම් ආරක්ෂිතද නැද්ද යන්න පැවසිය නොහැක. විශේෂයෙන්ම, සමහර ප්‍රධාන පුස්තකාල සඳහා පැති නාලිකා ප්‍රහාර සහ කාල ප්‍රහාරවලින් ආරක්ෂා වීම සම්බන්ධයෙන් නිශ්චිතභාවයක් නොමැත.

  1. ed25519-dalek
  2. curve25519-dalek

පුස්තකාල පුස්තකාලය වඩාත් පර්යේෂණාත්මක වන අතර ඉන් ඔබ්බට යයි සම්මත ආකෘතිය, සත්‍යාපනය කළ හැකි අහඹු ශ්‍රිත (VRFs), ද්වි රේඛීය යුගල සහ එළිපත්ත අත්සන් වැනි ඉතා නව තාක්ෂණික ක්‍රම යෙදීම. මෙම ක්‍රම සහ පුස්තකාල සාධාරණ විය හැකි නමුත්, ඒ සියල්ල එක පද්ධතියකට ඒකාබද්ධ කිරීම ප්‍රහාරක මතුපිට ප්‍රදේශය පිළිබඳ බරපතල ගැටළු මතු කරයි. මෙම සියලු නව මෙවලම් සහ ශිල්පීය ක්‍රමවල එකතුව ආරක්ෂාව ඔප්පු කිරීමේ සංකීර්ණත්වය බෙහෙවින් වැඩි කරයි.

වෙනත් ආකාරයකින් ඔප්පු වන තුරු මෙම සම්පූර්ණ ගුප්ත ලේඛන තොගය විවිධ ප්‍රහාරවලට ගොදුරු විය හැකි බව උපකල්පනය කළ යුතුය. Facebook හි සුප්‍රසිද්ධ 'Move Fast and Break Things' ආකෘතිය පාරිභෝගික මූල්‍ය දත්ත සකසන ගුප්ත ලේඛන මෙවලම් සඳහා යෙදිය නොහැක.

පාරිභෝගික ආරක්ෂණ යාන්ත්රණයන් ක්රියාත්මක කිරීමට තුලා අසමත් වේ

ගෙවීම් පද්ධතියේ සුවිශේෂී ලක්ෂණයක් වන්නේ නඩුවක් මගින් ගෙවීම අවලංගු කළහොත් හෝ අහම්බෙන් හෝ පද්ධතිය අසාර්ථක වීමට හේතු වූ විට ගනුදෙනුවක් ආපසු හැරවීමේ හැකියාවයි. ලිබ්රා පද්ධතිය "සම්පූර්ණ" ලෙස නිර්මාණය කර ඇති අතර ගෙවීම් අවලංගු කිරීම සඳහා ගනුදෙනු වර්ගයක් ඇතුළත් නොවේ. එක්සත් රාජධානියේ, පවුම් 100 සහ පවුම් 30,000 අතර සියලුම ගෙවීම් පාරිභෝගික ණය පනතට යටත් වේ. මෙයින් අදහස් කරන්නේ මිලදී ගත් භාණ්ඩය සමඟ ගැටළුවක් ඇති වූ විට හෝ ගෙවීම් ලබන්නා සේවාව ලබා නොදෙන්නේ නම් ගෙවීම් පද්ධතිය විකුණුම්කරු සමඟ වගකීම බෙදා ගන්නා බවයි. EU, ආසියාව සහ උතුරු ඇමරිකාවේ සමාන නීති අදාළ වේ.

ලිබ්රාවේ වත්මන් සැලසුම මෙම නීතිවලට අනුකූල වීමට ප්රොටෝකෝලයක් ඇතුළත් නොවන අතර එය නිර්මාණය කිරීම සඳහා පැහැදිලි සැලැස්මක් නොමැත. ඊටත් වඩා නරක දෙය නම්, වාස්තු විද්‍යාත්මක දෘෂ්ටිකෝණයකින්, මර්කල් ධාවකයේ තත්වය මත පදනම්ව කර්නලයේ සත්‍යාපිත දත්ත ව්‍යුහයේ අවසාන භාවය, කර්නලය ප්‍රතිනිර්මාණය නොකර එවැනි ප්‍රොටෝකෝලයක් සෑදීමට කිසිදු යාන්ත්‍රණයකට ඉඩ නොදේ.

මෙම ව්‍යාපෘතියේ තාක්‍ෂණික සමාලෝචනයක් පැවැත්වීමෙන් පසු, එය කිසිදු ගෞරවනීය බෙදාහැරීමේ පද්ධති පර්යේෂණ හෝ මූල්‍ය ඉංජිනේරු සඟරාවක එකතු නොවන බව අපට නිගමනය කළ හැකිය. ගෝලීය මූල්‍ය ප්‍රතිපත්තිය වෙනස් කිරීමට උත්සාහ කිරීම සඳහා, මහජනතාවට සහ නියාමකයින්ට විශ්වාස කළ හැකි විශ්වාසදායක ජාලයක් සහ පරිශීලක දත්ත සුරක්ෂිතව සැකසීමට තාක්ෂණික වැඩ විශාල ප්‍රමාණයක් සිදු කළ යුතුය.

මෙම තාක්ෂණික ගැටළු මඟහරවා ගැනීම සඳහා ෆේස්බුක් සිය සැලසුම තුළ අවශ්‍ය කාර්යය කර ඇති බව හෝ වර්තමාන යටිතල ව්‍යුහයට වඩා යම් තාක්‍ෂණික වාසි ඇති බව විශ්වාස කිරීමට කිසිදු හේතුවක් මට නොපෙනේ. නවෝත්පාදන ගවේෂණය කිරීමට සමාගමකට නියාමන නම්‍යශීලී බවක් අවශ්‍ය බව පැවසීම ඒවා පළමුව නොකිරීමට නිදහසට කරුණක් නොවේ.

මූලාශ්රය: www.habr.com

අදහස් එක් කරන්න