স্টেলার কনসেনসাস প্রোটোকল প্রথম বর্ণিত হয়েছিল বৈজ্ঞানিক নিবন্ধ 2015 সালে ডেভিড মাজিয়ার। এটি একটি "ফেডারেল বাইজেন্টাইন চুক্তি ব্যবস্থা" যা বিকেন্দ্রীকৃত, নেতৃত্বহীন কম্পিউটিং নেটওয়ার্কগুলিকে একটি সিদ্ধান্তের বিষয়ে দক্ষতার সাথে ঐক্যমতে পৌঁছানোর অনুমতি দেয়। স্টেলার পেমেন্ট নেটওয়ার্ক একটি ধারাবাহিক লেনদেনের ইতিহাস বজায় রাখতে স্টেলার কনসেনসাস প্রোটোকল (SCP) ব্যবহার করে যা সমস্ত অংশগ্রহণকারীদের কাছে দৃশ্যমান।

ঐক্যমত প্রোটোকল বোঝা কঠিন বলে মনে করা হয়। SCP তাদের বেশিরভাগের চেয়ে সহজ, কিন্তু এখনও এই খ্যাতি ভাগ করে নেয় - আংশিকভাবে ভুল ধারণার কারণে যে "ফেডারেটেড ভোটিং", যা বৈজ্ঞানিক নিবন্ধের প্রথমার্ধের বিষয়, SCP। কিন্তু তা সত্য নয়! এটি একটি গুরুত্বপূর্ণ বিল্ডিং ব্লক যা নিবন্ধের দ্বিতীয়ার্ধ তৈরি করতে ব্যবহার করে আসল নাক্ষত্রিক ঐক্যমত্য প্রোটোকল।

এই নিবন্ধে আমরা সংক্ষিপ্তভাবে ব্যাখ্যা করব যে একটি "চুক্তির ব্যবস্থা" কী, কী এটিকে "বাইজান্টাইন" করতে পারে এবং কেন বাইজেন্টাইন ব্যবস্থাকে "ফেডারেল" করা যায়। আমরা তারপর SCP নিবন্ধে বর্ণিত ফেডারেটেড ভোটিং পদ্ধতি ব্যাখ্যা করব, এবং অবশেষে আমরা SCP প্রোটোকল নিজেই ব্যাখ্যা করব।

চুক্তি ব্যবস্থা

চুক্তির একটি সিস্টেম অংশগ্রহণকারীদের একটি গোষ্ঠীকে একটি বিষয়ে একমত হতে দেয়, যেমন দুপুরের খাবারের জন্য কী অর্ডার করতে হবে।

ইন্টারস্টেলারে, আমরা আমাদের নিজস্ব ডাইনিং এগ্রিমেন্ট সিস্টেম প্রয়োগ করেছি: আমাদের অপারেশন ম্যানেজার, জন যা বলেন তা আমরা অর্ডার করি। এটি একটি সহজ এবং কার্যকর চুক্তি ব্যবস্থা। আমরা সকলেই জনকে বিশ্বাস করি এবং বিশ্বাস করি যে তিনি প্রতিদিন কিছু আকর্ষণীয় এবং পুষ্টিকর পাবেন।

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

এটা মনে হবে যে সমাধান সহজ: একটি ভোট রাখা! কিন্তু এটি একটি বিভ্রান্তিকর ছাপ। কে ব্যালট সংগ্রহ করবে এবং ফলাফল রিপোর্ট করবে? আর তার কথা অন্যরা বিশ্বাস করবে কেন? সম্ভবত আমরা পারি প্রথমে এমন একজন নেতাকে ভোট দিন যাকে আমরা ভোটে নেতৃত্ব দেওয়ার জন্য বিশ্বাস করি - কিন্তু কে নেতৃত্ব দেবে প্রথম ভোট দিয়ে? যদি আমরা একজন নেতার সাথে একমত হতে না পারি? অথবা যদি আমরা একটি চুক্তিতে পৌঁছাই, কিন্তু এই নেতা একটি বৈঠকে আটকে যান বা অসুস্থ ছুটিতে যান?

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

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

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

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

একটি বিশাল নেটওয়ার্কে একটি একক নোডের দৃষ্টিকোণ থেকে কোরাম তৈরি করা অসম্ভব বলে মনে হতে পারে, তবে এটি সম্ভব। এই ধরনের কোরাম এমনকি বিকেন্দ্রীভূত ভোটের ফলাফলের নিশ্চয়তা দিতে পারে। এসসিপি শ্বেতপত্র দেখায় যে কীভাবে এটি একটি পদ্ধতি ব্যবহার করে করতে হয় ফেডারেল ভোট দ্বারা.

অধৈর্যদের জন্য

নিবন্ধের বাকি অংশে ফেডারেটেড ভোটিং এবং স্টেলার কনসেনসাস প্রোটোকলকে আরও বিস্তারিতভাবে বর্ণনা করা হয়েছে। আপনি যদি বিশদ বিবরণে আগ্রহী না হন তবে এখানে প্রক্রিয়াটির একটি সাধারণ ওভারভিউ রয়েছে।

1. নোডগুলি "মনোনীতদের" উপর ফেডারেল ভোটের রাউন্ড পরিচালনা করে। একটি ফেডারেল ভোটিং রাউন্ড মানে:
   • নোড কিছু বিবৃতির জন্য ভোট দেয়, উদাহরণস্বরূপ, "আমি V এর মান প্রস্তাব করি";
   • নোড সহকর্মীদের কণ্ঠস্বর শোনে যতক্ষণ না এটি "গ্রহণ" করতে পারে এমন একটি খুঁজে পায়;
   • নোড এই দাবির জন্য একটি "কোরাম" সন্ধান করে। একটি কোরাম মনোনীত ব্যক্তিকে "নিশ্চিত" করে।
2. একবার একটি নোড এক বা একাধিক মনোনীত ব্যক্তিকে নিশ্চিত করতে পারলে, এটি ফেডারেটেড ভোটিংয়ের বিভিন্ন রাউন্ডের মাধ্যমে "ব্যালট" "প্রস্তুত" করার চেষ্টা করে।
3. একবার একটি নোড ব্যালট প্রস্তুত কিনা তা যাচাই করতে সক্ষম হলে, এটি ফেডারেটেড ভোটিংয়ের আরও রাউন্ডের মাধ্যমে এটি কমিট করার চেষ্টা করে।
4. একবার একটি নোড একটি ব্যালটের একটি প্রতিশ্রুতি নিশ্চিত করতে পারলে, এটি ঐকমত্য ফলাফল হিসাবে ব্যবহার করে সেই ব্যালটের মানকে "বহির্ভূত" করতে পারে।

এই পদক্ষেপগুলির মধ্যে একাধিক রাউন্ড ফেডারেটেড ভোটিং জড়িত, যা সম্মিলিতভাবে একটি SCP রাউন্ড গঠন করে। আসুন প্রতিটি ধাপে কী ঘটছে তা ঘনিষ্ঠভাবে দেখে নেওয়া যাক।

ফেডারেটেড ভোটিং

ফেডারেটেড ভোটিং হল নেটওয়ার্ক একটি প্রস্তাবে সম্মত হতে পারে কিনা তা নির্ধারণ করার একটি পদ্ধতি। ভোটের রাউন্ডে, প্রতিটি নোডকে অবশ্যই অনেক সম্ভাব্য মানগুলির মধ্যে একটি বেছে নিতে হবে। এটি করতে পারে না যদি না এটি নিশ্চিত হয় যে নেটওয়ার্কের অন্যান্য নোডগুলি একটি ভিন্ন ফলাফল বেছে নেবে না। এটি নিশ্চিত করার জন্য, নোডগুলি সামনে এবং পিছনে বার্তাগুলির একটি ব্যারেজ বিনিময় করে যাতে প্রত্যেকে নিশ্চিত, যে কোরাম নট লাগে একই জিনিস সিদ্ধান্ত. এই অংশের বাকি অংশটি এই বাক্যটির শর্তাবলী এবং সম্পূর্ণ পদ্ধতিটি কীভাবে ঘটে তা ব্যাখ্যা করে।

কোরাম এবং কোরাম স্লাইস

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

কোরাম গঠন শুরু হয় কোরাম কাটার মাধ্যমে। প্রতিটি নোডের জন্য, এর কাটা নোড যোগ করা হয়। তারপর স্লাইস পদ যোগ করা হয় এই নোড এবং তাই আপনি চালিয়ে যাওয়ার সাথে সাথে আরও বেশি নোড রয়েছে যা আপনি যোগ করতে পারবেন না কারণ সেগুলি ইতিমধ্যেই স্লাইসে অন্তর্ভুক্ত রয়েছে। যখন যোগ করার জন্য আর কোন নতুন নোড থাকে না, প্রক্রিয়াটি বন্ধ হয়ে যায়: আমরা প্রাথমিক নোডের কোরাম স্লাইসের "ট্রানজিটিভ ক্লোজার" দ্বারা একটি কোরাম তৈরি করেছি।

একটি প্রদত্ত নোড থেকে কোরাম খুঁজে পেতে...

... এর স্লাইস সদস্যদের যোগ করুন...

...তারপর আমরা এই নোডের স্লাইস সদস্য যোগ করি।

যোগ করার জন্য কোন নোড বাকি না থাকা পর্যন্ত আমরা চালিয়ে যাই।

যোগ করার জন্য কোন নোড বাকি নেই। এটি একটি কোরাম।

আসলে, প্রতিটি নোড একাধিক স্লাইসে উপস্থিত হতে পারে। একটি কোরাম গঠন করতে, শুধুমাত্র একটি স্লাইস নির্বাচন করুন এবং সদস্য যোগ করুন; তারপর সদস্যদের প্রত্যেকের জন্য যেকোন স্লাইস নির্বাচন করুন এবং সদস্য যোগ করুন এটা কাটা এবং তাই। এর মানে হল যে প্রতিটি নোড অনেক সম্ভাব্য কোরামের সদস্য।

প্রতিটি ধাপে শুধুমাত্র একটি কোরাম স্লাইস নির্বাচন করুন।

একটি সম্ভাব্য কোরাম। অথবা একটি বিকল্প ...

...অন্য স্লাইস নির্বাচন করুন...

…(যখন এটা সম্ভব)…

... আরেকটি কোরাম তৈরি করে।

কিভাবে একটি নোড জানতে পারে কোন স্লাইস অন্যান্য নোড আছে? অন্যান্য নোড সম্পর্কে অন্যান্য তথ্যের মতোই: প্রতিটি নোড যখন তার ভোটদানের অবস্থা পরিবর্তিত হয় তখন নেটওয়ার্কে সম্প্রচার করে এমন ট্রান্সমিশন থেকে। প্রতিটি সম্প্রচারে পাঠানো নোডের স্লাইস সম্পর্কে তথ্য থাকে। SCP শ্বেতপত্র একটি যোগাযোগ ব্যবস্থা নির্দিষ্ট করে না। বাস্তবায়ন সাধারণত ব্যবহার গসিপ প্রোটোকল নেটওয়ার্ক জুড়ে নিশ্চিতভাবে বার্তা সম্প্রচারের জন্য।

মনে রাখবেন যে চুক্তির অ-ফেডারেল বাইজেন্টাইন সিস্টেমে, একটি কোরামকে সমস্ত নোডের সংখ্যাগরিষ্ঠ হিসাবে সংজ্ঞায়িত করা হয়। বাইজেন্টাইন চুক্তি ব্যবস্থাটি প্রশ্নের দৃষ্টিকোণ থেকে ডিজাইন করা হয়েছে: সিস্টেমটি কতগুলি অসাধু নোড সহ্য করতে পারে? F ব্যর্থতা থেকে বাঁচার জন্য ডিজাইন করা N নোডগুলির একটি সিস্টেমে, একটি নোড N−f সমবয়সীদের কাছ থেকে প্রতিক্রিয়া গ্রহণ করে অগ্রগতি করতে সক্ষম হওয়া উচিত কারণ তাদের মধ্যে f নিম্ন হতে পারে। কিন্তু N−f সমবয়সীদের কাছ থেকে একটি প্রতিক্রিয়া পেয়ে, আমরা অনুমান করতে পারি যে সমস্ত f সমবয়সীদের (যা থেকে নোড কোনও প্রতিক্রিয়া পায়নি) আসলে সৎ। সুতরাং, N−f সমবয়সীদের মধ্যে f (যার কাছ থেকে প্রতিক্রিয়া পাওয়া গেছে) দূষিত। নোডগুলিকে একই সম্মতিতে আসার জন্য, বাকি নোডগুলির অধিকাংশই সৎ হতে হবে, অর্থাৎ, আমাদের N−f 2f বা N > 3f-এর চেয়ে বড় হতে হবে। সুতরাং সাধারণত f ব্যর্থতা থেকে বাঁচার জন্য ডিজাইন করা একটি সিস্টেমে মোট N=3f+1 নোড এবং 2f+1 এর কোরাম আকার থাকবে। একবার একটি প্রস্তাব কোরাম থ্রেশহোল্ড পেরিয়ে গেলে, নেটওয়ার্কের বাকি অংশ নিশ্চিত হয় যে কোনো প্রতিযোগী প্রস্তাব ব্যর্থ হবে। এইভাবে নেটওয়ার্কটি ফলাফলে রূপান্তরিত হয়।

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

প্রযুক্তিগতভাবে, কোন উপায়! ছয়টি নোডের একটি নেটওয়ার্ক কল্পনা করুন, যেখানে দুটি ট্রিপলেট একে অপরের কোরাম স্লাইসে বিচ্ছিন্ন। প্রথম উপগোষ্ঠী এমন একটি সিদ্ধান্ত নিতে পারে যা দ্বিতীয়টি কখনই শুনবে না এবং এর বিপরীতে। এই নেটওয়ার্কের জন্য ঐক্যমতে পৌঁছানোর কোন উপায় নেই (দৈবক্রমে ব্যতীত)।

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

যদি নেটওয়ার্কে কোরামের ছেদ থাকে...

...তারপর যেকোন দুটি কোরাম আপনি তৈরি করতে পারেন...

...সর্বদা ছেদ করবে।

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

এটা আশা করা অযৌক্তিক মনে হতে পারে যে স্বাধীন নোডের একটি নেটওয়ার্কে একটি নির্ভরযোগ্য কোরাম ক্রসিং সম্ভব। তবে এমন হওয়ার দুটি কারণ রয়েছে।

প্রথম কারণ হল ইন্টারনেটের অস্তিত্ব। ইন্টারনেট ছেদকারী কোরাম সহ স্বাধীন নোডের নেটওয়ার্কের একটি নিখুঁত উদাহরণ। ইন্টারনেটের বেশিরভাগ নোডগুলি শুধুমাত্র কয়েকটি অন্যান্য স্থানীয় নোডের সাথে সংযোগ করে, কিন্তু এই ছোট সেটগুলি যথেষ্ট ওভারল্যাপ করে যে প্রতিটি নোডকে কোনো না কোনো রুট বরাবর অন্য নোড থেকে পৌঁছানো যায়।

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

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

ভোট, গ্রহণযোগ্যতা এবং নিশ্চিতকরণ

একটি ফেডারেটেড ভোটিং রাউন্ডে, একটি নোড ঐচ্ছিকভাবে কিছু মান V-এর জন্য ভোট দেওয়া শুরু করে। এর মানে হল নেটওয়ার্কে একটি বার্তা সম্প্রচার করা: "আমি নোড N, আমার কোরামের স্লাইসগুলি হল Q, এবং আমি V-এর জন্য ভোট দিচ্ছি।" যখন একটি নোড এইভাবে ভোট দেয়, তখন এটি প্রতিশ্রুতি দেয় যে এটি কখনও V এর বিরুদ্ধে ভোট দেয়নি এবং কখনই দেবে না।

পিয়ার-টু-পিয়ার সম্প্রচারে, প্রতিটি নোড অন্যরা কীভাবে ভোট দেয় তা দেখে। একবার একটি নোড এই বার্তাগুলির যথেষ্ট পরিমাণে সংগ্রহ করলে, এটি কোরাম স্লাইস ট্র্যাক করতে পারে এবং কোরামগুলি খুঁজে বের করার চেষ্টা করতে পারে। তিনি যদি ভি-কে ভোট দেন এমন সহকর্মীদের একটি কোরাম দেখেন, তিনি এগিয়ে যেতে পারেন দত্তক V এবং নেটওয়ার্কে এই নতুন বার্তাটি সম্প্রচার করুন: "আমি নোড N, আমার কোরামের স্লাইসগুলি হল Q, এবং আমি V গ্রহণ করি।" সাধারণ ভোটের চেয়ে গ্রহণযোগ্যতা একটি শক্তিশালী গ্যারান্টি প্রদান করে। যখন একটি নোড V-এর জন্য ভোট দেয়, এটি কখনই অন্য বিকল্পগুলির জন্য ভোট দিতে পারে না। কিন্তু যদি একটি নোড V গ্রহণ করে, তবে নেটওয়ার্কের কোনো নোড অন্য বিকল্পটি গ্রহণ করবে না (SCP সাদা কাগজে থিওরেম 8 এটি প্রমাণ করে)।

অবশ্যই, একটি উচ্চ সম্ভাবনা আছে যে অবিলম্বে V এর সাথে একমত নোডের একটি কোরাম হবে না। অন্যান্য নোডগুলি অন্য মানগুলির জন্য ভোট দিতে পারে। কিন্তু একটি নোডের জন্য সাধারণ ভোটিং থেকে গ্রহণযোগ্যতার দিকে যাওয়ার আরেকটি উপায় রয়েছে। N W এর জন্য একটি ভিন্ন মান গ্রহণ করতে পারে, এমনকি যদি সে এটির পক্ষে ভোট না দেয় এবং এমনকি যদি সে এটির জন্য একটি কোরাম দেখতে না পায়। আপনার ভোট পরিবর্তন করার সিদ্ধান্ত নিতে, শুধু দেখুন ব্লকিং সেট যে নোডগুলি ডব্লিউ গ্রহণ করেছে। একটি ব্লকিং সেট হল প্রতিটি কোরাম স্লাইস N থেকে একটি করে নোড। নাম থেকে বোঝা যায়, এটি হতে পারে ব্লক অন্য কোন অর্থ। যদি এই ধরনের একটি সেটের সমস্ত নোড W গ্রহণ করে, তাহলে (থিওরেম 8 দ্বারা) এমন একটি কোরাম গঠন করা কখনই সম্ভব হবে না যা একটি ভিন্ন মান নেয়, এবং সেইজন্য W গ্রহণ করা N এর পক্ষেও নিরাপদ।

তিনটি কোরাম স্লাইস সহ নোড N।

BDF হল N-এর জন্য একটি ব্লকিং সেট: এতে N-এর প্রতিটি স্লাইস থেকে একটি করে নোড রয়েছে।

BE হল N এর জন্য একটি ব্লকিং সেট কারণ E N এর দুটি স্লাইসে উপস্থিত হয়।

কিন্তু ব্লকিং সেট কোরাম নয়। N-এর প্রতিটি স্লাইসে মাত্র একটি নোড হ্যাক করা যথেষ্ট হলে কাঙ্খিত মান গ্রহণ করার জন্য নোড N-কে কৌশল করা খুব সহজ হবে। তাই, মান গ্রহণ করা ভোটের শেষ নয়। পরিবর্তে, N অবশ্যই মান নিশ্চিত করতে হবে, অর্থাৎ, নোডের একটি কোরাম এটি গ্রহণ করছে। যদি এটি এতদূর যায়, তাহলে, যেমন SCP শ্বেতপত্র প্রমাণ করে (উপাদ্য 11-এ), বাকি নেটওয়ার্কগুলিও শেষ পর্যন্ত একই মান নিশ্চিত করবে, তাই N ফলাফল হিসাবে একটি নির্দিষ্ট মান দিয়ে ফেডারেটেড ভোট শেষ করবে।

ফেডারেটেড ভোটিং।

ভোটদান, গ্রহণযোগ্যতা এবং নিশ্চিতকরণের প্রক্রিয়াটি ফেডারেটেড ভোটের একটি পূর্ণ রাউন্ড গঠন করে। স্টেলার কনসেনসাস প্রোটোকল এই রাউন্ডগুলির অনেকগুলিকে একত্রিত করে একটি সম্পূর্ণ ঐক্যমত্য সিস্টেম তৈরি করে।

স্টেলার কনসেনসাস প্রোটোকল

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

ফেডারেল ভোটিং পদ্ধতি বর্ণনা করা হয়েছে নিরাপদ এই অর্থে যে যদি একটি নোড V এর মান নিশ্চিত করে, অন্য কোনো নোড অন্য মান নিশ্চিত করবে না। কিন্তু "অন্য অর্থ নিশ্চিত করবে না" এর অর্থ এই নয় যে এটি অগত্যা কিছু নিশ্চিত করবে। অংশগ্রহণকারীরা এতগুলি ভিন্ন মূল্যে ভোট দিতে পারে যে কিছুই গ্রহণযোগ্যতার থ্রেশহোল্ডে পৌঁছাবে না। এর মানে হল ফেডারেল ভোটিংয়ে নেই জীবনীশক্তি.

স্টেলার কনসেনসাস প্রোটোকল এমনভাবে ফেডারেটেড ভোটিং ব্যবহার করে যা নিরাপত্তা এবং বেঁচে থাকা উভয়ই নিশ্চিত করে। (SCP-এর নিরাপত্তা এবং বেঁচে থাকার গ্যারান্টিগুলির একটি তাত্ত্বিক সীমা রয়েছে৷ নকশাটি একটি খুব শক্তিশালী নিরাপত্তা গ্যারান্টি বেছে নেয়, একটি ছোট বেঁচে থাকার প্রশমনকে বলিদান করে, কিন্তু পর্যাপ্ত সময় দেওয়া হলে, ঐকমত্য পৌঁছানোর সম্ভাবনা খুব বেশি৷) সংক্ষেপে, ধারণাটি হল একাধিক মানের উপর একাধিক ফেডারেটেড ভোট থাকা যতক্ষণ না তাদের মধ্যে একটি নীচে বর্ণিত সমস্ত SCP ভোটিং পর্যায়গুলির মাধ্যমে এটি তৈরি করে।

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

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

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

নিম্নলিখিত বিভাগগুলি আরও বিস্তারিতভাবে মনোনয়ন এবং ভোটদানের বর্ণনা করে।

মনোনয়ন

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

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

ধারণাগতভাবে, মনোনয়ন সমান্তরাল, V এবং W উভয়ই পৃথক ফেডারেল ভোট, প্রতিটি পৃথকভাবে গ্রহণযোগ্যতা বা নিশ্চিতকরণ অর্জন করতে সক্ষম। অনুশীলনে, SCP প্রোটোকল বার্তাগুলি এই পৃথক ভোটগুলিকে একসাথে প্যাকেজ করে।

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

ফেডারেটেড ভোটিং ব্যবহার করে SCP মনোনয়ন। অনেক "B" মান সমবয়সীদের দ্বারা সামনে রাখা এবং নোড দ্বারা "প্রতিফলিত" হতে পারে।

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

এসসিপি শ্বেতপত্র প্রমাণ করে (উপাদ্য 12) যে এক্সটেনশন পর্বের শেষে, নেটওয়ার্ক অবশেষে একটি একক যৌগিক রূপান্তরিত হয়। কিন্তু একটি সমস্যা আছে: ফেডারেটেড ভোটিং একটি অ্যাসিঙ্ক্রোনাস প্রোটোকল (যেমন SCP)। অন্য কথায়, নোডগুলি সময়ের দ্বারা সমন্বিত হয় না, তবে শুধুমাত্র তাদের পাঠানো বার্তাগুলির দ্বারা। নোডের দৃষ্টিকোণ থেকে, কখন তা স্পষ্ট নয় শেষ এক্সটেনশন ফেজ। এবং যদিও সমস্ত নোড শেষ পর্যন্ত একই কম্পোজিটে পৌঁছাবে, তারা পথ ধরে বিভিন্ন রুট নিতে পারে, পথে বিভিন্ন যৌগিক প্রার্থী তৈরি করতে পারে এবং কোনটি চূড়ান্ত তা কখনই বলতে পারে না।

কিন্তু এটা স্বাভাবিক। মনোনয়ন শুধুই প্রস্তুতি। প্রধান বিষয় হল ঐকমত্য অর্জনের জন্য প্রার্থীদের সংখ্যা সীমিত করা, যা প্রক্রিয়ায় ঘটে ব্যালটিং (ব্যালটিং)।

চলমান

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

এটি পার্থক্য করা গুরুত্বপূর্ণ অর্থ (উদাহরণস্বরূপ, দুপুরের খাবারের অর্ডার কেমন হওয়া উচিত: পিৎজা বা সালাদ), নিউজলেটার (counter-value pair) এবং বিবৃতি ব্যালট সম্পর্কে SCP রাউন্ডে ফেডারেল ভোটের বেশ কয়েকটি রাউন্ড অন্তর্ভুক্ত রয়েছে, বিশেষ করে নিম্নলিখিত বিবৃতিগুলিতে:

• "আমি ব্যালট বি কমিট করতে প্রস্তুত" এবং
• "আমি ব্যালট B এর প্রতিশ্রুতি ঘোষণা করছি"

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

যদিও অনেকগুলি ফেডারেটেড ভোট ধারণাগতভাবে বিভিন্ন ব্যালটের দাবিতে পরিচালিত হয়, তবে তারা এতগুলি বার্তা বিনিময় করে না কারণ প্রতিটি বার্তা বেশ কয়েকটি ব্যালটকে অন্তর্ভুক্ত করে। একটি বার্তা এইভাবে একসাথে অনেকগুলি ফেডারেটেড ভোটের অবস্থাকে প্রচার করে, উদাহরণস্বরূপ: “আমি কমিট ব্যালট গ্রহণ করি আগে "

"প্রস্তুত" এবং "কমিট" শব্দের অর্থ কী?

একটি নোড একটি ব্যালট কমিট করার জন্য ভোট দেয় যখন এটি নিশ্চিত হয় যে অন্য নোডগুলি বিভিন্ন মান সহ ব্যালট কমিট করবে না। এটিকে বোঝানোই আবেদনটি প্রস্তুত করার উদ্দেশ্য। একটি ভোট যা বলে "আমি ব্যালট বি কমিট করতে প্রস্তুত" এটি একটি প্রতিশ্রুতি যা কখনই B-এর চেয়ে ছোট একটি ব্যালট করবে না, যেমন একটি ছোট গণনা (SCP-এর জন্য ব্যালটের মানগুলি একটি নির্দিষ্ট ক্রমে থাকা প্রয়োজন৷ এইভাবে, নিউজলেটার কম , যদি N1

কেন "আমি ব্যালট B কমিট করতে প্রস্তুত" এর অর্থ "আমি প্রতিশ্রুতি দিচ্ছি যে B এর চেয়ে ছোট ব্যালট কখনই কমিট করব না"? কারণ এসসিপি গর্ভপাতকে কমিটের বিপরীত হিসাবে সংজ্ঞায়িত করে। একটি ব্যালট প্রস্তুত করার জন্য একটি ভোটের সাথে অন্য কিছু ব্যালটকে অযোগ্য ঘোষণা করার জন্য একটি ভোট জড়িত, এবং, যেমনটি আমরা আগে আলোচনা করেছি, একটি জিনিসের জন্য ভোট দেওয়া একটি প্রতিশ্রুতি যা এর বিরুদ্ধে কখনও ভোট দেবে না।

একটি কমিট সম্প্রচার করার আগে, একটি নোডকে প্রথমে একটি বুলেটিন খুঁজে বের করতে হবে যা এটি প্রস্তুত হিসাবে নিশ্চিত করতে পারে। অন্য কথায়, এটি "আমি ব্যালট বি কমিট করতে প্রস্তুত" বিষয়ের উপর একটি ফেডারেটেড ভোট প্রদান করে, সম্ভবত বিভিন্ন ব্যালটে, যতক্ষণ না এটি একটি কোরাম গ্রহণ করে।

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

যত তাড়াতাড়ি নোড একটি ব্যালট B খুঁজে পায় যা এটি প্রস্তুত হিসাবে নিশ্চিত করতে পারে, এটি একটি নতুন বার্তা "কমিট ব্যালট B" সম্প্রচার করে। এই ভোট সমবয়সীদের বলে যে নোড কখনই বি ত্যাগ করবে না। আসলে, যদি B একটি ব্যালট হয় , তারপর “কমিট ব্যালট " এর অর্থ প্রতিটি ব্যালটের প্রস্তুতির জন্য ভোট দেওয়ার শর্তহীন সম্মতি৷ প্রতি <∞, s>। এই অতিরিক্ত মান অন্য সমবয়সীদের কমিট পিয়ারের সাথে যোগাযোগ করতে সাহায্য করে যদি তারা এখনও প্রোটোকলের আগের পর্যায়ে থাকে।

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

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

ফেডারেটেড ভোটিংয়ের মাধ্যমে এসসিপি ভোট। দেখানো হয়নি: টাইমারটি যে কোনো সময় বন্ধ হয়ে যেতে পারে, ব্যালটে গণনা বাড়াতে পারে (এবং সম্ভবত অতিরিক্ত মনোনীত প্রার্থীদের একটি নতুন সংমিশ্রণ তৈরি করতে পারে)।

এবং এটা সব! নেটওয়ার্ক একমত হয়ে গেলে, এটি বারবার এটি করতে প্রস্তুত। স্টেলার পেমেন্ট নেটওয়ার্কে, এটি প্রায় প্রতি 5 সেকেন্ডে একবার ঘটে: একটি কৃতিত্ব যার জন্য SCP দ্বারা নিশ্চিত নিরাপত্তা এবং বেঁচে থাকার উভয়ই প্রয়োজন।

ফেডারেটেড ভোটের একাধিক রাউন্ডের উপর নির্ভর করে SCP এটি অর্জন করতে পারে। ফেডারেটেড ভোটিং সম্ভব হয়েছে কোরাম স্লাইসের ধারণার দ্বারা: সমবয়সীদের সেট যা প্রতিটি নোড তার (বিষয়ভিত্তিক) কোরামের অংশ হিসাবে বিশ্বাস করার সিদ্ধান্ত নিয়েছে। এই কনফিগারেশনের মানে হল যে উন্মুক্ত সদস্যপদ এবং বাইজেন্টাইন প্রতারণা সহ একটি নেটওয়ার্কেও ঐক্যমত পৌঁছানো যেতে পারে।

আরও পড়া

• আসল SCP সাদা কাগজ পাওয়া যাবে এখানেএবং এখানে এর বাস্তবায়নের জন্য খসড়া স্পেসিফিকেশন।
• এসসিপি প্রোটোকলের মূল লেখক, ডেভিড মাজিয়ার, এটি একটি সরলীকৃত (কিন্তু এখনও প্রযুক্তিগত) উপায়ে ব্যাখ্যা করেছেন। এখানে.
• আপনি এই নিবন্ধে "মাইনিং" বা "কাজের প্রমাণ" শব্দগুলি খুঁজে না পেয়ে অবাক হয়ে থাকতে পারেন৷ SCP এই পদ্ধতিগুলি ব্যবহার করে না, তবে কিছু অন্যান্য ঐক্যমত্য অ্যালগরিদমগুলি করে। জেন উইদারস্পুন অ্যাক্সেসযোগ্য লিখেছেন ঐক্যমত্য অ্যালগরিদমের ওভারভিউ.
• পদক্ষেপ বিবরণ দ্বারা ধাপে একটি সাধারণ নেটওয়ার্ক যা SCP-এর একটি সম্পূর্ণ রাউন্ডে ঐকমত্যে পৌঁছায়।
• এসসিপি বাস্তবায়নে আগ্রহী পাঠকদের জন্য: দেখুন C++ কোড, স্টেলার পেমেন্ট নেটওয়ার্ক দ্বারা ব্যবহৃত, বা কোড যান, যা আমি এসসিপি সম্পর্কে আরও ভাল বোঝার জন্য লিখেছি।

উত্স: www.habr.com