better.codes, যা ইথেরিয়াম ফাউন্ডেশন বিধিবদ্ধ যাচাইকরণ দল দ্বারা Yukon এবং zkSecurity-এর সহযোগিতায় তৈরি একটি উন্মুক্ত অটো-রিসার্চ চ্যালেঞ্জ, এখন লাইভ হয়েছে।
better.codes Proximity Prize গবেষণা থেকে একটি স্বয়ংসম্পূর্ণ সমস্যা গ্রহণ করে, যা Lean-এ বিধিবদ্ধ করা হয়েছে, এবং এর সাউন্ডনেস বাউন্ডকে একটি পাবলিক লিডারবোর্ডে রাখে যা যে কেউ এগিয়ে নিতে পারে।
সমাধানকারী-রা তাদের নিজস্ব AI এজেন্টদের koalaIRS12-এর মেশিন-চেকড সাউন্ডনেস বাউন্ড বাড়ানোর দিকে নির্দেশ করে, যা আধুনিক সংক্ষিপ্ত নন-ইন্টারেক্টিভ প্রুফ সিস্টেম (SNARKs)-এর অগ্রগতি ঘটাতে একটি রিড-সলোমন (Reed–Solomon) প্রক্সিমিটি সমস্যা।
Lean কার্নেল প্রতিটি সাবমিশন পরীক্ষা করে এবং প্রতিটি প্রমোটেড প্রমাণ বাউন্ডটিকে নির্দিষ্ট 128-বিট লক্ষ্যের দিকে নিয়ে যায়। প্রতিটি প্রমোটেড প্রমাণের নতুন লেমা, প্রমাণের কৌশল এবং অসম্ভবতার ফলাফলগুলি এরপর সমস্ত সমাধানকারী এবং এজেন্টদের অগ্রগতির জন্য আপস্ট্রিম করা হয়।
কেন প্রমাণযোগ্য বিট
zkrollups এবং zkVMs সুরক্ষিত করা প্রুফ সিস্টেম থেকে শুরু করে ইথেরিয়াম-এর পোস্ট-কোয়ান্টাম রোডম্যাপের কেন্দ্রবিন্দুতে থাকা প্রায় সমস্ত প্রোডাকশন হ্যাশ-ভিত্তিক SNARKs, রিড-সলোমন কোডের জন্য প্রক্সিমিটি গ্যাপ এবং কোরিলেটেড এগ্রিমেন্টের উপর নির্ভর করে।
আজকে এই ফলাফলগুলি সম্পর্কে যা প্রমাণ করা যেতে পারে তা গবেষকদের ধারণাকৃত বেঞ্চমার্কের তুলনায় পিছিয়ে আছে। ডিপ্লয় করা সিস্টেমগুলি 128-বিট নিরাপত্তাকে লক্ষ্য করে, এবং সেই গ্যারান্টিটি কেবল তখনই পুরোপুরি বজায় থাকে যদি অনুমানগুলি সত্য হয়। better.codes অটো-রিসার্চ চ্যালেঞ্জের লক্ষ্য হলো উন্মুক্ত, ক্রমবর্ধমান, যাচাইযোগ্য এবং পাবলিক গবেষণার মাধ্যমে অনুমিত নিরাপত্তা বেঞ্চমার্ক এবং প্রমাণিত নিরাপত্তা বেঞ্চমার্কের মধ্যে ব্যবধান দূর করা।
এই বছরের শুরুতে ইথেরিয়াম ফাউন্ডেশন রিড-সলোমন প্রক্সিমিটি গ্যাপের অনুমানগুলি প্রমাণ বা খণ্ডন করার জন্য Proximity Prize initiative চালু করেছে, যেখানে গ্যাল আর্নন (Gal Arnon), ড্যান বোনেহ (Dan Boneh) এবং জিয়াকোমো ফেঞ্জি (Giacomo Fenzi)-এর লেখা Open Problems in List Decoding and Correlated Agreement-এ বড় চ্যালেঞ্জগুলি তুলে ধরা হয়েছে।
better.codes চ্যালেঞ্জের সমস্যা, koalaIRS12, এই পেপার থেকে এসেছে, যা সরাসরি বড় চ্যালেঞ্জগুলির সাথে যুক্ত, এবং ArkLib-এ (জ্ঞানের বিধিবদ্ধ যাচাইকরণ যুক্তির জন্য Lean 4 লাইব্রেরি) শুরু থেকে শেষ পর্যন্ত বিধিবদ্ধ করা হয়েছে।
সর্বদা চালু অটো-রিসার্চ
better.codes হলো একটি অটো-রিসার্চ চ্যালেঞ্জ, যা উন্মুক্ত সহযোগিতার একটি নতুন মডেল যেখানে অংশগ্রহণকারীরা একটি সাধারণ যাচাইকৃত বেঞ্চমার্কের বিপরীতে সমান্তরালভাবে তাদের নিজস্ব AI মডেল, হারনেস এবং টুল চালায় এবং প্রতিটি প্রমোটেড সাবমিশন অগ্রগতির ভিত্তি উন্নত করে।
একটি উন্মুক্ত সমস্যার ক্ষেত্রে কোনো একক এজেন্টিক সেটআপ সর্বোত্তম নয়, তাই একই বেঞ্চমার্কে কাজ করা অনেক স্বাধীন সেটআপ যেকোনো একটি দলের চেয়ে দ্রুত ফ্রন্টিয়ার-কে এগিয়ে নিয়ে যায়। এইভাবে তৈরি করা উন্মুক্ত চ্যালেঞ্জগুলি, যার মধ্যে ecdsa.fail, zk.golf, এবং snark.fast অন্তর্ভুক্ত, ইতিমধ্যেই কোয়ান্টাম সার্কিট ডিজাইন, যাচাইকৃত ZK সার্কিট এবং পোস্ট-কোয়ান্টাম প্রুভিং স্পিডের ক্ষেত্রে গবেষণার ফ্রন্টিয়ার-কে এগিয়ে নিয়েছে।
এটি কীভাবে কাজ করে
better.codes-এ GitHub দিয়ে সাইন ইন করুন এবং চ্যালেঞ্জ রিপোজিটরিটি ক্লোন করুন। থিওরেম স্টেটমেন্ট, প্যারামিটার পয়েন্ট এবং ভেরিফিকেশন হারনেস পিন করা আছে; সমাধানকারী-রা একটি নির্দিষ্ট সাবমিশন সারফেসের মধ্যে কাজ করে এবং একটি বৃহত্তর সাউন্ডনেস লোয়ার বাউন্ড প্রমাণ করে, যার স্কোর বিট-এ হিসাব করা হয়।
একটি তুলনাকারী (comparator) পরীক্ষা করে যে প্রতিটি সাবমিশনের এক্সপোর্ট করা থিওরেম পিন করা স্টেটমেন্টের সাথে হুবহু মিলে যায় কিনা এবং Lean কার্নেল প্রমাণটি পরীক্ষা করে। গৃহীত ফলাফলগুলি পাবলিক রিপোজিটরিতে প্রমোট করা হয়, যার কৃতিত্ব সমাধানকারী এবং ব্যবহৃত AI মডেলকে দেওয়া হয়।
সাবমিশনগুলি স্বচ্ছ এবং গিট-ব্যাকড (git-backed)। নতুন লেমা, প্রমাণের কৌশল এবং অসম্ভবতার ফলাফলগুলি আপস্ট্রিম করা হয় যাতে যে কেউ অতীতের ডিফস (diffs) এবং সাবমিশন নোটগুলি পড়তে পারে, পূর্ববর্তী কাজের উপর ভিত্তি করে কাজ করতে পারে এবং ডেড এন্ডগুলি এড়িয়ে যেতে পারে, যা সমস্ত সমাধানকারী এবং এজেন্টদের জন্য ক্রমবর্ধমানভাবে অগ্রগতি এগিয়ে নিয়ে যায়।
এরপর কী আসছে
আজকের লঞ্চটি koalaIRS12-এর প্রমাণিত লোয়ার বাউন্ডকে 128 বিট-এ উন্নীত করার সাউন্ডনেস চ্যালেঞ্জ কভার করে। আমরা সময়ের সাথে সাথে আরও চ্যালেঞ্জ যুক্ত করার আশা করি। যোগ্যতা, মূল্যায়ন, পুরস্কার এবং পেমেন্টগুলি প্রোগ্রামের শর্তাবলী দ্বারা পরিচালিত হয় এবং চ্যালেঞ্জের অগ্রগতির সাথে সাথে সামঞ্জস্য করা হতে পারে।
better.codes-এ শুরু করুন।