Ethereum-এর better.codes প্রতিযোগিতা এখন একটি গাণিতিক প্রমাণ খাম পরিমাপ করছে, যা গবেষকরা উভয় দিক থেকে আক্রমণ করতে পারেন।
UTC সময় 15:44:47-এ, 21 আগস্টে, লাইভ লিডারবোর্ডে koalaIRS12 এর জন্য 63.99-বিট নিম্ন সার্টিফিকেট এবং 116.13-বিট উচ্চ সার্টিফিকেট দেখানো হয়েছিল। এই দুটি ফলাফল সাতটি সমাধানকারীর নয়টি প্রচারিত জমা পর পর 52.14 বিট অরিজিনাল রেখেছে।
KoalaIRS12 হলো একটি নিদিষ্ট প্যারামিটার প্রোফাইল যা প্রুফ-সিস্টেম গবেষণায় ব্যবহৃত একটি আন্তঃলিয়াকৃত Reed–Solomon হ্রাসের জন্য। চ্যালেঞ্জ সংগ্রহস্থলে এর স্কোরকে স্পট-চেক পরিমাণ হিসেবে সংজ্ঞায়িত করা হয়েছে এবং এটি মাইনাস-লগ2 সম্পূর্ণ সিস্টেমের সুরক্ষা হিসেবে বোঝার জন্য স্পষ্টভাবে বাদ দেওয়া হয়েছে।
লিডারবোর্ড কি প্রমাণ করে
প্রতিযোগিতাটি দুটি ট্র্যাক ব্যবহার করে ব্যবধান বন্ধ করতে।
সাউন্ডনেস ট্র্যাক নিম্ন সার্টিফিকেট বাড়ায়। একটি শংসাপত্রিত ব্যাসে, একটি সফল জমা প্রমাণ করে যে বেঞ্চমার্কের কার্যকরী হ্রাস-ত্রুটি সীমাবদ্ধতা কোডেড লক্ষ্য পূরণ করে, তারপর সেই ব্যাসকে বোর্ডে প্রদর্শিত স্কোরের সাথে মানচিত্র করে।
আক্রমণ ট্র্যাক উচ্চ সার্টিফিকেট হ্রাস করে। এর থিওরেম একটি অ-সুরক্ষিত সুফিক্সকে বেঞ্চমার্কের বিজয়ী-সেট-ঘনত্বের শর্তে শংসাপত্রিত করে। সংগ্রহস্থলটি সরাসরি ওই সুফিক্সকে কভার করে কারণ গঠনটি বিজয়ী-সেট ঘনত্বের জন্য কোন মনোটনিকিটি থিওরেম না থাকার মেয়াদ ধরে।
| মেশিন-চেকড ফলাফল | লাইভ স্কোর | শংসাপত্রিত পরিধি |
|---|---|---|
| Soundness নিম্ন সার্টিফিকেট | 63.99 বিট | koalaIRS12-এর জন্য সংরক্ষিত নিরাপদ পয়েন্ট |
| আক্রমণ উচ্চ সার্টিফিকেট | 116.13 বিট | একই প্যারামিটার প্রোফাইলের জন্য অ-সুরক্ষিত সুফিক্স |
| খোলা ব্যবধান | 52.14 বিট | প্রচারিত সার্টিফিকেটগুলির মধ্যে দূরত্ব |
| Ethereum M3 চাহিদা | 128 বিট | সম্পূর্ণ zkEVM প্রমাণযোগ্য-নিরাপত্তা লক্ষ্য |
একটি নির্দিষ্ট Ethereum M3 থিওরেম সাউন্ডনেস এবং আক্রমণ সার্টিফিকেটের মধ্যে 52.14 বিট অরিজিনাল ব্যবধান উৎপন্ন করেছে, যা সিস্টেমের 128-বিট লক্ষ্য থেকে কম।
উচ্চ-সার্টিফিকেট ট্র্যাকের স্কোর koalaIRS12-এর জন্য আনুষ্ঠানিক সীমানা বর্ণনা করে, যেখানে Ethereum আক্রমণের খরচ একটি পৃথক সিস্টেম-পুরোনো বিশ্লেষণ প্রয়োজন।
Ethereum ফাউন্ডেশনের লঞ্চ ঘোষণার মতে, থিওরেম বিবৃতি, প্যারামিটার পয়েন্ট এবং যাচাইকরণ হার্নেস পিন করা হয়েছে। প্রতিটি জমা প্রয়োজনীয় থিওরেমটি রপ্তানি করে, একটি তুলনাকারী সেই বিবৃতিটি লক্ষ্যটির বিরুদ্ধে পরীক্ষা করে, এবং Lean ক্রীলতা প্রমাণটি প্রচারের আগে যাচাই করে।
গ্রহণ করা ফলাফল প্রমাণ করে যে জমা দেওয়া থিওরেম সেই পিন করা পরিবেশের মধ্যে। উৎপাদন নিশ্চিতকরণও মডেলের সম্পূর্ণতা, এর সংজ্ঞায়িত ধারণাগুলির মধ্যে নিহিত অনুমান, বাস্তবায়নের বিশ্বাসযোগ্যতা এবং পৃথক বিশ্লেষিত উপাদানের সংগঠনকে কভার করতে হবে।
👉 এখনই বোনাস নিন