tags as in original. The original has
tags. Keep them. Translate text inside tags.
Let me write the Bengali translation carefully.
Title: Zcash গবেষকরা আয়রনউডে জালিয়াতি রোধে ২,৭০০ মেশিন-পরীক্ষিত উপপাদ্য প্রকাশ করেছেন
Content:
Zcash গবেষকরা আসন্ন আয়রনউড প্রোটোকল আপগ্রেডে অদৃশ্য জালিয়াতি বাগ দূর করার জন্য ২,৭০০-এরও বেশি মেশিন-পরীক্ষিত উপপাদ্যের একটি সেট প্রকাশ করেছেন। গোপনীয়তা-কেন্দ্রিক এই ক্রিপ্টোকারেন্সির পিছনের দলটি প্রকাশিত এই কাজটির মাধ্যমে গাণিতিকভাবে প্রমাণ করতে চায় যে নতুন কোডটি সনাক্তকরণ ছাড়াই জাল মুদ্রা তৈরি করতে শোষিত হতে পারবে না।
উপপাদ্যগুলো কী লক্ষ্য করে
উপপাদ্যগুলো Zcash-এর সর্বসম্মতির নিয়মের একটি পরিকল্পিত আপগ্রেড আয়রনউড-এর উপর দৃষ্টি নিবদ্ধ করে। জালিয়াতি বাগ হলো এমন এক শ্রেণির দুর্বলতা যা একজন আক্রমণকারীকে পাতলা বাতাস থেকে মুদ্রা তৈরি করতে দেয় — যেকোনো ক্রিপ্টোকারেন্সির জন্য এটি একটি বিপর্যয়কর ব্যর্থতা। আনুষ্ঠানিক যাচাইকরণ ব্যবহার করে, গবেষকরা গাণিতিকভাবে প্রমাণ করতে পারেন যে কোডের প্রতিটি সম্ভাব্য নির্বাহের জন্য নির্দিষ্ট বৈশিষ্ট্য ধারণ করে, শুধুমাত্র ম্যানুয়াল অডিট বা পরীক্ষার উপর নির্ভর না করে।
২,৭০০টি উপপাদ্য আয়রনউডের গোপন লেনদেনের মূল লজিক কভার করে, যেখানে ব্যালেন্স এবং লেনদেনের পরিমাণ এনক্রিপ্ট করা থাকে। প্রমাণগুলো পরীক্ষা করে যে সিস্টেম সরবরাহ অপরিবর্তনীয়তা প্রয়োগ করে — অর্থাৎ প্রোটোকল অনুমোদিত তার চেয়ে বেশি Zcash তৈরি করা যাবে না — এমনকি প্রতিকূল অবস্থার মধ্যেও। গবেষকরা বলছেন যে এই পদ্ধতি প্রান্তিক ক্ষেত্রগুলো ধরে ফেলে যা ঐতিহ্যবাহী কোড পর্যালোচনা মিস করতে পারে।
কেন মেশিন-পরীক্ষিত প্রমাণ গুরুত্বপূর্ণ
ক্রিপ্টোকারেন্সি উন্নয়নে আনুষ্ঠানিক যাচাইকরণ বিরল কারণ এটি সময়সাপেক্ষ এবং বিশেষায়িত দক্ষতার প্রয়োজন। বেশিরভাগ প্রকল্প বাগ বাউন্টি এবং ম্যানুয়াল অডিটের উপর নির্ভর করে, যা ফাঁক রেখে যেতে পারে। Zcash আগেও আনুষ্ঠানিক পদ্ধতি ব্যবহার করেছে — তার মূল স্যাপলিং আপগ্রেডের জন্য — কিন্তু আয়রনউড প্রচেষ্টা নেটওয়ার্কের জন্য迄今 সবচেয়ে বড় প্রয়োগ।
উপপাদ্যগুলো লিন নামক একটি ভাষায় লেখা, একটি প্রুফ অ্যাসিস্ট্যান্ট যা যুক্তির প্রতিটি ধাপ পরীক্ষা করে। যদি একটি উপপাদ্য পাস করে, তার মানে বৈশিষ্ট্যটি সমস্ত ইনপুটের জন্য নিশ্চিত। গবেষকরা আয়রনউড স্পেসিফিকেশনের পাশাপাশি প্রমাণের সম্পূর্ণ সেট প্রকাশ করেছেন, যা সম্প্রদায়ের দ্বারা স্বাধীন যাচাইয়ের অনুমতি দেয়।
“এটি আয়রনউডের পিছনের গণিতটি সঠিক কিনা তার সবচেয়ে শক্তিশালী সম্ভাব্য গ্যারান্টি দেওয়ার বিষয়ে,” দলটি এক বিবৃতিতে বলেছে। “আমরা চাই ব্যবহারকারীরা জানুক যে সরবরাহটি অনুমান নয়, বরং প্রমাণযোগ্যভাবে নির্ধারিত।”
আয়রনউড এখনও উন্নয়নাধীন। আনুষ্ঠানিক যাচাইকরণ কাজটি একটি গুরুত্বপূর্ণ মাইলফলক, তবে আপগ্রেডটিকে অবশ্যই Zcash-এর শাসন প্রক্রিয়ার মধ্য দিয়ে যেতে হবে এবং খনি শ্রমিক ও নোড অপারেটরদের দ্বারা গৃহীত হতে হবে। গবেষকরা নতুন বৈশিষ্ট্য যুক্ত হওয়ার সাথে সাথে উপপাদ্য সেটটি প্রসারিত করার পরিকল্পনা করছেন।
উপপাদ্যগুলোর প্রকাশনা বর্তমান Zcash ব্যবহারকারীদের জন্য কিছু পরিবর্তন করে না। নেটওয়ার্ক বিদ্যমান প্রোটোকলে চলতে থাকে। তবে কাজটি একটি নজির স্থাপন করে যে কীভাবে ভবিষ্যতের আপগ্রেডগুলি যাচাই করা যেতে পারে — আত্মবিশ্বাসের পরিবর্তে গাণিতিক নিশ্চিততার সাথে।
পরবর্তী পদক্ষেপ হলো একটি সম্প্রদায় পর্যালোচনা সময়কাল, যার পরে আয়রনউড কোড সক্রিয়করণের জন্য প্রস্তাব করা হবে। এখনও কোনো তারিখ নির্ধারণ করা হয়নি।
Zcash গবেষকরা আসন্ন আয়রনউড প্রোটোকল আপগ্রেডে অদৃশ্য জালিয়াতি বাগ দূর করার জন্য ২,৭০০-এরও বেশি মেশিন-পরীক্ষিত উপপাদ্যের একটি সেট প্রকাশ করেছেন। গোপনীয়তা-কেন্দ্রিক এই ক্রিপ্টোকারেন্সির পিছনের দলটি প্রকাশিত এই কাজটির মাধ্যমে গাণিতিকভাবে প্রমাণ করতে চায় যে নতুন কোডটি সনাক্তকরণ ছাড়াই জাল মুদ্রা তৈরি করতে শোষিত হতে পারবে না।
উপপাদ্যগুলো কী লক্ষ্য করে
উপপাদ্যগুলো Zcash-এর সর্বসম্মতির নিয়মের একটি পরিকল্পিত আপগ্রেড আয়রনউড-এর উপর দৃষ্টি নিবদ্ধ করে। জালিয়াতি বাগ হলো এমন এক শ্রেণির দুর্বলতা যা একজন আক্রমণকারীকে পাতলা বাতাস থেকে মুদ্রা তৈরি করতে দেয় — যেকোনো ক্রিপ্টোকারেন্সির জন্য এটি একটি বিপর্যয়কর ব্যর্থতা। আনুষ্ঠানিক যাচাইকরণ ব্যবহার করে, গবেষকরা গাণিতিকভাবে প্রমাণ করতে পারেন যে কোডের প্রতিটি সম্ভাব্য নির্বাহের জন্য নির্দিষ্ট বৈশিষ্ট্য ধারণ করে, শুধুমাত্র ম্যানুয়াল অডিট বা পরীক্ষার উপর নির্ভর না করে।
২,৭০০টি উপপাদ্য আয়রনউডের গোপন লেনদেনের মূল লজিক কভার করে, যেখানে ব্যালেন্স এবং লেনদেনের পরিমাণ এনক্রিপ্ট করা থাকে। প্রমাণগুলো পরীক্ষা করে যে সিস্টেম সরবরাহ অপরিবর্তনীয়তা প্রয়োগ করে — অর্থাৎ প্রোটোকল অনুমোদিত তার চেয়ে বেশি Zcash তৈরি করা যাবে না — এমনকি প্রতিকূল অবস্থার মধ্যেও। গবেষকরা বলছেন যে এই পদ্ধতি প্রান্তিক ক্ষেত্রগুলো ধরে ফেলে যা ঐতিহ্যবাহী কোড পর্যালোচনা মিস করতে পারে।
কেন মেশিন-পরীক্ষিত প্রমাণ গুরুত্বপূর্ণ
ক্রিপ্টোকারেন্সি উন্নয়নে আনুষ্ঠানিক যাচাইকরণ বিরল কারণ এটি সময়সাপেক্ষ এবং বিশেষায়িত দক্ষতার প্রয়োজন। বেশিরভাগ প্রকল্প বাগ বাউন্টি এবং ম্যানুয়াল অডিটের উপর নির্ভর করে, যা ফাঁক রেখে যেতে পারে। Zcash আগেও আনুষ্ঠানিক পদ্ধতি ব্যবহার করেছে — তার মূল স্যাপলিং আপগ্রেডের জন্য — কিন্তু আয়রনউড প্রচেষ্টা নেটওয়ার্কের জন্য迄今 সবচেয়ে বড় প্রয়োগ।
উপপাদ্যগুলো লিন নামক একটি ভাষায় লেখা, একটি প্রুফ অ্যাসিস্ট্যান্ট যা যুক্তির প্রতিটি ধাপ পরীক্ষা করে। যদি একটি উপপাদ্য পাস করে, তার মানে বৈশিষ্ট্যটি সমস্ত ইনপুটের জন্য নিশ্চিত। গবেষকরা আয়রনউড স্পেসিফিকেশনের পাশাপাশি প্রমাণের সম্পূর্ণ সেট প্রকাশ করেছেন, যা সম্প্রদায়ের দ্বারা স্বাধীন যাচাইয়ের অনুমতি দেয়।
“এটি আয়রনউডের পিছনের গণিতটি সঠিক কিনা তার সবচেয়ে শক্তিশালী সম্ভাব্য গ্যারান্টি দেওয়ার বিষয়ে,” দলটি এক বিবৃতিতে বলেছে। “আমরা চাই ব্যবহারকারীরা জানুক যে সরবরাহটি অনুমান নয়, বরং প্রমাণযোগ্যভাবে নির্ধারিত।”
আয়রনউড এখনও উন্নয়নাধীন। আনুষ্ঠানিক যাচাইকরণ কাজটি একটি গুরুত্বপূর্ণ মাইলফলক, তবে আপগ্রেডটিকে অবশ্যই Zcash-এর শাসন প্রক্রিয়ার মধ্য দিয়ে যেতে হবে এবং খনি শ্রমিক ও নোড অপারেটরদের দ্বারা গৃহীত হতে হবে। গবেষকরা নতুন বৈশিষ্ট্য যুক্ত হওয়ার সাথে সাথে উপপাদ্য সেটটি প্রসারিত করার পরিকল্পনা করছেন।
উপপাদ্যগুলোর প্রকাশনা বর্তমান Zcash ব্যবহারকারীদের জন্য কিছু পরিবর্তন করে না। নেটওয়ার্ক বিদ্যমান প্রোটোকলে চলতে থাকে। তবে কাজটি একটি নজির স্থাপন করে যে কীভাবে ভবিষ্যতের আপগ্রেডগুলি যাচাই করা যেতে পারে — আত্মবিশ্বাসের পরিবর্তে গাণিতিক নিশ্চিততার সাথে।
পরবর্তী পদক্ষেপ হলো একটি সম্প্রদায় পর্যালোচনা সময়কাল, যার পরে আয়রনউড কোড সক্রিয়করণের জন্য প্রস্তাব করা হবে। এখনও কোনো তারিখ নির্ধারণ করা হয়নি।
