1. ভূমিকা
বিটকয়েনের নিরাপত্তা মডেলটি ডাবল-স্পেন্ডিং প্রতিরোধের উপর নির্ভরশীল—একই ডিজিটাল কয়েন দুইবার ব্যয় করার দুষ্টুমিপূর্ণ কাজ। এই গবেষণাপত্রটি একজন আক্রমণকারীর হ্যাশরেটের উপর ভিত্তি করে ডাবল-স্পেন্ডিং আক্রমণের একটি পরিমাণগত, স্টোকাস্টিক বিশ্লেষণ প্রদান করে। এটি সাতোশি নাকামোটোর মূল শ্বেতপত্রে উপস্থাপিত মৌলিক পরিসংখ্যানগত মডেলটিকে স্পষ্ট করে এবং প্রসারিত করে, গুণগত বোঝাপড়া থেকে সুনির্দিষ্ট সম্ভাব্যতা কাঠামোর দিকে অগ্রসর হয়।
2. ব্লকচেইন এবং শাখা নির্বাচন
বিটকয়েন ব্লকচেইন হল ব্লকের একটি গাছ, যেখানে প্রতিটি ব্লক তার পূর্বসূরিকে উল্লেখ করে। নেটওয়ার্ক ঐকমত্য দীর্ঘতম শৃঙ্খল (বা সর্বাধিক ক্রমবর্ধিত প্রুফ-অফ-ওয়ার্ক যুক্ত শৃঙ্খল) বৈধ ইতিহাস হিসাবে নির্বাচন করে। অস্থায়ী মতবিরোধ (ফর্ক) সমাধান হয় যখন একটি নতুন ব্লক একটি শাখাকে প্রসারিত করে, তাকে দীর্ঘতর করে তোলে। এই প্রক্রিয়াটি ডাবল-স্পেন্ডিং আক্রমণের যুদ্ধক্ষেত্র, যেখানে একজন আক্রমণকারী গোপনে একটি বিকল্প শৃঙ্খল গড়ে তোলে।
3. ধরা পড়ার খেলা
এই বিভাগটি মূল আক্রমণের দৃশ্যকল্প মডেল করে: মোট নেটওয়ার্ক হ্যাশরেটের একটি ভগ্নাংশ q সহ একজন আক্রমণকারী z ব্লক পিছিয়ে থাকার পরে সৎ শৃঙ্খলটিকে (হ্যাশরেট p = 1 - q সহ) অতিক্রম করার চেষ্টা করে। প্রক্রিয়াটিকে একটি দ্বিপদী এলোমেলো পদচারণা হিসাবে মডেল করা হয়। z ব্লকের ঘাটতি থেকে আক্রমণকারীর কখনও ধরা পড়ার সম্ভাবনা নিম্নরূপে উদ্ভূত হয়েছে:
$P = \begin{cases} 1 & \text{if } q \ge p \\ (q/p)^z & \text{if } q < p \end{cases}$
এই মার্জিত ফলাফলটি দেখায় যে ৫০% এর কম হ্যাশরেট (q < 0.5) সহ একজন আক্রমণকারীর জন্য, সাফল্যের সম্ভাবনা নিশ্চিতকরণের সংখ্যা z এর সাথে সূচকীয়ভাবে হ্রাস পায়।
4. নিশ্চিতকরণের জন্য অপেক্ষা
বিশ্লেষণটি ব্যবসায়ীর দৃষ্টিকোণে স্থানান্তরিত হয়: একটি লেনদেনকে নিরাপদ বিবেচনা করার আগে কতগুলি নিশ্চিতকরণ (n) অপেক্ষা করা উচিত? গবেষণাপত্রটি গণনা করে যে ব্যবসায়ী n নিশ্চিতকরণ দেখার পরেও একজন আক্রমণকারী সফল হতে পারে কিনা তার সম্ভাবনা। এতে চলমান প্রতিযোগিতাকে বিবেচনায় নিয়ে সৎ নেটওয়ার্ক n ব্লক খুঁজে পাওয়ার আগে আক্রমণকারী n+1 ব্লক খুঁজে পাওয়ার সম্ভাবনা গণনা করা জড়িত। ফলস্বরূপ সম্ভাবনাগুলি প্রস্তাবিত নিশ্চিতকরণ গভীরতার ভিত্তি প্রদান করে।
5. গ্রাফ এবং বিশ্লেষণ
গবেষণাপত্রটি গ্রাফিকাল বিশ্লেষণ উপস্থাপন করে যা বিভিন্ন আক্রমণকারী হ্যাশরেট (q) এর জন্য ব্যবসায়ী নিশ্চিতকরণের সংখ্যা (n) এর বিপরীতে সফল ডাবল-স্পেন্ডের সম্ভাবনা প্লট করে। দৃশ্যায়িত মূল অন্তর্দৃষ্টিগুলির মধ্যে রয়েছে:
q=0.1(১০% হ্যাশরেট) এর জন্য, সাফল্যের সম্ভাবনা মাত্র ৫ নিশ্চিতকরণের পরে ০.১% এর নিচে নেমে যায়।q=0.3এর জন্য, একই নিরাপত্তা স্তর অর্জন করতে প্রায় ২৪টি নিশ্চিতকরণ প্রয়োজন।qযখন ০.৫ এর কাছাকাছি আসে, প্রয়োজনীয় নিশ্চিতকরণগুলি নাটকীয়ভাবে বৃদ্ধি পায়, "৫১% আক্রমণ" সীমারেখাটি চিত্রিত করে।
ঝুঁকি মূল্যায়ন এবং ব্যবহারিক নিশ্চিতকরণ নীতি নির্ধারণের জন্য এই গ্রাফগুলি অত্যন্ত গুরুত্বপূর্ণ।
6. ডাবল-স্পেন্ডিং এর অর্থনীতি
গবেষণাপত্রটি একটি অর্থনৈতিক মডেল চালু করে, আক্রমণটিকে পরিবর্তনশীল পণ সহ জুয়াড়ির ধ্বংস সমস্যা হিসাবে চিত্রিত করে। আক্রমণকারীর সম্ভাব্য পুরস্কার হল সেই লেনদেনের মূল্য যা সে ডাবল-স্পেন্ড করার লক্ষ্য রাখে। বিশ্লেষণটি আক্রমণকারীর জন্য আক্রমণের প্রত্যাশিত মান বিবেচনা করে, এই সিদ্ধান্তে পৌঁছেছে যে চুরি করা পণ্যের মূল্য ব্লক পুরস্কারের তুলনায় অত্যন্ত উচ্চ না হলে, q < 0.5 সহ একজন যুক্তিসঙ্গত আক্রমণকারী সৎভাবে খনন করাকে ডাবল-স্পেন্ড করার চেষ্টার চেয়ে বেশি লাভজনক মনে করবে। এটি গেম-তাত্ত্বিক নিরাপত্তা নীতির সাথে সামঞ্জস্যপূর্ণ।
7. উপসংহার
বিশ্লেষণটি ডাবল-স্পেন্ডিং ঝুঁকি বোঝার জন্য একটি কঠোর গাণিতিক ভিত্তি প্রদান করে। এটি নিশ্চিত করে যে প্রাপকরা পর্যাপ্ত সংখ্যক নিশ্চিতকরণের জন্য অপেক্ষা করলে, নেটওয়ার্ক হ্যাশরেটের ৫০% এর কম সহ আক্রমণকারীদের বিরুদ্ধে বিটকয়েন প্রোটোকলটি অত্যন্ত মজবুত। এই কাজটি নিশ্চিতকরণ সময় এবং ঝুঁকি সহনশীলতার মধ্যে নিরাপত্তা বিনিময়কে পরিমাণগতভাবে প্রকাশ করে।
8. মূল অন্তর্দৃষ্টি এবং বিশ্লেষকের দৃষ্টিভঙ্গি
মূল অন্তর্দৃষ্টি: রোজেনফেল্ডের কাজটি কেবল গণিত নয়; এটি বিটকয়েনের নিষ্পত্তি স্তরের জন্য প্রথম কঠোর ঝুঁকি মূল্য নির্ধারণ মডেল। তিনি নাকামোটোর স্বজ্ঞাত "দীর্ঘতম শৃঙ্খল নিয়ম"-কে একটি পরিমাপযোগ্য নিরাপত্তা এসএলএ (সেবা স্তর চুক্তি)-তে রূপান্তরিত করেন, যেখানে নিশ্চিতকরণ গভীরতা n হল চূড়ান্ততা 1-P এর একটি নির্দিষ্ট সম্ভাবনার জন্য প্রদত্ত প্রিমিয়াম। এটি সেই ভিত্তিভূমি যার উপর সমস্ত আধুনিক ক্রিপ্টো-এক্সচেঞ্জ নিরাপত্তা নীতি নির্মিত।
যুক্তিগত প্রবাহ: প্রতিভাটি আক্রমণটিকে একটি দ্বিপদী এলোমেলো পদচারণা হিসাবে চিত্রিত করার মধ্যে নিহিত—একটি ক্লাসিক স্টোকাস্টিক প্রক্রিয়া। ব্লক আবিষ্কারকে একটি পয়সন প্রক্রিয়া হিসাবে মডেল করে, রোজেনফেল্ড বিশৃঙ্খল, সমান্তরাল খনন প্রতিযোগিতাকে একটি সমাধানযোগ্য এক-মাত্রিক জুয়াড়ির ধ্বংস সমস্যায় হ্রাস করেন। বিভাগ ৩ (ধরা পড়ার সম্ভাবনা) থেকে বিভাগ ৪ (ব্যবসায়ীর অপেক্ষার সময়) পর্যন্ত লাফটি গুরুত্বপূর্ণ; এটি আক্রমণকারীর সামর্থ্য কে রক্ষাকারীর নীতি এর সাথে সংযুক্ত করে।
শক্তি এবং ত্রুটি:
শক্তি: মডেলটির সরলতা তার শক্তি। বদ্ধ-আকার সমাধান $P = (q/p)^z$ শক্তিশালী এবং সহজে ব্যাখ্যাযোগ্য। বিভাগ ৬-এর অর্থনৈতিক বিশ্লেষণ তার সময়ের থেকে এগিয়ে ছিল, এসিএম কনফারেন্স অন অ্যাডভান্সেস ইন ফাইন্যান্সিয়াল টেকনোলজিস (এএফটি) এর মতো স্থানে দেখা আজকের কঠোর ব্লকচেইন গেম থিওরি গবেষণার পূর্বাভাস দেয়।
গুরুত্বপূর্ণ ত্রুটি: মডেলটি একটি স্থির প্রতিপক্ষ ধরে নেয় যার একটি নির্দিষ্ট q রয়েছে। এটি কৌশলগত, ওঠানামা করা হ্যাশরেট—যেমন একজন আক্রমণকারী সংক্ষিপ্ত, লক্ষ্যবস্তু বিস্ফোরণে বিশাল ক্লাউড খনন ক্ষমতা ভাড়া নেয় (একটি "গোল্ডফিঙ্গার আক্রমণ")—এর হিসাব করতে ব্যর্থ হয়, যা পরবর্তী গবেষণায় হাইলাইট করা একটি হুমকি যেমন আইয়াল এবং সাইরের "মাইনিং পুল" গবেষণাপত্রে। এটি নেটওয়ার্ক বিলম্ব এবং স্বার্থপর খনন কৌশলগুলিকেও উপেক্ষা করে যা কার্যকরভাবে একজন আক্রমণকারীর কার্যকর q বৃদ্ধি করতে পারে।
কার্যকরী অন্তর্দৃষ্টি:
1. এক্সচেঞ্জগুলির জন্য: একটি সবার জন্য একই আকারের নিশ্চিতকরণ সংখ্যা ব্যবহার করবেন না। রোজেনফেল্ডের সূত্রটি গতিশীলভাবে ব্যবহার করুন। $১০০ ডিপোজিটের জন্য, ৩টি নিশ্চিতকরণ যথেষ্ট হতে পারে। $১০ মিলিয়ন উত্তোলনের জন্য, আপনার ডজন ডজন প্রয়োজন, বা আরও ভাল, একটি চূড়ান্ততা-গ্যাজেট-বর্ধিত শৃঙ্খলে স্থানান্তর করুন।
2. প্রোটোকল ডিজাইনারদের জন্য: এই গবেষণাপত্রটি প্রুফ-অফ-স্টেক (PoS) এর জন্য প্রামাণিক যুক্তি। PoW-তে সূচকীয় নিরাপত্তা ব্যয় ((q/p)^z) অর্থনৈতিকভাবে নির্মম। ইথেরিয়ামের ক্যাস্পারের মতো PoS সিস্টেম, যেমন তার গবেষণা বিবরণীতে নথিভুক্ত, এই সম্ভাব্যতা-ভিত্তিক চূড়ান্ততাকে ক্রিপ্টোগ্রাফিক, শাস্তিযোগ্য চূড়ান্ততা দিয়ে প্রতিস্থাপন করতে চায়, যা আক্রমণের গণনাকে মৌলিকভাবে পরিবর্তন করে।
3. ব্যবসায়ীদের জন্য: আসলে গ্রহণযোগ্য বিষয়টি হল যে ছোট-মূল্যের, তাৎক্ষণিক পেমেন্টের জন্য (কফির মতো), যেকোনো নিশ্চিতকরণের জন্য অপেক্ষা করা অবাস্তব। এই অর্থনৈতিক বাস্তবতা সরাসরি অফ-চেইন পেমেন্ট চ্যানেলগুলির (লাইটনিং নেটওয়ার্ক) বিকাশকে জ্বালানি দিয়েছে, যা লেনদেনগুলিকে বেস স্তর থেকে সরিয়ে নিয়ে রোজেনফেল্ডের সমস্যাকে সম্পূর্ণরূপে এড়িয়ে যায়।
9. প্রযুক্তিগত বিবরণ এবং গাণিতিক কাঠামো
মূল মডেলটি ব্লক আবিষ্কারকে স্বাধীন পরীক্ষা হিসাবে বিবেচনা করে। ধরা যাক p হল সম্ভাবনা যে সৎ শৃঙ্খল পরবর্তী ব্লক খুঁজে পায়, এবং আক্রমণকারীর জন্য q = 1-p। সিস্টেমের অবস্থা হল আক্রমণকারীর ঘাটতি z। আক্রমণকারীর ঘাটতি z থেকে কখনও সমতা অর্জনের সম্ভাবনা p_z জুয়াড়ির ধ্বংস সমস্যা থেকে উদ্ভূত পুনরাবৃত্তি সম্পর্ককে সন্তুষ্ট করে:
$p_z = q \cdot p_{z-1} + p \cdot p_{z+1}$
সীমানা শর্ত সহ p_0 = 1 (সমতা হল সাফল্য) এবং p_\infty = 0। এটি সমাধান করলে q < p এর জন্য বদ্ধ-আকার সমাধান $p_z = (q/p)^z$ পাওয়া যায়।
n নিশ্চিতকরণ সহ ব্যবসায়ীর দৃশ্যকল্পের জন্য, আক্রমণকারীর সফল হওয়ার সম্ভাবনা হল সে n ব্লক পিছিয়ে থেকে শুরু করে সৎ শৃঙ্খলের চেয়ে দীর্ঘ একটি শৃঙ্খল তৈরি করতে পারে তার সম্ভাবনা। এটি ব্যবসায়ী লেনদেনটি সম্প্রচার করার সময় সমস্ত সম্ভাব্য নেতৃত্বের দৃশ্যকল্পের উপর সমষ্টি করে গণনা করা হয়।
10. বিশ্লেষণ কাঠামো: উদাহরণ কেস
দৃশ্যকল্প: একটি ক্রিপ্টোকারেন্সি এক্সচেঞ্জ একটি বড় ডিপোজিট পায়। ব্যবহারকারীর অ্যাকাউন্টে ক্রেডিট দেওয়ার আগে কতগুলি নিশ্চিতকরণ প্রয়োজন তা নির্ধারণ করতে হবে।
- প্যারামিটার সংজ্ঞায়িত করুন:
- আক্রমণকারীর আনুমানিক হ্যাশরেট ভাগ:
q = 0.2(২০%)। এটি পাবলিক মাইনিং পুল ডেটার উপর ভিত্তি করে হতে পারে। - ঝুঁকিতে থাকা মূল্য (ডিপোজিট পরিমাণ): V = $৫০০,০০০।
- এক্সচেঞ্জের ঝুঁকি সহনশীলতা: ডাবল-স্পেন্ডের গ্রহণযোগ্য সম্ভাবনা: $\epsilon = 0.001$ (০.১%)।
- আক্রমণকারীর আনুমানিক হ্যাশরেট ভাগ:
- রোজেনফেল্ড মডেল প্রয়োগ করুন: আমাদের সবচেয়ে ছোট
nখুঁজে বের করতে হবে যাতে আক্রমণের সম্ভাবনা $P(n, q) \le \epsilon$ হয়। $k \le n+1$ এর জন্য $P \approx \sum_{k=0}^{\infty} \frac{\lambda^k e^{-\lambda}}{k!} \cdot (q/p)^{n+1-k}$ সূত্রটি ব্যবহার করুন (যেখানে $\lambda = n(q/p)$), অথবা পূর্ব-গণিত গ্রাফ/টেবিল পরামর্শ করুন। - গণনা/ফলাফল:
q=0.2এবং\epsilon=0.001এর জন্য, প্রয়োজনীয় নিশ্চিতকরণnআনুমানিক ৯। - নীতি সিদ্ধান্ত: এক্সচেঞ্জ এই সম্পদের জন্য তার নিশ্চিতকরণ প্রয়োজনীয়তা ৯ ব্লক নির্ধারণ করে। ১০ মিনিটের ব্লক সময়ের জন্য, এটি ডিপোজিটের জন্য ৯০-মিনিটের ধারণ সময় বোঝায়, নিরাপত্তা এবং ব্যবহারকারীর অভিজ্ঞতার মধ্যে ভারসাম্য রেখে।
11. ভবিষ্যতের প্রয়োগ এবং গবেষণা দিকনির্দেশ
- গতিশীল নিশ্চিতকরণ নীতি: রিয়েল-টাইম হ্যাশরেট ডেটা এবং মেমপুল মান একীভূত করে
nকে গতিশীলভাবে সামঞ্জস্য করা, একটি "ঝুঁকি-সংবেদনশীল" নিশ্চিতকরণ ইঞ্জিন তৈরি করা। - ক্রস-চেইন নিরাপত্তা: ব্লকচেইন ব্রিজ এবং ক্রস-চেইন লেনদেনের নিরাপত্তা মূল্যায়নের জন্য মডেলটি প্রয়োগ করা, যেখানে ঝুঁকিতে থাকা অর্থনৈতিক মূল্য বিভিন্ন
qমান সহ একাধিক শৃঙ্খল জুড়ে থাকতে পারে। - পোস্ট-কোয়ান্টাম বিবেচনা: কিভাবে কোয়ান্টাম কম্পিউটিং এর আবির্ভাব একটি ৫১% আক্রমণ সম্পাদনের ব্যয়কে প্রভাবিত করতে পারে (খনন অ্যালগরিদম ভেঙে) এবং নিরাপত্তা মডেলগুলিতে
qপ্যারামিটার পুনঃঅঙ্কন করা সে সম্পর্কে গবেষণা। - এমইভি (সর্বাধিক উত্তোলনযোগ্য মূল্য) এর সাথে একীকরণ: আধুনিক ডাবল-স্পেন্ডিং আক্রমণগুলি প্রায়শই আরও জটিল এমইভি কৌশলের উপাদান। ভবিষ্যতের মডেলগুলিকে অবশ্যই অতিরিক্ত লাভের হিসাব রাখতে হবে যা একজন আক্রমণকারী কেবল ডাবল-স্পেন্ট পরিমাণের বাইরে ব্লকগুলিকে পুনঃক্রমবিন্যাস বা সেন্সর করে উত্তোলন করতে পারে।
12. তথ্যসূত্র
- Nakamoto, S. (2008). Bitcoin: A Peer-to-Peer Electronic Cash System.
- Rosenfeld, M. (2014). Analysis of Hashrate-Based Double-Spending. arXiv:1402.2009.
- Eyal, I., & Sirer, E. G. (2014). Majority is not Enough: Bitcoin Mining is Vulnerable. International Conference on Financial Cryptography and Data Security.
- Buterin, V., & Griffith, V. (2017). Casper the Friendly Finality Gadget. arXiv:1710.09437.
- Gervais, A., Karame, G. O., Wüst, K., Glykantzis, V., Ritzdorf, H., & Capkun, S. (2016). On the Security and Performance of Proof of Work Blockchains. ACM SIGSAC Conference on Computer and Communications Security.