গ্যাস্পার

গ্যাস্পার হল ক্যাসপার দ্য ফ্রেন্ডলি ফাইনালিটি গ্যাজেট (Casper-FFG) এবং LMD-GHOST ফর্ক চয়েস অ্যালগরিদমের একটি সংমিশ্রণ। একত্রে এই উপাদানগুলি প্রুফ-অফ-স্টেক ইথেরিয়ামকে সুরক্ষিত করার জন্য কনসেন্সাস মেকানিজম তৈরি করে। ক্যাসপার হল সেই মেকানিজম যা নির্দিষ্ট ব্লকগুলিকে "চূড়ান্ত" করতে আপগ্রেড করে যাতে নেটওয়ার্কে নতুন প্রবেশকারীরা আত্মবিশ্বাসী হতে পারে যে তারা ক্যানোনিকাল চেইন সিঙ্ক করছে। ফর্ক চয়েস অ্যালগরিদমটি সঞ্চিত ভোট ব্যবহার করে নিশ্চিত করে যে যখন ব্লকচেইনে ফর্ক দেখা দেয় তখন নোডগুলি সহজেই সঠিকটি নির্বাচন করতে পারে।

দ্রষ্টব্য যে Casper-FFG-এর মূল সংজ্ঞাটি গ্যাস্পারে অন্তর্ভুক্ত করার জন্য সামান্য আপডেট করা হয়েছিল। এই পৃষ্ঠায় আমরা আপডেট করা সংস্করণটি বিবেচনা করব।

পূর্বশর্ত

এই উপাদানটি বুঝতে হলে প্রুফ-অফ-স্টেক-এর ভূমিকা পৃষ্ঠাটি পড়া প্রয়োজন।

গ্যাস্পারের ভূমিকা

গ্যাস্পার একটি প্রুফ-অফ-স্টেক ব্লকচেইনের উপরে বসে যেখানে নোডগুলি একটি নিরাপত্তা আমানত হিসাবে ইথার সরবরাহ করে যা ব্লক প্রস্তাব বা ভ্যালিডেট করার ক্ষেত্রে অলস বা অসৎ হলে ধ্বংস করা যেতে পারে। গ্যাস্পার হল সেই মেকানিজম যা নির্ধারণ করে যে কীভাবে ভ্যালিডেটরদের পুরস্কৃত এবং শাস্তি দেওয়া হবে, কোন ব্লকগুলি গ্রহণ বা প্রত্যাখ্যান করা হবে এবং ব্লকচেইনের কোন ফর্কের উপর ভিত্তি করে তৈরি করা হবে।

চূড়ান্ততা কী?

চূড়ান্ততা হল নির্দিষ্ট ব্লকের একটি বৈশিষ্ট্য যার অর্থ হল যে সেগুলিকে প্রত্যাবর্তন করা যাবে না যতক্ষণ না একটি গুরুতর কনসেন্সাস ব্যর্থতা ঘটে এবং একজন আক্রমণকারী মোট স্টেক করা ইথারের কমপক্ষে 1/3 অংশ ধ্বংস করে দেয়। চূড়ান্ত ব্লকগুলিকে এমন তথ্য হিসাবে ভাবা যেতে পারে যার সম্পর্কে ব্লকচেইন নিশ্চিত। একটি ব্লককে চূড়ান্ত করার জন্য দুটি ধাপের আপগ্রেড পদ্ধতির মধ্যে দিয়ে যেতে হবে:

1. ক্যানোনিকাল চেইনে সেই ব্লকের অন্তর্ভুক্তির পক্ষে মোট স্টেক করা ইথারের দুই-তৃতীয়াংশকে অবশ্যই ভোট দিতে হবে। এই শর্তটি ব্লকটিকে "যৌক্তিক"-এ আপগ্রেড করে। যৌক্তিক ব্লকগুলি প্রত্যাবর্তন করার সম্ভাবনা কম, তবে নির্দিষ্ট শর্তে তা করা যেতে পারে।
2. যখন একটি যৌক্তিক ব্লকের উপরে আরেকটি ব্লক যৌক্তিক হয়, তখন এটিকে "চূড়ান্ত"-তে আপগ্রেড করা হয়। একটি ব্লককে চূড়ান্ত করা হল ক্যানোনিকাল চেইনে ব্লকটিকে অন্তর্ভুক্ত করার একটি প্রতিশ্রুতি। এটি প্রত্যাবর্তন করা যাবে না যতক্ষণ না একজন আক্রমণকারী লক্ষ লক্ষ ইথার (বিলিয়ন $USD) ধ্বংস করে।

এই ব্লক আপগ্রেডগুলি প্রতিটি স্লটে ঘটে না। পরিবর্তে, শুধুমাত্র ইপক-বাউন্ডারি ব্লকগুলিকেই যৌক্তিক এবং চূড়ান্ত করা যেতে পারে। এই ব্লকগুলি "চেকপয়েন্ট" নামে পরিচিত। আপগ্রেড করার সময় এক জোড়া চেকপয়েন্ট বিবেচনা করা হয়। কম সাম্প্রতিক চেকপয়েন্টকে চূড়ান্ত এবং আরও সাম্প্রতিক ব্লককে যৌক্তিক করতে আপগ্রেড করার জন্য দুটি ধারাবাহিক চেকপয়েন্টের মধ্যে একটি "সুপারমেজরিটি লিঙ্ক" থাকতে হবে (অর্থাৎ, মোট স্টেক করা ইথারের দুই-তৃতীয়াংশের ভোট দেওয়া যে চেকপয়েন্ট B হল চেকপয়েন্ট A-এর সঠিক উত্তরসূরি)।

যেহেতু চূড়ান্ততার জন্য একটি ব্লকের ক্যানোনিকাল হওয়ার জন্য দুই-তৃতীয়াংশের চুক্তির প্রয়োজন হয়, তাই একজন আক্রমণকারী নিম্নলিখিতগুলি ছাড়া কোনো বিকল্প চূড়ান্ত চেইন তৈরি করতে পারে না:

1. মোট স্টেক করা ইথারের দুই-তৃতীয়াংশের মালিকানা বা কারসাজি করা।
2. মোট স্টেক করা ইথারের অন্তত এক-তৃতীয়াংশ ধ্বংস করা।

প্রথম শর্তটি দেখা দেয় কারণ একটি চেইনকে চূড়ান্ত করতে স্টেক করা ইথারের দুই-তৃতীয়াংশের প্রয়োজন। দ্বিতীয় শর্তটি দেখা দেয় কারণ যদি মোট স্টেকের দুই-তৃতীয়াংশ উভয় ফর্কের পক্ষে ভোট দিয়ে থাকে, তাহলে এক-তৃতীয়াংশকে অবশ্যই উভয়ের উপর ভোট দিতে হবে। ডাবল-ভোটিং একটি স্ল্যাশিং শর্ত যা সর্বোচ্চ শাস্তিযোগ্য, এবং মোট স্টেকের এক-তৃতীয়াংশ ধ্বংস হয়ে যাবে। মে 2022 অনুযায়ী, এর জন্য একজন আক্রমণকারীকে প্রায় $10 বিলিয়ন মূল্যের ইথার পোড়াতে হবে। গ্যাস্পারে যে অ্যালগরিদম ব্লকগুলিকে যৌক্তিক এবং চূড়ান্ত করে, তা হল Casper the Friendly Finality Gadget (Casper-FFG) (opens in a new tab)-এর একটি সামান্য পরিবর্তিত রূপ।

ইনসেনটিভ এবং স্ল্যাশিং

ভ্যালিডেটররা সৎভাবে ব্লক প্রস্তাব এবং ভ্যালিডেট করার জন্য পুরস্কৃত হয়। ইথার পুরস্কৃত করা হয় এবং তাদের স্টেকে যোগ করা হয়। অন্যদিকে, যে ভ্যালিডেটররা অনুপস্থিত থাকে এবং যখন কাজ করার জন্য ডাকা হয় তখন কাজ করতে ব্যর্থ হয়, তারা এই পুরস্কারগুলি থেকে বঞ্চিত হয় এবং কখনও কখনও তাদের বিদ্যমান স্টেকের একটি ছোট অংশ হারায়। যাইহোক, অফলাইন থাকার জন্য জরিমানা সামান্য এবং বেশিরভাগ ক্ষেত্রে, পুরস্কার হারানোর সুযোগ ব্যয়ের সমান। যাইহোক, কিছু ভ্যালিডেটর ক্রিয়া দুর্ঘটনাক্রমে করা খুব কঠিন এবং কিছু দূষিত উদ্দেশ্যকে বোঝায়, যেমন একই স্লটের জন্য একাধিক ব্লক প্রস্তাব করা, একই স্লটের জন্য একাধিক ব্লকে অ্যাটেস্টিং করা, বা পূর্ববর্তী চেকপয়েন্ট ভোটের বিরোধিতা করা। এগুলি হল "স্ল্যাশযোগ্য" আচরণ যেগুলিকে আরও কঠোরভাবে শাস্তি দেওয়া হয়—স্ল্যাশিং-এর ফলে ভ্যালিডেটরের স্টেকের কিছু অংশ ধ্বংস হয়ে যায় এবং ভ্যালিডেটরকে ভ্যালিডেটরদের নেটওয়ার্ক থেকে সরিয়ে দেওয়া হয়। এই প্রক্রিয়াটি 36 দিন সময় নেয়। প্রথম দিনে, 1 ETH পর্যন্ত প্রাথমিক জরিমানা রয়েছে। তারপর স্ল্যাশ করা ভ্যালিডেটরের ইথার ধীরে ধীরে এক্সিট পিরিয়ড জুড়ে শেষ হয়ে যায়, কিন্তু 18তম দিনে, তারা একটি "কোরিলেশন পেনাল্টি" পায়, যা একই সময়ে আরও বেশি ভ্যালিডেটর স্ল্যাশ করা হলে আরও বড় হয়। সর্বোচ্চ জরিমানা হল সম্পূর্ণ স্টেক। এই পুরস্কার এবং জরিমানাগুলি সৎ ভ্যালিডেটরদের উৎসাহিত করতে এবং নেটওয়ার্কে আক্রমণকে নিরুৎসাহিত করার জন্য ডিজাইন করা হয়েছে।

নিষ্ক্রিয়তা লিক

নিরাপত্তার পাশাপাশি, গ্যাস্পার "বিশ্বাসযোগ্য লাইভনেস" প্রদান করে। এটি এমন একটি শর্ত যে যতক্ষণ পর্যন্ত মোট স্টেক করা ইথারের দুই-তৃতীয়াংশ সততার সাথে ভোট দিচ্ছে এবং প্রোটোকল অনুসরণ করছে, ততক্ষণ চেইনটি অন্য কোনও কার্যকলাপ (যেমন আক্রমণ, লেটেন্সি সমস্যা বা স্ল্যাশিং) নির্বিশেষে চূড়ান্ত হতে সক্ষম হবে। অন্যভাবে বলতে গেলে, চেইনকে চূড়ান্ত হওয়া থেকে আটকাতে মোট স্টেক করা ইথারের এক-তৃতীয়াংশকে কোনোভাবে আপোস করতে হবে। গ্যাস্পারে, লাইভনেস ব্যর্থতার বিরুদ্ধে একটি অতিরিক্ত প্রতিরক্ষা ব্যবস্থা রয়েছে, যা "নিষ্ক্রিয়তা লিক" নামে পরিচিত। এই মেকানিজমটি সক্রিয় হয় যখন চেইনটি চারটিরও বেশি ইপক ধরে চূড়ান্ত হতে ব্যর্থ হয়। যেসব ভ্যালিডেটর সক্রিয়ভাবে মেজরিটি চেইনে অ্যাটেস্টিং করছে না, তাদের স্টেক ধীরে ধীরে নিঃশেষ হয়ে যায় যতক্ষণ না মেজরিটি মোট স্টেকের দুই-তৃতীয়াংশ ফিরে পায়, এটি নিশ্চিত করে যে লাইভনেস ব্যর্থতা শুধুমাত্র অস্থায়ী।

ফর্ক পছন্দ

Casper-FFG-এর মূল সংজ্ঞায় একটি ফর্ক চয়েস অ্যালগরিদম অন্তর্ভুক্ত ছিল যা এই নিয়মটি আরোপ করেছিল: সেই চেইনটি অনুসরণ করুন যেখানে সর্বোচ্চ উচ্চতার যৌক্তিক চেকপয়েন্ট রয়েছে যেখানে উচ্চতাকে জেনেসিস ব্লক থেকে সর্বাধিক দূরত্ব হিসাবে সংজ্ঞায়িত করা হয়। গ্যাস্পারে, আসল ফর্ক চয়েস নিয়মটি LMD-GHOST নামক একটি আরও পরিশীলিত অ্যালগরিদমের পক্ষে বাতিল করা হয়েছে। এটা বোঝা গুরুত্বপূর্ণ যে সাধারণ পরিস্থিতিতে, একটি ফর্ক চয়েস নিয়মের প্রয়োজন নেই - প্রতিটি স্লটের জন্য একটি একক ব্লক প্রোপোজার থাকে এবং সৎ ভ্যালিডেটররা এতে অ্যাটেস্টিং করে। শুধুমাত্র বড় নেটওয়ার্ক অ্যাসিঙ্ক্রোনিসিটির ক্ষেত্রে বা যখন একজন অসৎ ব্লক প্রোপোজার দ্ব্যর্থবোধক কথা বলে, তখনই একটি ফর্ক চয়েস অ্যালগরিদমের প্রয়োজন হয়। যাইহোক, যখন সেই ঘটনাগুলি ঘটে, তখন ফর্ক চয়েস অ্যালগরিদম একটি গুরুত্বপূর্ণ প্রতিরক্ষা যা সঠিক চেইনকে সুরক্ষিত করে।

LMD-GHOST-এর পূর্ণরূপ হল "লেটেস্ট মেসেজ-ড্রিভেন গ্রিডি হেভিয়েস্ট অবজার্ভড সাব-ট্রি"। এটি একটি পরিভাষা-বহুল উপায় একটি অ্যালগরিদমকে সংজ্ঞায়িত করার, যা অ্যাটেস্টেশনের সর্বাধিক সঞ্চিত ওজন সহ ফর্কটিকে ক্যানোনিকাল হিসাবে নির্বাচন করে (গ্রিডি হেভিয়েস্ট সাবট্রি) এবং যদি একজন ভ্যালিডেটরের কাছ থেকে একাধিক বার্তা পাওয়া যায়, তবে শুধুমাত্র সর্বশেষটি বিবেচনা করা হয় (লেটেস্ট-মেসেজ ড্রিভেন)। সবচেয়ে ভারী ব্লকটিকে তার ক্যানোনিকাল চেইনে যোগ করার আগে, প্রতিটি ভ্যালিডেটর এই নিয়মটি ব্যবহার করে প্রতিটি ব্লক মূল্যায়ন করে।

আরও পড়ুন

• গ্যাস্পার: GHOST এবং Casper-এর সমন্বয় (opens in a new tab)
• Casper the Friendly Finality Gadget (opens in a new tab)