একটি গুরুত্বপূর্ণ প্রযুক্তিগত বিষয় যা উল্লেখ করতে ভুলে গেছি তা হলো, চূড়ান্ততা গ্যাজেট হিসেবে Casper FFG-এর পরিবর্তে Minimmit-এর প্রস্তাবিত স্যুইচ।
সংক্ষেপে, Casper FFG দুই-চক্রের চূড়ান্ততা প্রদান করে: এটি প্রতিটি অ্যাটেস্টারকে ব্লকটিকে "জাস্টিফাই" করতে একবার সই করতে এবং তারপর "চূড়ান্ত" করতে আবার সই করতে বাধ্য করে। Minimmit শুধুমাত্র একটি চক্রের প্রয়োজন। এর বিনিময়ে, Minimmit-এর ত্রুটি-সহনশীলতা (আমাদের প্যারামিটারাইজেশনে) 33% এর পরিবর্তে 17% এ নেমে আসে।
ইথেরিয়াম কনসেনসাস আলোচনাগুলিতে, আমি সবসময়ই নিরাপত্তা ধারণার জন্য কঠোর ছিলাম: আমি সিঙ্ক্রোনির অধীনে 49% ত্রুটি-সহনশীলতার তাত্ত্বিক সীমা অর্জনের দাবি করেছি, 51% আক্রমণের পুনরুদ্ধার গ্যাজেটগুলির জন্য চাপ দিয়েছি, DAS-এর মতো জিনিসগুলি উদ্ভাবন করেছি যা ডেটা উপলব্ধতা চেকগুলিকে অসৎ-বহুমতি-প্রতিরোধী করেছে, ইত্যাদি। কিন্তু Minimmit-এর বৈশিষ্ট্যগুলির সাথে আমি সম্মত,事实上,কিছুদিকে এটির প্রতি উৎসাহীও। এই পোস্টে, আমি কারণগুলি ব্যাখ্যা করব।
আসুন 3SF (বর্তমান বিকন চেইনটি নয়,যা অনেকভাবেইঅপ্রয়োজনীয়ভাবেদুর্বল,কিন্তুআদর্শ3SF)এবংMinimmit-এরঠিকঠিকনিরাপত্তারবৈশিষ্ট্যগুলিকেবিন্যস্তকরি।
“সিঙ্ক্রোনাস নেটওয়ার্ক”এরঅর্থ“নেটওয়ার্কল্যাটেন্সি1/4স্লটএরকমকম”,“অ্যাসিঙ্ক্রোনাসনেটওয়ার্ক”এরঅর্থ“সম্ভবতঅত্যন্তউচ্চল্যাটেন্সি,এমনকিকিছুনোডঘণ্টাখানিকসময়অফলাইনহয়েযায়”।শতকরা(“আক্রমণকারী<33%”)পদটি“সক্রিয়স্টেকডETH”এরশতকরা।
## 3SF-এরবৈশিষ্ট্য
সিঙ্ক্রোনাসনেটওয়ার্ককেস:
*আক্রমণকারীপ<33%:কোনওখারাপবিষয়ঘটছেনা
*33%<p<50%:আক্রমণকারীচূড়ান্ততাকেবন্ধকরতেপারে(অপচয়হওয়াঅপচয়দিয়েঅপচয়হওয়াবড়খানিকটা,কিন্তুচেইনসচলভাবেচলতথাকথিত
*50%<p67%:আক্রমণকারীযথেচ্ছভাবেচূড়ান্ততাদিতেপারবে,ভালগুলি(goodguys)অল্পসংখ্যকসফটফর্ককরতেঅনেকঅধিকদুষ্কর
অসিঙ্ক্রোনাসনেটওয়ার্ককেস:
*আক্রমণকা্রীp 33%: slashing-এরমধ্যদিয়েঅতি-অধিকটাকড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়িছড়ि
## Minimmit-এরবৈশিষ্ট
সিঙ्क्रोनासनेटওयওयওयওयওयওयওयওयওयওयওयওयওयওयওयওযওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওইওই�
*আক्रমণকারীp<17%:কোনখারাপবিষষহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচহচहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहचहচ
*17%<p<50%:আক्रমণকারীআউট-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ-অফ
*50%<p83%:आक्रमणकारीकोईप्रतिशोधकरताहै,भले ही अन्यथा अल्पसंख्यक सॉफ्ट फॉर्क करना असंभव हो जाए
असिङ्क्रोनस नेटवर्क केस:
* आक्रमणकारी p 17%: slashing के माध्यम से विशाल फंड खोए बिना चूड़ान्तता को पुनर्स्थापित कर सके
মজার বিষয়, 3SF -এ 33% slashing -এর "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -এ 17% slashing -এ "গত" -ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% slashing –ए 17% sliding –ए 17%
I actually think that the latter is a better tradeoff. Here's my reasoning why:
* The worst kind of attack is actually not finality reversion, it's censorship. The reason is that finality reversion creates massive publicly available evidence that can be used to immediately cost the attacker millions of ETH (ie. billions of dollars), whereas censorship requires social coordination to get around
* In both of the above, a censorship attack requires 50%
* A censorship attack becomes *much harder* to coordinate around when the censoring attacker can unilaterally finalize (ie. >67% in 3SF, >83% in Minimmit). If they can't, then if the good guys counter-coordinate, you get two non-finalizing chains dueling for a few days, and users can pick on. If they can, then there's no natural schelling point to coordinate soft-forking
* In the case of a client bug, the worst thing that can happen is finalizing something bugged. In 3SF, you only need 67% of clients to share a bug for it to finalize, in Minimmit, you need 83%.
Basicallly, Minimmit maximizes the set of situations that "default to two chains dueling each other", and that is actually a much healthier and much more recoverable outcome than "the wrong thing finalizing".
We want finality to mean final. So in situations of uncertainty (whether attacks or software bugs), we should be more okay with having periods of hours or days where the chain does not finalize, and instead progresses based on the fork choice rule. This gives us time to think and make sure which chain is correct.
Also, I think the "33% slashed to revert finality" of 3SF is overkill. If there is even eg. 15 million ETH staking, then that's 5M ($10B) slashed to revert the chain once. If you had $10B, and you are willing to commit mayhem of a type that violates many countries' computer hacking laws, there are FAR BETTER ways to spend it than to attack a chain. Even if your goal is breaking Ethereum, there are far better attack vectors.
And so if we have the baseline guarantee of >= 17% slashed to revert finality (which Minimmit provides), we should judge the two systems from there based on their other properties — where, for the reasons I described above, I think Minimmit performs better.