যেসব ডেভেলপার নিরাপত্তাকে অগ্রাধিকার দেন তারা ২০৩০-এর দশকে বাগ-মুক্ত কোডিং অর্জনযোগ্য হয়ে উঠবে বলে আশা করতে পারেন, ইথেরিয়ামের সহ-প্রতিষ্ঠাতা ভিটালিক বুটেরিনের মতে।
Balancer হ্যাক থেকে $৯.৪ মিলিয়ন পুনরুদ্ধার করতে Gnosis Chain-এর বিতর্কিত হার্ড ফর্কের পর ইথেরিয়ামের সহ-প্রতিষ্ঠাতা ভিটালিক বুটেরিন বলেছেন যে "বাগ অনিবার্য, আপনি বাগ-মুক্ত কোড তৈরি করতে পারবেন না" এই বিশ্বাস ২০৩০-এর দশকে সত্য হওয়া বন্ধ হয়ে যাবে।
কোডিং সম্পর্কে ভিটালিক বুটেরিন কী বলেছেন?
ভিটালিক বুটেরিন সোশ্যাল মিডিয়া প্ল্যাটফর্ম X-এ একটি আলোচনার মাধ্যমে ভবিষ্যদ্বাণী করেছেন যে বাগ-মুক্ত কোড ২০৩০-এর দশকে বাস্তবে পরিণত হবে।
আলোচনা শুরু হয় যখন Gnosis Chain ঘোষণা করে যে এটি ২২ ডিসেম্বর একটি হার্ড ফর্ক সম্পাদন করেছে, যেমনটি Cryptopolitan রিপোর্ট করেছে। হার্ড ফর্কটি নভেম্বর ২০২৪-এর Balancer এক্সপ্লয়েটের সময় চুরি হওয়া $৯.৪ মিলিয়ন পুনরুদ্ধার করেছে, যা একাধিক ব্লকচেইন জুড়ে $১২৮ মিলিয়নের বেশি নিষ্কাশন করেছিল। পুনরুদ্ধারের জন্য বেশিরভাগ ভ্যালিডেটরকে নতুন সফটওয়্যার গ্রহণ করতে হয়েছিল এবং যারা আপডেট করতে ব্যর্থ হয়েছে তারা জরিমানার সম্মুখীন হচ্ছে।
এটি অবশ্যই ব্লকচেইন সমর্থকদের কাছ থেকে কিছুটা প্রতিরোধের সম্মুখীন হয়েছিল যারা এই পদক্ষেপের সমালোচনা করেছেন কারণ এটি অপরিবর্তনীয়তার নীতির বিরুদ্ধে যায়। 'colluding node' ছদ্মনামের একজন X ব্যবহারকারী বলেছেন যে আসল সমস্যা হল ব্লকচেইন অ্যাপ্লিকেশনগুলি কীভাবে নির্মিত হয়। তারা যুক্তি দিয়েছিলেন যে প্রোগ্রামেবল ভার্চুয়াল মেশিনে স্মার্ট কন্ট্র্যাক্ট ব্যবহার করা ভুল পদ্ধতি।
"মাত্র ৭টি কন্ট্র্যাক্ট লেখার যোগ্য আছে, এবং সেগুলি শুধুমাত্র বেস লেয়ারে অন্তর্ভুক্ত করা উচিত এবং ক্লায়েন্ট বৈচিত্র্য থেকে নিরাপত্তা পাওয়া উচিত," ব্যবহারকারী লিখেছেন।
বুটেরিন তখন প্রতিক্রিয়া জানিয়ে স্পষ্ট করেছেন যে আনুষ্ঠানিকভাবে যাচাইকৃত মানে প্রমাণিতভাবে বাগ-মুক্ত নয়। তিনি আরও পরামর্শ দিয়েছেন যে প্রমাণিতভাবে বাগ-মুক্ত কোড সম্ভবও নাও হতে পারে।
"আমি এমনকি বলতে পারি যে 'প্রমাণিতভাবে বাগ-মুক্ত' সম্ভব নয়, কারণ 'বাগ-মুক্ত' মানে 'উদ্দেশ্য এবং কোড এক্সিকিউশনের মধ্যে কোন ব্যবধান নেই', এবং আমাদের উদ্দেশ্য হল একটি অত্যন্ত জটিল বস্তু যার প্রতি আমাদের কেবলমাত্র সীমিত অ্যাক্সেস আছে।"
আনুষ্ঠানিক যাচাইকরণ গাণিতিক পদ্ধতি ব্যবহার করে পরীক্ষা করে যে নিরাপত্তা-সংকটপূর্ণ সিস্টেমগুলি সঠিকভাবে কাজ করে কিনা। প্রযুক্তিটি ১৯৬০-এর দশক থেকে মহাকাশ প্রকৌশলের মতো ক্ষেত্রে ব্যবহৃত হয়ে আসছে।
স্মার্ট কন্ট্র্যাক্টে ব্যবহৃত হলে, আনুষ্ঠানিক যাচাইকরণ প্রমাণ করতে পারে যে একটি কন্ট্র্যাক্টের ব্যবসায়িক যুক্তি একটি পূর্বনির্ধারিত স্পেসিফিকেশন পূরণ করে; তবে, Balancer কন্ট্র্যাক্ট ১১ বার অডিট করা হয়েছিল, চারটি পৃথক নিরাপত্তা সংস্থা দ্বারা পরিচালিত হওয়া সত্ত্বেও, একটি গুরুত্বপূর্ণ ত্রুটি এখনও এড়িয়ে গেছে।
বাগ-মুক্ত কোড ভবিষ্যত কি সম্ভব?
বুটেরিন প্রস্তাব করেছেন যে সমাধান হল উদ্দেশ্য এবং এক্সিকিউশনের মধ্যে ব্যবধান ফিল্টার করার জন্য একাধিক স্তরের অতিরিক্ততা। তিনি টাইপ সিস্টেমগুলিকে অতিরিক্ততার একটি ফর্ম হিসাবে নির্দেশ করেছেন এবং কোড সম্পর্কে নির্দিষ্ট দাবিগুলি আনুষ্ঠানিকভাবে যাচাই করাকে আরেকটি স্তর হিসাবে উল্লেখ করেছেন।
আনুষ্ঠানিক যাচাইকরণ ইন্টিজার আন্ডারফ্লো এবং ওভারফ্লো, রি-এন্ট্রান্সি এবং দুর্বল গ্যাস অপ্টিমাইজেশনের মতো সমস্যাগুলি সনাক্ত করতে পারে যা অডিটর এবং পরীক্ষকদের পাশ কাটিয়ে যেতে পারে। অন্যদিকে, ঐতিহ্যবাহী পরীক্ষা শুধুমাত্র ত্রুটির উপস্থিতি পরীক্ষা করতে পারে তাদের অনুপস্থিতি নয়।
বুটেরিন উল্লেখ করেছেন যে কিছু সফটওয়্যারে বাগ থাকতে থাকবে কারণ কিছু ক্ষেত্রে কার্যকারিতা লাভ পূর্ণতার চেয়ে বেশি গুরুত্বপূর্ণ। কিন্তু যে ডেভেলপাররা নিরাপত্তাকে অগ্রাধিকার দেয় তাদের কাছে সত্যিকারের বাগ-মুক্ত কোড অর্জনের সরঞ্জাম থাকবে।
মেন্টরশিপ + দৈনিক আইডিয়া দিয়ে আপনার কৌশল তীক্ষ্ণ করুন – আমাদের ট্রেডিং প্রোগ্রামে ৩০ দিনের বিনামূল্যে অ্যাক্সেস
Source: https://www.cryptopolitan.com/vitalik-predicts-bug-free-smart-contracts/
