ব্লকস্ট্রিম রিসার্চের জোনাস নিক এবং সহযোগী remix7531 বিটকয়েনের জন্য ডিজাইন করা একটি কোয়ান্টাম-প্রতিরোধী সিগনেচার স্কিমের একটি কী উপাদান বাস্তবায়ন করে এমন libshrincs নামক একটি প্রুফ-অফ-কনসেপ্ট C লাইব্রেরি প্রকাশ করেছেন। ডেলভিং বিটকয়েনে আগস্ট ১১-এ ঘোষিত এই লাইব্রেরিটি বিটকয়েনকে ভবিষ্যতে শক্তিশালী কোয়ান্টাম কম্পিউটারগুলির আগমনের থেকে রক্ষা করার জন্য ডিজাইন করা ক্রিপ্টোগ্রাফিক কোডকে ঔপচারিকভাবে যাচাইয়ের জন্য এখন까지 একটি সবচেয়ে কঠোর প্রচেষ্টা।
প্রকল্পটি শুধু এটি কীর বিরুদ্ধে সুরক্ষা প্রদান করে তার জন্যই উল্লেখযোগ্য নয়, বরং এটি কিভাবে তৈরি করা হয়েছে তার জন্যও। সুরক্ষা এবং সঠিকতা প্রমাণগুলি মানব পর্যবেক্ষণের অধীনে ChatGPT এবং Fable সহ বড় ভাষা মডেলগুলির সাহায্যে প্রায়শই তৈরি করা হয়েছে।
লিবশ্রিন্স আসলে কী করে
Libshrincs একটি ব্যাপক পদ্ধতি যার নাম SHRINCS, এর WOTS+C নামক এক-বারের স্বাক্ষর উপাংশটি বাস্তবায়িত করে। SHRINCS, যা ২০২৫ সালের ডিসেম্বরে প্রস্তাবিত হয়েছিল, হল একটি স্বাক্ষর পদ্ধতি যা অবস্থা-ভিত্তিক এবং অবস্থা-হীন হ্যাশ-ভিত্তিক স্বাক্ষরকে মিশ্রিত করে। লক্ষ্য হল স্বাক্ষরের আকারকে এমনভাবে সংকুচিত রাখা যাতে বিটকয়েন লেনদেনের জন্য ব্যবহারযোগ্য হয়, যখন কোয়ান্টাম-প্রতিরোধী ক্ষমতা অব্যাহত থাকে।
স্টেটফুল মোডে, সিগনেচারগুলি প্রায় ৩২৪ বাইট জুড়ে থাকে। এই স্কিমটি একটি স্টেটলেস ফলব্যাক মেকানিজমও অন্তর্ভুক্ত করে, যা মূলত স্টেটফুল উপাদানের ট্র্যাকিং ভুলভাবে পরিচালিত হলে একটি সেফটি নেট হিসাবে কাজ করে।
লাইব্রেরিটি ফাংশনাল করেক্টনেসের মেশিন-চেকড প্রুফ এবং রকেতে SSProve ব্যবহার করে যাচাইকৃত সিকিউরিটি প্রুফ সহ আসে। প্রুফগুলি উল্লেখযোগ্য: প্রায় 6,200 লাইন VST (ভেরিফাইড সফটওয়্যার টুলচেইন) কোড এবং প্রায় 13,400 লাইন রকেকোড।
এআই দৃষ্টিকোণ এবং এটি কেন গুরুত্বপূর্ণ
যাচাইকরণ কোডের বড় অংশ তৈরি করতে বড় ভাষা মডেল ব্যবহার করা হয়েছে, যেখানে মানুষের ডেভেলপাররা আউটপুটকে গাইড করেছেন এবং পর্যালোচনা করেছেন। ক্রিপ্টোগ্রাফিতে ঔপচারিক যাচাইকরণ ঐতিহাসিকভাবে খরচবহুল এবং ধীরগতির ছিল। যদি এআই-সহায়িত পদ্ধতিগুলি এই ধরনের আউটপুট নির্ভরযোগ্যভাবে উৎপাদন করতে পারে, তবে যাচাইকৃত ক্রিপ্টোগ্রাফিক সফটওয়্যার তৈরির বাধা অনেক কমিয়ে দেওয়া যেতে পারে।
সীমাবদ্ধতা এবং ভবিষ্যতের পথ
গবেষকদের পক্ষে পরিষ্কারভাবে ব্যক্ত করা হয়েছে যে libshrincs এখনও কী কী অর্জন করেনি। বর্তমান নিরাপত্তা উপপাদ্যটি কোয়ান্টাম র্যান্ডম ওরাকল মডেল (QROM)-এ একটি সম্পূর্ণ পোস্ট-কোয়ান্টাম সীমা প্রদান করে না। এটি SHRINCS সিগনেচারগুলি বাস্তবে কিভাবে ব্যবহার করা হবে তার তুলনায় একটি দুর্বলতর নিরাপত্তা ধারণা ব্যবহার করে। নিরাপত্তা যুক্তিকে শক্তিশালী করতে যে সংখ্যাগত হ্যাশ ধারণাগুলির প্রয়োজন, সেগুলি এখনও অন্তর্ভুক্ত করা হয়নি।
বিটকয়েন কোরে উৎপাদন বাস্তবায়ন বা একীভূতকরণের কোনো দাবি নেই। এই কাজটি বিটকয়েন এবং Blockstream-এর Liquid সাইডচেইন নেটওয়ার্কের জন্য কোয়ান্টাম-প্রতিরোধী স্বাক্ষর বিকাশের ব্রডার প্রকল্পের অংশ। সংশ্লিষ্ট প্রচেষ্টাগুলির মধ্যে রয়েছে C++ বাস্তবায়ন এবং Simplicity ভেরিফায়ার লাইব্রেরি।