কেন আপনি একটি স্মার্ট চুক্তি নিরাপত্তা অডিট প্রয়োজন

স্মার্ট কন্ট্রাক্ট সিকিউরিটি অডিট আপনাকে আপনার সিস্টেমে সম্ভাব্য নিরাপত্তা দুর্বলতা সনাক্ত করতে সহায়তা করে। কোনো দূষিত পক্ষ তাদের সুবিধা নেওয়ার এবং আপনার প্ল্যাটফর্মকে নষ্ট করার আগে তারা আপনাকে এই দুর্বলতাগুলি মোকাবেলা করার অনুমতি দেয়।

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

দুটি ঠিকানার মাঝামাঝি পয়েন্ট

দিনের মেকইউজের ভিডিও

একটি স্মার্ট চুক্তি অডিট কি?

দুই জন লোক দুটি খোলা ল্যাপটপের কাছে একটি কাগজের উপর চিন্তাভাবনা করছে

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

একটি স্মার্ট চুক্তি নিরীক্ষা 100% গ্যারান্টি প্রদান করে না যে চুক্তিটি ত্রুটি বা দুর্বলতা মুক্ত হবে। যাইহোক, এটি নিশ্চিত করে যে স্মার্ট চুক্তি নিরাপদ, একজন প্রযুক্তি বিশেষজ্ঞ দ্বারা মূল্যায়ন করা হয়েছে।

ব্লকচেইন এবং স্মার্ট চুক্তিতে সাইবার আক্রমণ

বাস্তব-বিশ্বের আক্রমণে শোষণগুলি ব্যবহার করার আগে নিরাপত্তার দুর্বলতাগুলি খুঁজে বের করার এবং সেগুলিকে ঠিক করার ভার ব্লকচেইন বিকাশকারীদের উপর।

দূষিত সত্তা একটি সফল আক্রমণ শুরু করার জন্য দুটি প্রধান পদ্ধতি ব্যবহার করে: বেটিং এবং রিএন্ট্রান্সি আক্রমণ। প্রথমটি সামাজিক প্রকৌশল কৌশলের উপর নির্ভর করে যেমন একজন শিকারকে আক্রমণকারীর ওয়ালেটে ক্রিপ্টোকারেন্সি পাঠাতে প্ররোচিত করা; দ্বিতীয় এবং চতুর কৌশলটি ব্লকচেইন স্মার্ট চুক্তি এবং পার্শ্ব-চেইন এবং ক্রস-চেইন ওয়ালেটের মতো সম্পর্কিত উপাদানগুলির পাশাপাশি বেশ কয়েকটি প্রোটোকলের জ্ঞানের ব্যাপক বোঝার জন্য আহ্বান জানায়।

দুটি ম্যাকবুক ব্যবহার করে কালো হুডি পরা মানুষ

এখানে তিনটি উল্লেখযোগ্য ব্লকচেইন আক্রমণ রয়েছে।

ওয়ার্মহোল

ওয়ার্মহোল ব্রিজ হ্যাক এখন পর্যন্ত দ্বিতীয় বৃহত্তম ক্রিপ্টোকারেন্সি আক্রমণ। ওয়ার্মহোল, একটি জনপ্রিয় সেতু যা ইথেরিয়াম এবং সোলানা ব্লকচেইনকে সংযুক্ত করে, একটি হ্যাকের জন্য প্রায় 0 মিলিয়ন হারিয়েছে। আক্রমণকারী 323 মিলিয়ন ডলার মূল্যের 120k র‍্যাপড ইথার চুরি করার জন্য সেতুর একটি ফাঁকির সুযোগ নিয়ে।

হামলাকারী প্রায় 20,000 wETH, সোলানা ব্লকচেইনে একটি Ethereum সমতুল্য, ঘটনার সময় 5 মিলিয়ন মূল্যায়ন করতে সক্ষম হয়েছিল। তারা কোন জামানত প্রদান না করে একটি লেনদেনের জন্য একটি বৈধ স্বাক্ষর জাল করে এটি করেছে।

ক্রিম আর্থিক

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

আক্রমণকারী CREAM ফাইন্যান্সের প্ল্যাটফর্মের দ্বারা ব্যবহৃত স্মার্ট চুক্তির দ্বারা তৈরি মূল্য নির্ধারণের সীমাবদ্ধতার সুযোগ নিয়েছিল এবং সমান্তরাল হিসাবে ব্যবহৃত yUSD পুলের দাম পরিবর্তন করেছিল, যার ফলে 1 yUSD শেয়ার হয়ে যায়।

ফলস্বরূপ, ক্রিম ফাইন্যান্স অনুসারে আক্রমণকারীর .5B yUSD-তে আসল আমানত দ্বিগুণ হয়েছে। হ্যাকার তারপর ক্রিম ফাইন্যান্সে তাদের yUSD জমাকে B তে রূপান্তর করে এবং প্রকল্পের মোট তারল্য নিষ্কাশন করতে B লাভ ব্যবহার করে।

বিপরীত অর্থ

প্রথমে, আক্রমণকারী টর্নেডো ক্যাশ থেকে 901 ETH প্রত্যাহার করে নিয়েছিল—একটি ইথেরিয়াম মিক্সার। তারপর আক্রমণকারী SushiSwap-এর INV/WETH এবং INV/DOLA লিকুইডিটি পুল ব্যবহার করে INV-এর জন্য ব্যবসা করে৷ পরবর্তীতে, তারা Keep3r মূল্য ওরাকল দ্বারা নথিভুক্ত উভয় পুল ব্যবহার করে INV-এর মূল্য বৃদ্ধি করে, যেটি INV মূল্য পর্যবেক্ষণ করে। এটি আক্রমণকারীকে ইনভার্স ফাইন্যান্সে INV-এর দাম বাড়াতে এবং ETH, WBTC, YFI, এবং DOLA-তে .6 মিলিয়ন INV-সমর্থিত ঋণ সিফন করতে সক্ষম করে।

একটি স্মার্ট চুক্তি নিরাপত্তা অডিট গুরুত্ব

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

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

ল্যাপটপ কম্পিউটার ব্যবহার করে লোকেদের গ্রুপ

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

স্মার্ট চুক্তি নিরাপত্তা অডিট প্রক্রিয়া

একটি স্মার্ট চুক্তি নিরীক্ষা অডিট প্রদানকারীদের মধ্যে একটি বহুলাংশে আদর্শ প্রক্রিয়া অনুসরণ করে। যদিও প্রতিটি নিরীক্ষক কিছুটা ভিন্ন পদ্ধতি অবলম্বন করতে পারে, তবে আদর্শ পদ্ধতিটি নিম্নরূপ:

1. অডিটের পরিধি সংজ্ঞায়িত করুন

প্রকল্প (এবং এর উদ্দেশ্যযুক্ত ব্যবহার) এবং সামগ্রিক স্থাপত্য স্মার্ট চুক্তি এবং প্রকল্পের বৈশিষ্ট্যগুলিকে সংজ্ঞায়িত করে। একটি স্পেসিফিকেশন অডিট দলকে কোড লেখা এবং চালানোর সময় প্রকল্পের লক্ষ্য বুঝতে সক্ষম করে।

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

2. ইউনিট পরীক্ষা

এখানে, ডেভেলপারের দায়িত্ব হল ইউনিট টেস্ট কেস লেখা। ইউনিট পরীক্ষা চালানোর সময়, অডিটর পরীক্ষা করে দেখেন যে স্মার্ট চুক্তিটি উদ্দেশ্য অনুযায়ী কাজ করে কিনা। এই মুহুর্তে, স্মার্ট কন্ট্রাক্ট অডিটররা ইউনিট টেস্টিং সমস্ত প্রাসঙ্গিক ঝুঁকিগুলিকে কভার করে তা নিশ্চিত করার জন্য টেস্টনেট এবং অডিটিং সরঞ্জামগুলি নিয়োগ করে।

অতিরিক্তভাবে, পরীক্ষাগুলি স্মার্ট চুক্তি নিরীক্ষকদের অনানুষ্ঠানিক ডকুমেন্টেশনে অ্যাক্সেস প্রদান করে যা পরিকল্পিত প্রকল্প কার্যকারিতা সম্পর্কে অতিরিক্ত বিবরণ প্রদান করে।

আমি এক্সোডাস ব্যবহার করে সমস্যায় পড়তে পারি?

3. ম্যানুয়াল অডিটিং

নিরীক্ষা প্রক্রিয়ার সবচেয়ে গুরুত্বপূর্ণ অংশ। অডিটর ত্রুটির জন্য কোডের প্রতিটি লাইন পরীক্ষা করে।

4. স্বয়ংক্রিয় নিরীক্ষা

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

5. প্রাথমিক রিপোর্টিং

নিরীক্ষক প্রতিবেদনের একটি প্রাথমিক খসড়া তৈরি করে, যার মধ্যে তারা পাওয়া ত্রুটিগুলি সহ, এবং তারপরে প্রতিক্রিয়া এবং প্রাসঙ্গিক সংশোধনের জন্য এটি প্রকল্প উন্নয়ন দলের কাছে পাঠায়।

6. চূড়ান্ত প্রতিবেদন

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

স্মার্ট চুক্তির জন্য অনুপ্রবেশ পরীক্ষা

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

মানুষ দুটি ল্যাপটপে কোড লিখছে এবং একটি মনিটরে প্রজেক্ট করছে

আপনি তিনটি উপায়ে একটি স্মার্ট চুক্তি অনুপ্রবেশ পরীক্ষা চালাতে পারেন।

ব্ল্যাক বক্স পরীক্ষা

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

গ্রে বক্স টেস্ট

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

সাদা বক্স পরীক্ষা

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

এই পরীক্ষার উদ্দেশ্য হল পুরো সিস্টেমটিকে পুঙ্খানুপুঙ্খভাবে বিশ্লেষণ করা। এটি আক্রমণকারী দলের পরিসর এবং ক্ষতির ক্ষমতা নির্ধারণ করে।

স্মার্ট চুক্তি নিরাপত্তা অডিটগুলি DeFi এবং NFT প্রকল্পগুলির জন্য গুরুত্বপূর্ণ৷

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