2025-11-22T11:52:16.459504

The Time to Consensus in a Blockchain: Insights into Bitcoin's "6 Blocks Rule''

Dey, Gopalan, Subramanian
We investigate the time to consensus in Nakamoto blockchains. Specifically, we consider two competing growth processes, labeled \emph{honest} and \emph{adversarial}, and determine the time after which the honest process permananetly exceeds the adversarial process. This is done via queueing techniques. The predominant difficulty is that the honest growth process is subject to \emph{random delays}. In a stylized Bitcoin model, we compute the Laplace transform for the time to consensus and verify it via simulation.
academic

একটি ব্লকচেইনে সর্বসম্মতিতে পৌঁছানোর সময়: বিটকয়েনের "৬ ব্লক নিয়ম" সম্পর্কে অন্তর্দৃষ্টি

মৌলিক তথ্য

  • পেপার আইডি: 2511.12687
  • শিরোনাম: The Time to Consensus in a Blockchain: Insights into Bitcoin's "6 Blocks Rule"
  • লেখক: Partha S. Dey, Aditya S. Gopalan, Vijay G. Subramanian
  • শ্রেণীবিভাগ: cs.DC (বিতরণকৃত কম্পিউটিং), math.PR (সম্ভাব্যতা তত্ত্ব)
  • প্রকাশনার সময়: ২০২৫ সালের নভেম্বর ১৬ (arXiv প্রাক-প্রিন্ট)
  • পেপার লিঙ্ক: https://arxiv.org/abs/2511.12687

সারসংক্ষেপ

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

গবেষণার পটভূমি এবং প্রেরণা

মূল সমস্যা

এই পেপারটি যে মূল সমস্যার সমাধান করে তা হল: নেটওয়ার্ক বিলম্ব এবং প্রতিকূল নোডের উপস্থিতিতে ব্লকচেইন সিস্টেমকে সর্বসম্মতিতে পৌঁছাতে কত সময় লাগে। এই সমস্যাটি সরাসরি বিটকয়েনের বিখ্যাত "৬ ব্লক নিয়ম" এর তাত্ত্বিক ভিত্তির সাথে সম্পর্কিত।

সমস্যার গুরুত্ব

১. উদীয়মান অ্যাপ্লিকেশন চাহিদা: সরবরাহ শৃঙ্খল ব্যবস্থাপনা (বিশেষত তাজা খাদ্য সরবরাহ শৃঙ্খল) এর মতো উদীয়মান ক্ষেত্রে ব্লকচেইনের প্রয়োগে, ব্লক আগমনের গতি বিটকয়েনের চেয়ে অনেক দ্রুত, নেটওয়ার্ক বিলম্ব একটি অ-তুচ্ছ ফ্যাক্টর হয়ে ওঠে

২. নিরাপত্তা নিশ্চয়তা: ক্রেডিট কার্ডের "৩ কর্মদিবস" লেনদেন প্রক্রিয়াকরণ নিশ্চয়তার মতো, ব্লকচেইনকে যাচাইযোগ্য সর্বসম্মতির সময় নিশ্চয়তা প্রদান করতে হবে

৩. তাত্ত্বিক ঘাটতি: বিটকয়েন হোয়াইটপেপারে বিদ্যমান গণনায় ত্রুটি রয়েছে এবং নেটওয়ার্ক বিলম্বের প্রভাব বিবেচনা করা হয়নি

বিদ্যমান পদ্ধতির সীমাবদ্ধতা

১. গুও এবং রেনের কাজ: যদিও একই ধরনের সেটআপ ব্যবহার করেছেন, তবে এটি শুধুমাত্র সীমাবদ্ধ বিলম্যের জন্য প্রযোজ্য, এবং সমস্যাটিকে শূন্য বিলম্যের ক্ষেত্রে সরলীকরণ করে, ব্লকচেইনের সম্পূর্ণ চলমান পরিসীমা ক্যাপচার করতে পারে না

२. ঐতিহ্যবাহী বিশ্লেষণ: বেশিরভাগ গবেষণা ব্লকচেইনের "নেতৃত্বের সুবিধা" (অবস্থা-ভিত্তিক) এর উপর দৃষ্টি নিবদ্ধ করে, সময়-ভিত্তিক সর্বসম্মতি বিশ্লেষণের পরিবর্তে

३. বিলম্ব মডেলিং অপর্যাপ্ত: বিদ্যমান কাজ নেটওয়ার্ক বিলম্বের স্পষ্ট চিত্রকরণ প্রদান করে না, বিশেষত অসীম বিলম্যের ক্ষেত্রে

গবেষণার প্রেরণা

লেখকরা প্রতিকূল দৃষ্টিকোণ থেকে ব্লকচেইন নিরাপত্তা সমস্যার পুনর্ব্যাখ্যা করেন: সর্বসম্মতির সময়কে সর্বোচ্চ ক্ষেত্রে প্রতিকূলের আক্রমণ ব্যর্থ হতে প্রয়োজনীয় সময় হিসাবে বোঝা। এই সময়-ভিত্তিক পদ্ধতি অ-মার্কোভ মডেল পরিচালনার জন্য আরও উপযুক্ত।

মূল অবদান

এই পেপারের প্রধান অবদানগুলি অন্তর্ভুক্ত করে:

१. প্রথম সম্পূর্ণ মডেলিং: স্পষ্ট নেটওয়ার্ক বিলম্ব এবং সর্বোচ্চ ক্ষেত্রে প্রতিকূলকে একসাথে বিবেচনা করে এমন প্রথম ব্লকচেইন সর্বসম্মতির সময় মডেল প্রস্তাব করা

२. বিটকয়েন নির্ভুল বিশ্লেষণ: সরলীকৃত বিটকয়েন মডেলের জন্য, সর্বসম্মতির সময় বিতরণের নির্ভুল ল্যাপ্লেস রূপান্তর এবং লেজ ক্ষয় হার প্রাপ্ত করা

३. সাধারণ তাত্ত্বিক ফলাফল: আরও সাধারণ মডেলের জন্য (সরবরাহ শৃঙ্খলের মতো উদীয়মান অ্যাপ্লিকেশনের জন্য প্রযোজ্য), সারিবদ্ধকরণ চক্র সংখ্যার মাধ্যমে চূড়ান্ত পাস সময় চিহ্নিত করা

४. সংখ্যাসূচক যাচাইকরণ: সিমুলেশনের মাধ্যমে তাত্ত্বিক ফলাফল যাচাই করা এবং "৬ ব্লক নিয়ম" এর রক্ষণশীল অনুমান প্রদান করা

५. নতুন বিশ্লেষণ কৌশল: সমস্যাটিকে Z-মূল্য র্যান্ডম ওয়াকের চূড়ান্ত পাস সমস্যায় রূপান্তরিত করা, স্থিতিশীল এবং অস্থিতিশীল M/M/1 সারির বৈশিষ্ট্য ব্যবহার করা

পদ্ধতির বিস্তারিত বিবরণ

কাজের সংজ্ঞা

ইনপুট:

  • প্যারামিটার p: প্রতিটি সময় পদক্ষেপে সৎ নোডের সম্ভাবনা
  • বিলম্ব বিতরণ ξ: নেটওয়ার্ক প্রচার বিলম্যের সম্ভাব্যতা বিতরণ
  • প্রাথমিক অবস্থা: সৎ শৃঙ্খল উচ্চতা H₀ এবং প্রতিকূল শৃঙ্খল উচ্চতা A₀

আউটপুট:

  • সর্বসম্মতির সময় τC: সৎ শৃঙ্খল উচ্চতা স্থায়ীভাবে প্রতিকূল শৃঙ্খল উচ্চতা অতিক্রম করার সময় বিন্দু

গাণিতিক সংজ্ঞা: τC:=inf⁡t∈N{t:Hs≥As,∀s≥t}\tau_C := \inf_{t \in \mathbb{N}} \{t : H_s \geq A_s, \forall s \geq t\}

অর্থাৎ Z-মূল্য প্রক্রিয়া Ht - At এর অ-ধনাত্মক অঞ্চলে চূড়ান্ত পাস সময়।

মডেল আর্কিটেকচার

१. সরলীকৃত বিটকয়েন মডেল (অধ্যায় २)

বিলম্ব মডেলিং:

  • {1, ∞} এ সমর্থিত অ-স্বাভাবিক সম্ভাব্যতা পরিমাপ ξ ব্যবহার করা
  • ξ = 1 শূন্য বিলম্যের সাথে সামঞ্জস্যপূর্ণ, ξ = ∞ অসীম বিলম্যের সাথে সামঞ্জস্যপূর্ণ
  • রক্ষণশীল অনুমান P(ξ = 1) = 0.9 (Decker এবং Wattenhofer এর অভিজ্ঞতামূলক ডেটার উপর ভিত্তি করে)

গতিশীল বিবর্তন: Ht=Ht−1+1ωt=11ξt=1H_t = H_{t-1} + \mathbb{1}_{\omega_t=1}\mathbb{1}_{\xi_t=1}At=At−1+1ωt=0A_t = A_{t-1} + \mathbb{1}_{\omega_t=0}

যেখানে ωt ~ Ber(p) স্বাধীন সমানভাবে বিতরণকৃত।

সারিবদ্ধকরণ তত্ত্ব সংযোগ: Qt := max(At - Ht, -1) সংজ্ঞায়িত করুন, পয়সন পয়েন্ট প্রক্রিয়ার মাধ্যমে এম্বেড করুন, Qt এর বৃদ্ধি M/M/1 সারিতে সংযুক্ত করা যায়:

  • আগমন হার: λ = 1 - p
  • সেবা হার: μ = pP(ξ = 1)
  • লোড: ρ = λ/μ = (1-p)/(pP(ξ=1))

२. সাধারণ মডেল (অধ্যায় ३)

র্যান্ডম বৃদ্ধি প্রক্রিয়া:

  • (ωt) i.i.d. Ber(p) ক্রম
  • (ξt) i.i.d. ℕ-মূল্য র্যান্ডম ভেরিয়েবল ক্রম (সীমিত গড়)
  • দুটি ক্রম স্বাধীন

সৎ নোড নিয়ম (নাকামোটো নিয়ম):

  • নতুন সৎ শীর্ষবিন্দু G(t-ξt)+ এ সৎ সাবগ্রাফের সবচেয়ে দূরবর্তী (এবং সূচক সর্বনিম্ন) শীর্ষবিন্দুতে সংযুক্ত হয়

প্রতিকূল নোড নিয়ম (সর্বোচ্চ ক্ষেত্রে):

  • প্রতিটি প্রতিকূল পাতার জন্য, একটি প্রতিকূল শীর্ষবিন্দু যোগ করুন
  • প্রতিটি সৎ শীর্ষবিন্দুর জন্য, যদি এর প্যারেন্ট নোড কোন প্রতিকূল সন্তান নোড না থাকে, তবে প্যারেন্ট নোডে একটি প্রতিকূল শীর্ষবিন্দু যোগ করুন

সারিবদ্ধকরণ কাঠামো:

  • প্রতিকূল শৃঙ্খল বৃদ্ধি আগমন হিসাবে দেখা যায়
  • সৎ শৃঙ্খল বৃদ্ধি সেবা হিসাবে দেখা যায়
  • সেবা সময় Rp সন্তুষ্ট করে: P(Rp>r)=∏i=1r(1−p+pP(ξ>i))P(R_p > r) = \prod_{i=1}^r (1 - p + pP(\xi > i))

প্রযুক্তিগত উদ্ভাবন পয়েন্ট

१. সারিবদ্ধকরণ তত্ত্ব রূপান্তর

ব্লকচেইন সর্বসম্মতি সমস্যাটিকে "অ-থামা সেবা সার্ভার" সারিবদ্ধকরণ সিস্টেমের চূড়ান্ত পাস সময় সমস্যায় রূপান্তরিত করা, এটি একটি অ-মান সারিবদ্ধকরণ মডেল।

२. M/M/1 সারি চক্র বিয়োজন

স্থিতিশীল এবং অস্থিতিশীল M/M/1 সারির চক্র দৈর্ঘ্য বিতরণ ব্যবহার করা:

স্থিতিশীল সারি (μ > λ):

  • ব্যস্ত সময়কাল ল্যাপ্লেস রূপান্তর: B(s)=λ+μ+s−(λ+μ+s)2−4λμ2λB(s) = \frac{\lambda + \mu + s - \sqrt{(λ+μ+s)^2 - 4λμ}}{2λ}
  • চক্র দৈর্ঘ্য রূপান্তর: Φ(s)=λλ+s⋅B(s)\Phi(s) = \frac{\lambda}{\lambda+s} \cdot B(s)

অস্থিতিশীল সারি (λ > μ):

  • শর্তসাপেক্ষ সীমিত চক্রের ল্যাপ্লেস রূপান্তর: Γ(s)=μμ+s⋅B(s)\Gamma(s) = \frac{\mu}{\mu+s} \cdot B(s)

३. প্রধান উপপাদ্য (বিটকয়েন মডেল)

উপপাদ্য २.३: সর্বসম্মতির সময়ের ল্যাপ্লেস রূপান্তর: τC∗(s)=(ρΨ(s)+1−ρ)⋅1−ρ1−ρκ(s)\tau_C^*(s) = (\rho\Psi(s) + 1-\rho) \cdot \frac{1-\rho}{1-\rho\kappa(s)}

যেখানে κ(s)=(1−p^)Γ(s)1−p^Φ(s)\kappa(s) = \frac{(1-\hat{p})\Gamma(s)}{1-\hat{p}\Phi(s)}, p^=μλ+μ\hat{p} = \frac{\mu}{\lambda+\mu}

লেজ ক্ষয় (উপপাদ্য २.४ এবং অনুসিদ্ধান্ত २.५): একটি অনন্য প্রধান মেরু -s** বিদ্যমান, যেমন: P(τC>x)∼c⋅e−xs∗∗ as x→∞P(\tau_C > x) \sim c \cdot e^{-xs^{**}} \text{ as } x \to \infty

४. সাধারণ মডেল ফলাফল

উপপাদ্য ३.२: p > pc (সমালোচনামূলক সম্ভাবনা) এর জন্য, সংজ্ঞায়িত করুন:

  • S(n) = ∑ᵢ₌₁ⁿ X(i): প্রথম n চক্রের ছদ্ম-সেবা সমাপ্তি সংখ্যা
  • Y(n): n-তম চক্রের সর্বাধিক সারি দৈর্ঘ্য
  • T: প্রক্রিয়া B(n) = S(n) - Y(n) এর অ-ধনাত্মক অঞ্চলে চূড়ান্ত পাস সময়

ধ্রুবক C₁, C₂ বিদ্যমান যেমন: C1⋅γt≤P(T≥t)≤C2⋅γtC_1 \cdot \gamma^t \leq P(T \geq t) \leq C_2 \cdot \gamma^t

যেখানে γ=1−j01−j0⋅z∗<1\gamma = \frac{1-j_0}{1-j_0 \cdot z_*} < 1, z* সমীকরণের অনন্য সমাধান।

পরীক্ষামূলক সেটআপ

ডেটাসেট এবং প্যারামিটার নির্বাচন

অভিজ্ঞতামূলক ডেটা ভিত্তি: १. Decker এবং Wattenhofer ५: ৯৫% ব্লক সৃষ্টির ৪০ সেকেন্ডের মধ্যে সম্পূর্ণভাবে প্রচারিত হয় २. Bowden ইত্যাদি २: ३.९% ব্লক পূর্ববর্তী ব্লকের ৪০ সেকেন্ডের মধ্যে আসে ३. রক্ষণশীল নির্বাচন: P(ξ = 1) = 0.9

সময় স্কেল:

  • সময় পুনঃস্কেল করুন যাতে λ + μ = 1/10 মিনিট
  • বিটকয়েনের গড় ব্লক ব্যবধান সময়ের সাথে সামঞ্জস্যপূর্ণ

সিমুলেশন সেটআপ

প্যারামিটার পরিসীমা:

  • p ∈ 0.72, 1, পদক্ষেপ 0.01
  • নির্বাচন মানদণ্ড: প্রত্যাশিত সর্বসম্মতির সময় ≤ 60 মিনিট

সিমুলেশন পদ্ধতি:

  • প্রতিটি p মানের জন্য, সিস্টেম সিমুলেট করুন যতক্ষণ না 1000 ব্লক H(·) > A(·) সন্তুষ্ট করে
  • চূড়ান্ত পাস সময়ের প্রক্সি হিসাবে সেই ট্র্যাজেক্টরি ব্যবহার করুন
  • প্রতিটি p মান স্বাধীনভাবে 25,000 বার সিমুলেট করুন

মূল্যায়ন মেট্রিক্স

१. গড় সর্বসম্মতির সময়: EτC २. লেজ সম্ভাবনা: P(τC > 60 মিনিট) ३. অভিজ্ঞতামূলক বিতরণ: সম্পূর্ণ সর্বসম্মতির সময় বিতরণ ४. তাত্ত্বিক যাচাইকরণ: অনুসিদ্ধান্ত २.५ দ্বারা পূর্বাভাসিত ক্ষয় হারের সাথে তুলনা

পরীক্ষামূলক ফলাফল

প্রধান ফলাফল

१. গড় সর্বসম্মতির সময় (চিত্র २a)

  • p ≥ 0.72: প্রত্যাশিত সর্বসম্মতির সময় ≤ 60 মিনিট
  • p বৃদ্ধির সাথে সাথে, গড় সর্বসম্মতির সময় উল্লেখযোগ্যভাবে হ্রাস পায়
  • বক্ররেখা অ-রৈখিক হ্রাস প্রবণতা দেখায়

२. লেজ সম্ভাবনা (চিত্র २b)

  • p ≥ 0.84: সর্বসম্মতির সময় 60 মিনিট অতিক্রম করার সম্ভাবনা ≤ 10%
  • p ≥ 0.89: সর্বসম্মতির সময় 60 মিনিট অতিক্রম করার সম্ভাবনা ≤ 5%
  • নির্দেশ করে যে "৬ ব্লক নিয়ম" অত্যন্ত রক্ষণশীল সিস্টেম প্যারামিটার অনুমান প্রয়োজন

३. অভিজ্ঞতামূলক বিতরণ যাচাইকরণ (চিত্র ३)

p ∈ {0.72, 0.84, 0.89} এর জন্য বিস্তারিত বিশ্লেষণ:

  • নীল লাইন: 25,000 সিমুলেশনের অভিজ্ঞতামূলক বিতরণ
  • কমলা লাইন: অনুসিদ্ধান্ত २.५ দ্বারা পূর্বাভাসিত তাত্ত্বিক ক্ষয় হার
  • মূল আবিষ্কার: ঢাল ভালভাবে মিলে যায়, তাত্ত্বিক পূর্বাভাসের নির্ভুলতা যাচাই করে

তাত্ত্বিক গণনা ফলাফল

গড় সূত্র (অধ্যায় २.३): E[τC]=ρΨ′(0)+11−ρ(ρΓ′(0)+Ψ′(0))E[\tau_C] = \rho\Psi'(0) + \frac{1}{1-\rho}(\rho\Gamma'(0) + \Psi'(0))

এই অভিব্যক্তি চিত্র १ এর ইভেন্ট ক্রম থেকে সরাসরি উদ্ভূত হতে পারে।

প্রধান মেরু: উপপাদ্য २.४ প্রমাণ করে যে s** ∈ (0, s*) বিদ্যমান, বিশ্লেষণ ফাংশন দ্বারা: D(s)=(λ+s)(μ+s)−λp^B(s)(μ(1+ρ2)+(1+ρ)s)D(s) = (\lambda+s)(\mu+s) - \lambda\hat{p}B(s)(\mu(1+\rho^2) + (1+\rho)s)

ব্যবধান (-s*, 0) এ একটি অনন্য মূল x* বিদ্যমান, যা প্রধান মেরু -s** নির্ধারণ করে।

পরীক্ষামূলক আবিষ্কার

মূল অন্তর্দৃষ্টি

१. রক্ষণশীল অনুমান: বিটকয়েনের "৬ ব্লক নিয়ম" ব্যবহারে প্রতিকূলকে তার সমালোচনামূলক মান থেকে অনেক দূরে থাকতে প্রয়োজন, এটি অত্যন্ত রক্ষণশীল २. বিলম্য প্রভাব: নেটওয়ার্ক বিলম্য উল্লেখযোগ্যভাবে সর্বসম্মতির সময় প্রভাবিত করে, কিন্তু p বড় হলে প্রভাব নিয়ন্ত্রণযোগ্য ३. তাত্ত্বিক-ব্যবহারিক সামঞ্জস্য: ল্যাপ্লেস রূপান্তরের তাত্ত্বিক পূর্বাভাস সিমুলেশন ফলাফলের সাথে অত্যন্ত সামঞ্জস্যপূর্ণ

সংখ্যাসূচক উদাহরণ

p = 0.72 এর জন্য (প্রত্যাশিত সর্বসম্মতির সময় 60 মিনিটের কাছাকাছি সমালোচনামূলক মান):

  • এখনও 60 মিনিট অতিক্রম করে এমন নমুনার একটি উল্লেখযোগ্য অনুপাত রয়েছে
  • বিতরণ স্পষ্ট ভারী-লেজ বৈশিষ্ট্য দেখায়

p = 0.89 এর জন্য (5% লেজ সম্ভাবনা):

  • বেশিরভাগ নমুনা 60 মিনিটের অনেক নিচে
  • বিতরণ আরও কেন্দ্রীভূত, ছোট বৈচিত্র্য

সম্পর্কিত কাজ

প্রধান সম্পর্কিত গবেষণা

१. গুও এবং রেন १२

  • সাদৃশ্য: ব্লকচেইন নিরাপত্তা অধ্যয়নের জন্য একই ধরনের সেটআপ ব্যবহার করেন
  • সীমাবদ্ধতা:
    • শুধুমাত্র সীমাবদ্ধ বিলম্যের জন্য প্রযোজ্য
    • নেটওয়ার্ক বিলম্যের স্পষ্ট চিত্রকরণ প্রদান করে না
    • সমস্যাটিকে শূন্য বিলম্যের ক্ষেত্রে সরলীকরণ করে (সমস্ত সৎ ব্লক পরবর্তী ব্লক সৃষ্টির আগে সমস্ত নোড দ্বারা গৃহীত হয়)
  • এই পেপারের সুবিধা: অ-তুচ্ছ অসীম বিলম্য পরিচালনা করে, চলমানের বিস্তৃত পরিসীমার জন্য প্রযোজ্য

२. Dey এবং Gopalan ७

  • প্রতিকূল ছাড়াই সর্বসম্মতির সময় অধ্যয়ন করেন
  • সৎ সাবগ্রাফের একক-সমাপ্তি (one-endedness) প্রমাণ করেন
  • এই পেপার এই ভিত্তিতে প্রতিকূল মডেল প্রবর্তন করে

३. Dembo ইত্যাদি ६

  • "সবকিছু একটি প্রতিযোগিতা এবং নাকামোটো সর্বদা জয়ী হয়" প্রস্তাব করেন
  • এই পেপার দ্বারা গৃহীত সর্বোচ্চ ক্ষেত্রে প্রতিকূল মডেল সংজ্ঞায়িত করেন
  • এই পেপার নেটওয়ার্ক বিলম্য অন্তর্ভুক্ত করতে প্রসারিত করে

४. ঐতিহ্যবাহী ব্লকচেইন নিরাপত্তা বিশ্লেষণ

  • নাকামোটো হোয়াইটপেপার १७: মূল গণনায় ত্রুটি রয়েছে, নেটওয়ার্ক বিলম্য বিবেচনা করে না
  • Gaži ইত্যাদি ९: বিটকয়েনের সামঞ্জস্য সীমানা অধ্যয়ন করেন, কিন্তু সময় মাত্রা বিবেচনা করেন না

প্রযুক্তিগত স্তরের পার্থক্য

র্যান্ডম ওয়াক প্রকার

  • বিদ্যমান কাজ: জাম্প-মুক্ত (skip-free) র্যান্ডম ওয়াক, শূন্য বিলম্যে সরলীকরণ করা যায়
  • এই পেপার: অ-জাম্প-মুক্ত, বিলম্য দ্বারা জটিল গতিশীলতা

বিশ্লেষণ সরঞ্জাম

  • ঐতিহ্যবাহী পদ্ধতি: অবস্থা-ভিত্তিক নেতৃত্ব সুবিধা বিশ্লেষণ
  • এই পেপারের পদ্ধতি: সময়-ভিত্তিক চূড়ান্ত পাস বিশ্লেষণ, সারিবদ্ধকরণ তত্ত্ব কৌশল ব্যবহার করে

সিদ্ধান্ত এবং আলোচনা

প্রধান সিদ্ধান্ত

१. তাত্ত্বিক অবদান:

  • অ-তুচ্ছ নেটওয়ার্ক বিলম্যের অধীনে নাকামোটো ব্লকচেইন সর্বসম্মতির সময়ের প্রথম স্পষ্ট চিত্রকরণ
  • সর্বসম্মতির সময়ের ল্যাপ্লেস রূপান্তর এবং সূচক লেজ ক্ষয় প্রমাণ করা

२. ব্যবহারিক তাৎপর্য:

  • "৬ ব্লক নিয়ম" p ≥ 0.72 এ প্রত্যাশিত সর্বসম্মতির সময় ≤ 60 মিনিট
  • 10% এবং 5% ব্যর্থতার সম্ভাবনা অর্জনের জন্য, p ≥ 0.84 এবং p ≥ 0.89 প্রয়োজন
  • এই ফলাফলগুলি নির্দেশ করে যে ব্যবহারিক নিয়মগুলি অত্যন্ত রক্ষণশীল

३. পদ্ধতিগত উদ্ভাবন:

  • ব্লকচেইন সমস্যাটিকে সারিবদ্ধকরণ চক্র বিশ্লেষণে রূপান্তরিত করা
  • M/M/1 সারির স্থিতিশীল/অস্থিতিশীল চক্র বিয়োজনের মাধ্যমে নির্ভুল ফলাফল প্রাপ্ত করা

সীমাবদ্ধতা

१. সময় স্কেল রূপান্তর সমস্যা

মূল চ্যালেঞ্জ: পেপারটি সারিবদ্ধকরণ চক্রের সাব-স্যাম্পলিং সময় স্কেলে ফলাফল প্রাপ্ত করে, কিন্তু মূল সময় স্কেলে স্পষ্টভাবে রূপান্তরিত করতে পারে না

কারণ:

  • সর্বসম্মতির সময় অতিক্রম করার শর্তে, সারিবদ্ধকরণ চক্র কাঠামো আর স্বাধীন নয়
  • বড় X এবং বড় Y দীর্ঘ নিষ্ক্রিয় সময়কাল এবং ব্যস্ত সময়কালের সাথে ইতিবাচকভাবে সম্পর্কিত
  • এমনকি প্রত্যাশা অর্থে Wald সমতা সহজভাবে প্রয়োগ করা যায় না

२. মডেল সরলীকরণ

সরলীকৃত বিটকয়েন মডেল:

  • বিলম্য শুধুমাত্র {1, ∞} এ সমর্থিত, যথেষ্ট সূক্ষ্ম নয়
  • প্রকৃত নেটওয়ার্ক বিলম্য বিতরণ আরও জটিল

সাধারণ মডেল:

  • প্রতিটি সময় পদক্ষেপে সর্বাধিক 1টি ব্লক আগমন
  • প্রকৃতপক্ষে একাধিক ব্লক একযোগে আসতে পারে

३. তাত্ত্বিক-ব্যবহারিক ব্যবধান

  • সারিবদ্ধকরণ চক্র সংখ্যার বিতরণ প্রাপ্ত হয়েছে, কিন্তু প্রকৃত সময়ে রূপান্তর আরও কাজ প্রয়োজন
  • উদীয়মান অ্যাপ্লিকেশনের জন্য (যেমন সরবরাহ শৃঙ্খল), প্যারামিটার অনুমান অনির্ভুল হতে পারে

ভবিষ্যত দিকনির্দেশনা

পেপারটি তিনটি গুরুত্বপূর্ণ ভবিষ্যত গবেষণা দিক স্পষ্টভাবে প্রস্তাব করে:

१. বড় বিচ্যুতি পথ বিশ্লেষণ

প্রশ্ন: দীর্ঘ সর্বসম্মতির সময়ের দিকে পরিচালিত সবচেয়ে সম্ভাব্য পথ কী?

চ্যালেঞ্জ:

  • ঐতিহ্যবাহী বড় বিচ্যুতি বিশ্লেষণ একক সারিবদ্ধকরণ চক্রের মধ্যে সঞ্চালিত হয়
  • এই সমস্যা একাধিক সারিবদ্ধকরণ চক্র জুড়ে বিস্তৃত, Y(n) পদ বিশ্লেষণ জটিল করে

তাৎপর্য: দীর্ঘ সর্বসম্মতির সময়ের দিকে পরিচালিত ইভেন্টের প্রকার বোঝা, ব্লকচেইন অপারেশন নীতি গাইড করা

२. সময় স্কেল রূপান্তর

প্রশ্ন: সারিবদ্ধকরণ চক্র সময় স্কেল থেকে মূল সময় স্কেলে কীভাবে রূপান্তরিত করতে হয়?

প্রযুক্তিগত কঠিনতা:

  • প্রথম k চক্র এবং পরবর্তী চক্রের মধ্যে নির্ভরতা সম্পর্ক
  • চক্র দৈর্ঘ্য বিতরণ পরিচিত, কিন্তু শর্তসাপেক্ষ বিতরণ পরিচালনা করা কঠিন

গুরুত্ব: ব্যবহারিক প্রয়োগের জন্য মূল সময় স্কেলে পূর্বাভাস প্রয়োজন

३. অ-জাম্প-মুক্ত সম্প্রসারণ

প্রশ্ন: প্রতিটি সময় পদক্ষেপে একাধিক ব্লক আগমনের ক্ষেত্রে কীভাবে প্রসারিত করতে হয়?

অসুবিধা:

  • অ-জাম্প-মুক্ত র্যান্ডম ওয়াকের চূড়ান্ত পাস সমস্যা একটি বিখ্যাত কঠিন সমস্যা
  • এমনকি এই পেপারের জাম্প-মুক্ত মডেলের জন্যও, নির্ভুল ফলাফল প্রাপ্ত করা কঠিন

প্রয়োগ: আরও মোটা-দানাদার সময় স্কেলের ব্লকচেইন বিমূর্তকরণ বিকাশ, নিরাপত্তা মূল্যায়ন

গভীর মূল্যায়ন

সুবিধা

१. তাত্ত্বিক কঠোরতা

  • গণিতের ভিত্তি দৃঢ়: সারিবদ্ধকরণ তত্ত্ব, সম্ভাব্যতা তত্ত্ব এবং র্যান্ডম প্রক্রিয়া তত্ত্ব সম্পূর্ণভাবে ব্যবহার করা
  • প্রমাণ সম্পূর্ণ: মৌলিক অনুমান থেকে প্রধান উপপাদ্য পর্যন্ত, যুক্তির শৃঙ্খল স্পষ্ট
  • প্রযুক্তিগত উদ্ভাবন: ব্লকচেইন সমস্যাটিকে সারিবদ্ধকরণ সমস্যায় রূপান্তরিত করা একটি চতুর অন্তর্দৃষ্টি

२. ব্যবহারিক প্রাসঙ্গিকতা

  • প্যারামিটার নির্বাচন প্রমাণ-ভিত্তিক: অভিজ্ঞতামূলক ডেটার উপর ভিত্তি করে (Decker এবং Wattenhofer, Bowden ইত্যাদি)
  • রক্ষণশীল অনুমান: P(ξ = 1) = 0.9 এর নির্বাচন প্রকৌশল সংরক্ষণশীলতা প্রতিফলিত করে
  • কার্যকর সুপারিশ: নির্দিষ্ট p মান থ্রেশহোল্ড প্রদান করা

३. পরীক্ষামূলক সম্পূর্ণতা

  • বড় আকারের সিমুলেশন: 25,000 স্বাধীন সিমুলেশন পরিসংখ্যানগত নির্ভরযোগ্যতা নিশ্চিত করে
  • তাত্ত্বিক যাচাইকরণ: অভিজ্ঞতামূলক বিতরণ এবং তাত্ত্বিক পূর্বাভাসের মিলন মডেল সঠিকতা যাচাই করে
  • বহু-কোণ বিশ্লেষণ: গড়, লেজ সম্ভাবনা, সম্পূর্ণ বিতরণ বহুমাত্রিক মূল্যায়ন

४. লেখার স্পষ্টতা

  • কাঠামো যুক্তিসঙ্গত: সরলীকৃত মডেল থেকে সাধারণ মডেলে ক্রমবর্ধমান প্রসার
  • চিত্র স্বজ্ঞাত: চিত্র १ এবং ४ সারিবদ্ধকরণ চক্র কাঠামো স্পষ্টভাবে প্রদর্শন করে
  • প্রতীক সামঞ্জস্যপূর্ণ: গাণিতিক প্রতীক ব্যবহার নিয়ম অনুসরণ করে

অপূর্ণতা

१. মডেল সীমাবদ্ধতা

  • বিলম্য মডেল অত্যন্ত সরলীকৃত: {1, ∞} সমর্থনের বিলম্য বিতরণ যথেষ্ট বাস্তবসম্মত নয়
  • প্রতিকূল মডেল: যদিও সর্বোচ্চ ক্ষেত্রে, তবে সম্ভবত অত্যন্ত নিরাশাবাদী
  • একক ব্লক অনুমান: প্রতিটি সময় পদক্ষেপে সর্বাধিক একটি ব্লকের অনুমান প্রয়োগের পরিসীমা সীমিত করে

२. ফলাফল সম্পূর্ণতা

  • সময় স্কেল অমীমাংসিত: সারিবদ্ধকরণ চক্র থেকে প্রকৃত সময়ে রূপান্তর একটি প্রধান অমীমাংসিত সমস্যা
  • সাধারণ মডেল ফলাফল দুর্বল: উপপাদ্য ३.२ শুধুমাত্র সীমানা প্রদান করে, বিটকয়েন মডেলের মতো নির্ভুল নয়
  • প্যারামিটার সংবেদনশীলতা: ξ বিতরণ আকৃতির ফলাফলের উপর প্রভাব যথেষ্টভাবে আলোচনা করা হয়নি

३. পরীক্ষামূলক ডিজাইন

  • প্যারামিটার পরিসীমা সীমিত: শুধুমাত্র p ≥ 0.72 এর ক্ষেত্রে বিবেচনা করা
  • তুলনা অনুপস্থিত: গুও এবং রেনের পদ্ধতির সাথে সরাসরি সংখ্যাসূচক তুলনা নেই
  • উদীয়মান অ্যাপ্লিকেশন যাচাইকরণ অপর্যাপ্ত: সরবরাহ শৃঙ্খল ইত্যাদি পরিস্থিতির প্যারামিটার প্রকৃতপক্ষে পরীক্ষা করা হয়নি

४. তাত্ত্বিক গভীরতা

  • বড় বিচ্যুতি বিশ্লেষণ অনুপস্থিত: অধ্যায় ५.१ এর অন্তর্ভুক্তি-বর্জন বিশ্লেষণ শুধুমাত্র k=३ পর্যন্ত প্রদর্শিত হয়
  • সর্বোত্তমতা অনালোচিত: প্রাপ্ত সীমানা কঠোর কিনা তা প্রমাণ করা হয়নি
  • অ্যাসিম্পটোটিক বৈশিষ্ট্য: p → 1 বা p → pc এর সময় সীমাবদ্ধ আচরণ যথেষ্টভাবে গবেষণা করা হয়নি

প্রভাব

१. একাডেমিক অবদান

  • যুগান্তকারী কাজ: অ-তুচ্ছ বিলম্যের অধীনে ব্লকচেইন সর্বসম্মতির সময় বিশ্লেষণে প্রথম
  • পদ্ধতিগত মূল্য: সারিবদ্ধকরণ তত্ত্ব দৃষ্টিভঙ্গি ব্লকচেইন বিশ্লেষণের জন্য নতুন সরঞ্জাম প্রদান করে
  • তাত্ত্বিক ভিত্তি: "৬ ব্লক নিয়ম" এর জন্য তাত্ত্বিক সমর্থন প্রদান করে

२. ব্যবহারিক মূল্য

  • প্যারামিটার নির্দেশনা: ব্লকচেইন অপারেটরদের p মান নির্বাচনের জন্য পরিমাণগত ভিত্তি প্রদান করে
  • ঝুঁকি মূল্যায়ন: লেজ সম্ভাবনা বিশ্লেষণ ঝুঁকি ব্যবস্থাপনায় সহায়তা করে
  • নতুন অ্যাপ্লিকেশন ডিজাইন: সরবরাহ শৃঙ্খল ইত্যাদি উদীয়মান অ্যাপ্লিকেশনের ব্লকচেইন ডিজাইনের জন্য তাত্ত্বিক ভিত্তি প্রদান করে

३. পুনরুৎপাদনযোগ্যতা

  • মডেল স্পষ্ট: গাণিতিক মডেল সংজ্ঞা স্পষ্ট, বাস্তবায়ন সহজ
  • সিমুলেশন পুনরাবৃত্তিযোগ্য: সিমুলেশন সেটআপ বিস্তারিত, ফলাফল যাচাইযোগ্য
  • কোড উপলব্ধতা: যদিও পেপার কোড প্রদান করে না, অ্যালগরিদম বর্ণনা বাস্তবায়নের জন্য যথেষ্ট

४. সীমাবদ্ধতার প্রভাব

  • সময় স্কেল সমস্যা: ফলাফলের সরাসরি প্রয়োগ সীমিত করে
  • মডেল সরলীকরণ: প্রকৃত সিস্টেমের জটিলতা কম মূল্যায়ন করতে পারে
  • প্যারামিটার নির্ভরতা: ফলাফল P(ξ = 1) নির্বাচনের প্রতি সংবেদনশীল

প্রযোজ্য পরিস্থিতি

१. আদর্শ প্রয়োগ পরিস্থিতি

  • বিটকয়েন-ধরনের সিস্টেম: ব্লক আগমন ধীর, নেটওয়ার্ক অপেক্ষাকৃত স্থিতিশীল
  • তাত্ত্বিক বিশ্লেষণ: সর্বসম্মতির সময় তাত্ত্বিক নিশ্চয়তা প্রয়োজন এমন পরিস্থিতি
  • প্যারামিটার ডিজাইন: নতুন ব্লকচেইন সিস্টেমের প্যারামিটার নির্বাচন

२. সমন্বয় প্রয়োজন এমন পরিস্থিতি

  • উচ্চ থ্রুপুট ব্লকচেইন: একাধিক ব্লক একযোগে আগমনে প্রসারিত করতে হবে
  • জটিল নেটওয়ার্ক টপোলজি: আরও সূক্ষ্ম বিলম্য মডেলিং প্রয়োজন
  • গতিশীল প্রতিকূল: প্রকৃত প্রতিকূল সর্বোচ্চ ক্ষেত্রে নাও হতে পারে

३. অপ্রযোজ্য পরিস্থিতি

  • অ-নাকামোটো সর্বসম্মতি: PoS, PBFT ইত্যাদি ভিন্ন সর্বসম্মতি প্রক্রিয়া
  • অনুমোদিত শৃঙ্খল: প্রতিকূল মডেল প্রযোজ্য নয়
  • চরম নেটওয়ার্ক অবস্থা: বিলম্য বিতরণ অনুমানের সাথে বড় পার্থক্য

মূল সংদর্ভ (গুরুত্বপূর্ণ সাহিত্য)

१. ५ Decker & Wattenhofer (२०१३): বিটকয়েন নেটওয়ার্কে তথ্য প্রচার - নেটওয়ার্ক বিলম্যের অভিজ্ঞতামূলক ডেটা প্রদান করে २. ६ Dembo ইত্যাদি (२०२०): সবকিছু একটি প্রতিযোগিতা এবং নাকামোটো সর্বদা জয়ী হয় - এই পেপারের প্রতিকূল মডেল সংজ্ঞায়িত করে ३. ७ Dey & Gopalan (२०२२): ব্লকচেইন ডিজাইনের জন্য একটি অ্যাসিম্পটোটিক মানদণ্ড - প্রতিকূল ছাড়াই ভিত্তি কাজ ४. १२ Guo & Ren (२०२२): বিটকয়েনের বিলম্য-নিরাপত্তা বিশ্লেষণ সহজ করা - সবচেয়ে ঘনিষ্ঠ সম্পর্কিত কাজ ५. १७ Nakamoto (२००८): বিটকয়েন: একটি পিয়ার-টু-পিয়ার ইলেকট্রনিক নগদ সিস্টেম - মূল বিটকয়েন হোয়াইটপেপার

সারসংক্ষেপ

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

পেপারের প্রধান মূল্য হল: (१) "৬ ব্লক নিয়ম" এর জন্য তাত্ত্বিক ভিত্তি প্রদান করা, এর সংরক্ষণশীলতা প্রকাশ করা; (२) সারিবদ্ধকরণ তত্ত্ব দৃষ্টিভঙ্গি প্রবর্তন করা, ব্লকচেইন বিশ্লেষণের জন্য নতুন দিক খোলা; (३) নেটওয়ার্ক বিলম্য বিবেচনা করা, প্রকৃত সিস্টেমের কাছাকাছি।

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

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

সামগ্রিকভাবে, এটি একটি প্রযুক্তিগতভাবে কঠোর, তাত্ত্বিকভাবে উদ্ভাবনী এবং ব্যবহারিকভাবে প্রাসঙ্গিক উৎকৃষ্ট পেপার, যা ব্লকচেইন সর্বসম্মতি বিশ্লেষণের জন্য নতুন তাত্ত্বিক সরঞ্জাম এবং গভীর অন্তর্দৃষ্টি প্রদান করে।