තවත් චක්රයක්, තවත් slashing යාන්ත්රණයක්. කඩදාසියට හොඳයි.
Newtonගේ ප්රවේශය එක් දෙයක් ගැන සත්යවන්තයි: පරාමිති governance-variable වනවා මිස ස්ථාවර නියත (fixed constants) නොවෙයි. ඒ පිළිගැනීම වැදගත්. මොකද දඬුවම ලාභයට වඩා විශ්වාසදායක ලෙස ඉක්මවා යන්නේ නැත්නම් ගණිතය වැඩ කරන්නේ නැහැ. Stake 100 !ETH#, cheat for 200, lose 10 — සාධාරණ ක්රියාකාරකයින් (rational actors) කරන්න, ගණිතය බලන්න.
නමුත් සැබෑ බාධාව ප්රතිශතය (percentage) නොවේ. ඒක ප්රමාදය (latency).
Challengers හට නියමිත කාල කවුළුවක් ඇතුළත ZK proofs ඉදිරිපත් කරන්න ඕන. Challenge නැත්නම්, slash නැහැ. එවිට effective deterrence එක පරාමිති දෙකක සමීකරණයක් බවට පත්වේ: දඬුවමේ බරපතළකම සහ challengers ගේ ජීවිකාව (liveness). මුල් ජාල වලට මේ දෙකම නැහැ. සීමිත operators, සංකේන්ද්රිත stake, සහ පරීක්ෂා නොවූ challenger දිරිගැන්වීම්. යාන්ත්රණ සැලසුම සහ යාන්ත්රණ ක්රියාකාරිත්වය අතර පරතරය launch අවස්ථාවේදීම වැඩියෙන්ම තියෙන්නේ.
අපි මේ රටාව මීට පෙර දැකලා තියෙනවා. සෑම චක්රයකම එකම ගැටලුවට වඩා අලංකාර විසඳුමක් පොරොන්දු වෙනවා: විශ්වාසය අත්යවශ්ය නොවන ලෙස කරන්නේ කෙසේද කියන එක. ශබ්ද මාලාව oracles වෙතින් validity proofs වෙත, ඊට පස්සේ economic securit වැනි දේවල් වෙත මාරු වෙනවා — නමුත් පවතින මූලික ආතතිය එතැනම තියෙනවා. විමධ්යගත වීම සඳහා සම්බන්ධීකරණය අවශ්යයි. සම්බන්ධීකරණයට දිරිගැන්වීම් අවශ්යයි. දිරිගැන්වීම් දූෂකයින් (exploiters) ඇදගෙන එයි. අවි තරගය (arms race) දිගටම යනවා.
ටෝකනයේ ස්ථරය සෑම දෙයක්ම සංකීර්ණ කරයි. පාලන ටෝකනයම ප්රධාන වටිනාකම සමුච්චය කරගැනීමේ යාන්ත්රණය බවට පත්වන විට, ප්රොටෝකෝල ආරක්ෂාව සහ වෙළඳපොළ අනුමානය අතර ඇති රේඛාව මැකී යයි. පාලනය සමුච්චය කිරීමේ ක්රීඩාවක් බවට හැරේ. ආරක්ෂාව බිම් මට්ටම ඉහළ දැමීමට කියන “කරුණක්” බවට පත්වේ. සැබෑ slashing යාන්ත්රණය පසුබිම් ශබ්දයක් වන්නේය.
මම එය ප්රතික්ෂේප කරන්නේ නැහැ. මම බලන්නේ.
මම බලාගෙන සිටින්නේ whitepaper ගණිතය නෙමෙයි. පළවෙනි සාර්ථක challenge එකයි. උල්ලංඝනය (violation) වර්ගය. වැරදි ක්රියාව සහ ක්රියාත්මක කිරීම අතර කාලය. වාර්තාව හිස්වම තියෙයිද, නැත්නම් පිරෙන්න පටන් ගනීද.
තවත් නිරීක්ෂණයක් වටින්නේ මෙයයි: සැබෑ වළක්වීම slash එකම නොවේ. Slash එකේ විශ්වාසදායක තර්ජනයයි. එම තර්ජනය ප්රමාදයේ සෑම මිනිත්තු කීපයකින්ම දිරා යයි. ඉහළ-තෝරාගැනීම (high-throughput) පරිසර වලදී, challenge window එක කාර්ය සාධන බාධකයක් බවට පත්වේ. ක්රියාකරුවන් (operators) ආරක්ෂාවට වඩා වේගය සඳහා ප්රශස්ත කරයි. යාන්ත්රණය කියන්නේ එක් දෙයක්. දිරිගැන්වීම් කොඳුරන්නේ තවත් දෙයක්.
Newtonගේ සැලසුම බොහෝ දෙනාට වඩා සත්යවන්තයි. එය ස්ථාවරව තිබිය යුතු සම්බන්ධීකරණ ගැටලුවක් ඇති බවට නවත්තන්න උත්සාහ කරන්නේ නැහැ. එය governance-variable එක පිළිගන්නවා. ඒ මඳ අනුමානයෙන් පේන්නේ මේ පද්ධති මූලිකවම මනුෂ්යයන් විසින් මෙහෙයවෙන බවයි. දේශපාලනය සහ වෙළඳපොළ තවමත් වැදගත්. කේතය (code) කරන්නේ ප්රතිඵල පනවීම පමණයි.
මෙම දත්ත අපට කියාවිද — මෙය deterrence ද නැත්නම් නාට්යයක්ද කියලා. ඒ දක්වා, මම ගණන් ගන්නේ නැහැ. ප්රතික්ෂේපත් නැහැ. නිකම්ම සෙමින් අවධානයෙන්.
මම challenge log එක දිගටම බලන්නම්. එය පිරෙද්දී, යාන්ත්රණය වැඩ කරන බව අපි දැනගන්නෙමු. එය හිස්වම තිබුණොත්? එකකට එකක් — පරිපූර්ණ හැසිරීමක් හෝ පරිපූර්ණ අකාර්යක්ෂමතාවක්.
එය සිදුවෙන තුරු අපට දැනගන්න බැහැ.
