ইথেরিয়াম ফাউন্ডেশন গতির চেয়ে নিরাপত্তায় পুনরায় মনোনিবেশ করছে – ২০২৬-এর জন্য কঠোর ১২৮-বিট নিয়ম নির্ধারণ করেছে

zkEVM ইকোসিস্টেম লেটেন্সিতে এক বছর স্প্রিন্ট করেছে। একটি Ethereum ব্লকের প্রমাণ করার সময় ১৬ মিনিট থেকে ১৬ সেকেন্ডে নেমে এসেছে, খরচ ৪৫ গুণ কমেছে, এবং অংশগ্রহণকারী zkVM গুলি এখন টার্গেট হার্ডওয়্যারে ১০ সেকেন্ডের মধ্যে মেইননেট ব্লকের ৯৯% প্রমাণ করে।

Ethereum Foundation (EF) ১৮ ডিসেম্বর বিজয় ঘোষণা করেছে: রিয়েল-টাইম প্রমাণ কাজ করে। পারফরম্যান্স বাধাগুলি দূর হয়েছে। এখন আসল কাজ শুরু হয়, কারণ সাউন্ডনেস ছাড়া গতি একটি দায়, সম্পদ নয়, এবং অনেক STARK-ভিত্তিক zkEVM-এর অধীনে গণিত মাসের পর মাস ধরে নিঃশব্দে ভেঙে পড়ছে।

জুলাইয়ে, EF "রিয়েল-টাইম প্রমাণ"-এর জন্য একটি আনুষ্ঠানিক লক্ষ্য নির্ধারণ করেছে যা লেটেন্সি, হার্ডওয়্যার, শক্তি, উন্মুক্ততা এবং নিরাপত্তা একত্রিত করে: প্রায় $১,০০,০০০ মূল্যের হার্ডওয়্যারে এবং ১০ কিলোওয়াটের মধ্যে চলমান, সম্পূর্ণ ওপেন-সোর্স কোড সহ, ১২৮-বিট নিরাপত্তায়, এবং ৩০০ কিলোবাইট বা তার নিচের প্রমাণ আকারে ১০ সেকেন্ডের মধ্যে মেইননেট ব্লকের কমপক্ষে ৯৯% প্রমাণ করুন।

১৮ ডিসেম্বরের পোস্ট দাবি করে যে ইকোসিস্টেম পারফরম্যান্স লক্ষ্য পূরণ করেছে, যেমনটি EthProofs বেঞ্চমার্কিং সাইটে পরিমাপ করা হয়েছে।

রিয়েল-টাইম এখানে ১২-সেকেন্ড স্লট টাইম এবং ব্লক প্রচারের জন্য প্রায় ১.৫ সেকেন্ডের সাপেক্ষে সংজ্ঞায়িত করা হয়েছে। মানটি মূলত "প্রমাণগুলি যথেষ্ট দ্রুত প্রস্তুত যাতে ভ্যালিডেটররা লাইভনেস ভঙ্গ না করে তাদের যাচাই করতে পারে।"

EF এখন থ্রুপুট থেকে সাউন্ডনেসে পিভট করে, এবং পিভটটি স্পষ্ট। অনেক STARK-ভিত্তিক zkEVM বিজ্ঞাপিত নিরাপত্তা স্তর অর্জনের জন্য অপ্রমাণিত গাণিতিক অনুমানের উপর নির্ভর করেছে।

গত মাসগুলিতে, সেই অনুমানগুলির কিছু, বিশেষত হ্যাশ-ভিত্তিক SNARK এবং STARK লো-ডিগ্রি পরীক্ষায় ব্যবহৃত "প্রক্সিমিটি গ্যাপ" অনুমান, গাণিতিকভাবে ভাঙা হয়েছে, যা তাদের উপর নির্ভরশীল প্যারামিটার সেটগুলির কার্যকর বিট-নিরাপত্তা কমিয়ে দিয়েছে।

EF বলে যে L1 ব্যবহারের জন্য একমাত্র গ্রহণযোগ্য শেষ খেলা হল "প্রমাণযোগ্য নিরাপত্তা," "অনুমান X ধরে রাখার ধারণায় নিরাপত্তা" নয়।

তারা ১২৮-বিট নিরাপত্তাকে লক্ষ্য হিসাবে সেট করেছে, এটিকে মূলধারার ক্রিপ্টো মান সংস্থা এবং দীর্ঘজীবী সিস্টেমের একাডেমিক সাহিত্যের সাথে সংযুক্ত করেছে, সেইসাথে বাস্তব-বিশ্বের রেকর্ড গণনার সাথে যা দেখায় যে ১২৮ বিট বাস্তবসম্মতভাবে আক্রমণকারীদের নাগালের বাইরে।

গতির উপর সাউন্ডনেসের উপর জোর দেওয়া একটি গুণগত পার্থক্য প্রতিফলিত করে।

যদি কেউ একটি zkEVM প্রমাণ জাল করতে পারে, তারা নির্বিচারে টোকেন মিন্ট করতে পারে বা L1 স্টেট পুনর্লিখন করতে পারে এবং সিস্টেমকে মিথ্যা বলাতে পারে, শুধু একটি চুক্তি ড্রেন করা নয়।

এটি যা EF যেকোনো L1 zkEVM-এর জন্য একটি "অ-আলোচনাযোগ্য" নিরাপত্তা মার্জিন বলে তাকে ন্যায্যতা দেয়।

তিন-মাইলস্টোন রোডম্যাপ

পোস্টটি তিনটি হার্ড স্টপ সহ একটি পরিষ্কার রোডম্যাপ তুলে ধরে। প্রথম, ফেব্রুয়ারি ২০২৬-এর শেষের মধ্যে, প্রতিযোগিতায় থাকা প্রতিটি zkEVM টিম তার প্রমাণ সিস্টেম এবং সার্কিট "soundcalc"-এ প্লাগ করে, একটি EF-রক্ষণাবেক্ষণকারী টুল যা বর্তমান ক্রিপ্টোঅ্যানালিটিক সীমা এবং স্কিমের প্যারামিটারের উপর ভিত্তি করে নিরাপত্তা অনুমান গণনা করে।

এখানে গল্পটি হল "সাধারণ শাসক।" প্রতিটি টিম তাদের নিজস্ব বিট নিরাপত্তা বিশেষ অনুমানের সাথে উদ্ধৃত করার পরিবর্তে, soundcalc ক্যানোনিকাল ক্যালকুলেটর হয়ে ওঠে এবং নতুন আক্রমণ দেখা দিলে আপডেট করা যায়।

দ্বিতীয়, মে ২০২৬-এর শেষের মধ্যে "Glamsterdam" soundcalc-এর মাধ্যমে কমপক্ষে ১০০-বিট প্রমাণযোগ্য নিরাপত্তা, ৬০০ কিলোবাইট বা তার নিচে চূড়ান্ত প্রমাণ, এবং প্রতিটি টিমের রিকার্শন আর্কিটেকচারের একটি কমপ্যাক্ট পাবলিক ব্যাখ্যা দাবি করে যেখানে কেন এটি সাউন্ড হওয়া উচিত তার একটি স্কেচ থাকবে।

এটি নিঃশব্দে প্রাথমিক স্থাপনার জন্য মূল ১২৮-বিট প্রয়োজনীয়তা থেকে পিছিয়ে যায় এবং ১০০ বিটকে একটি অন্তর্বর্তী লক্ষ্য হিসাবে বিবেচনা করে।

তৃতীয়, ২০২৬-এর শেষের মধ্যে "H-star" হল সম্পূর্ণ বার: soundcalc দ্বারা ১২৮-বিট প্রমাণযোগ্য নিরাপত্তা, ৩০০ কিলোবাইট বা তার নিচে প্রমাণ, প্লাস রিকার্শন টপোলজির জন্য একটি আনুষ্ঠানিক নিরাপত্তা যুক্তি। এখানেই এটি ইঞ্জিনিয়ারিং সম্পর্কে কম এবং আনুষ্ঠানিক পদ্ধতি এবং ক্রিপ্টোগ্রাফিক প্রমাণ সম্পর্কে বেশি হয়ে ওঠে।

প্রযুক্তিগত লিভার

EF ১২৮-বিট, সাব-৩০০-কিলোবাইট লক্ষ্য সম্ভব করার জন্য বেশ কয়েকটি সুনির্দিষ্ট সরঞ্জাম নির্দেশ করে। তারা WHIR হাইলাইট করে, একটি নতুন Reed-Solomon প্রক্সিমিটি টেস্ট যা একটি মাল্টিলিনিয়ার পলিনোমিয়াল কমিটমেন্ট স্কিম হিসাবে দ্বিগুণ কাজ করে।

WHIR স্বচ্ছ, পোস্ট-কোয়ান্টাম নিরাপত্তা প্রদান করে এবং প্রমাণ তৈরি করে যা একই নিরাপত্তা স্তরে পুরানো FRI-স্টাইল স্কিমগুলির তুলনায় ছোট এবং যাচাইকরণ দ্রুততর।

১২৮-বিট নিরাপত্তায় বেঞ্চমার্কগুলি প্রায় ১.৯৫ গুণ ছোট প্রমাণ এবং বেসলাইন নির্মাণের তুলনায় কয়েকগুণ দ্রুত যাচাইকরণ দেখায়।

তারা "JaggedPCS" উল্লেখ করে, পলিনোমিয়াল হিসাবে ট্রেস এনকোড করার সময় অতিরিক্ত প্যাডিং এড়ানোর জন্য কৌশলগুলির একটি সেট, যা প্রুভারদের অপ্রয়োজনীয় কাজ এড়াতে দেয় যখন এখনও সংক্ষিপ্ত কমিটমেন্ট তৈরি করে।

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

এক্সোটিক পলিনোমিয়াল গণিত এবং রিকার্শন কৌশল ব্যবহার করে নিরাপত্তা ১২৮ বিটে বাড়ানোর পরে প্রমাণ আবার সঙ্কুচিত করা হচ্ছে।

Whirlaway-এর মতো স্বাধীন কাজ উন্নত দক্ষতার সাথে মাল্টিলিনিয়ার STARK তৈরি করতে WHIR ব্যবহার করে, এবং আরও পরীক্ষামূলক পলিনোমিয়াল-কমিটমেন্ট নির্মাণ ডেটা-প্রাপ্যতা স্কিম থেকে তৈরি করা হচ্ছে।

গণিত দ্রুত এগিয়ে চলছে, তবে এটি ছয় মাস আগে নিরাপদ দেখা অনুমান থেকেও দূরে সরে যাচ্ছে।

কী পরিবর্তন হয় এবং খোলা প্রশ্নগুলি

যদি প্রমাণগুলি ধারাবাহিকভাবে ১০ সেকেন্ডের মধ্যে প্রস্তুত হয় এবং ৩০০ কিলোবাইটের নিচে থাকে, Ethereum ভ্যালিডেটরদের প্রতিটি লেনদেন পুনরায় কার্যকর করতে বাধ্য না করে গ্যাস সীমা বাড়াতে পারে।

ভ্যালিডেটররা পরিবর্তে একটি ছোট প্রমাণ যাচাই করবে, ব্লক ক্ষমতা বৃদ্ধি করতে দেবে যখন হোম-স্টেকিং বাস্তবসম্মত রাখবে। এই কারণেই EF-এর আগের রিয়েল-টাইম পোস্ট লেটেন্সি এবং শক্তি স্পষ্টভাবে "হোম প্রমাণ" বাজেটের সাথে যুক্ত করেছে যেমন ১০ কিলোওয়াট এবং সাব-$১,০০,০০০ রিগ।

বড় নিরাপত্তা মার্জিন এবং ছোট প্রমাণের সমন্বয়ই একটি "L1 zkEVM"-কে একটি বিশ্বাসযোগ্য সেটেলমেন্ট লেয়ার করে তোলে। যদি সেই প্রমাণগুলি দ্রুত এবং প্রমাণযোগ্যভাবে ১২৮-বিট সুরক্ষিত উভয়ই হয়, L2 এবং zk-rollup প্রিকম্পাইলের মাধ্যমে একই যন্ত্র পুনঃব্যবহার করতে পারে, এবং "রোলআপ" এবং "L1 এক্সিকিউশন"-এর মধ্যে পার্থক্য একটি কঠোর সীমানার চেয়ে বেশি কনফিগারেশন পছন্দ হয়ে ওঠে।

রিয়েল-টাইম প্রমাণ বর্তমানে একটি অফ-চেইন বেঞ্চমার্ক, অন-চেইন বাস্তবতা নয়। লেটেন্সি এবং খরচ সংখ্যা EthProofs-এর কিউরেটেড হার্ডওয়্যার সেটআপ এবং ওয়ার্কলোড থেকে আসে।

এটি এবং হাজার হাজার স্বাধীন ভ্যালিডেটর প্রকৃতপক্ষে বাড়িতে এই প্রুভার চালানোর মধ্যে এখনও একটি ফাঁক রয়েছে। নিরাপত্তার গল্প পরিবর্তনশীল। soundcalc-এর অস্তিত্বের সম্পূর্ণ কারণ হল STARK এবং হ্যাশ-ভিত্তিক SNARK নিরাপত্তা প্যারামিটারগুলি অনুমান অপ্রমাণিত হওয়ার সাথে সাথে চলমান থাকে।

সাম্প্রতিক ফলাফলগুলি "নিশ্চিতভাবে নিরাপদ," "অনুমানমূলকভাবে নিরাপদ," এবং "নিশ্চিতভাবে অনিরাপদ" প্যারামিটার ব্যবস্থাগুলির মধ্যে লাইন পুনর্লিখন করেছে, যার অর্থ আজকের "১০০-বিট" সেটিংস নতুন আক্রমণ দেখা দিলে আবার সংশোধন করা হতে পারে।

এটি স্পষ্ট নয় যে সমস্ত প্রধান zkEVM টিম প্রকৃতপক্ষে মে ২০২৬-এর মধ্যে ১০০-বিট প্রমাণযোগ্য নিরাপত্তা এবং ডিসেম্বর ২০২৬-এর মধ্যে ১২৮-বিট প্রমাণ-আকার সীমার নিচে থেকে অর্জন করবে কিনা, বা কেউ নিঃশব্দে কম মার্জিন গ্রহণ করবে, ভারী অনুমানের উপর নির্ভর করবে, বা আরও দীর্ঘ সময়ের জন্য যাচাইকরণ অফ-চেইনে ঠেলে দেবে।

সবচেয়ে কঠিন অংশ গণিত বা GPU নাও হতে পারে, তবে সম্পূর্ণ রিকার্শন আর্কিটেকচার আনুষ্ঠানিক করা এবং অডিট করা।

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

এটি Verified-zkEVM এবং আনুষ্ঠানিক যাচাইকরণ ফ্রেমওয়ার্কের মতো প্রকল্পগুলির জন্য কাজের একটি দীর্ঘ লেজ খোলে, যা এখনও ইকোসিস্টেম জুড়ে প্রাথমিক এবং অসম।

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

পারফরম্যান্স স্প্রিন্ট শেষ। নিরাপত্তা প্রতিযোগিতা এখন শুরু হয়েছে।

Ethereum Foundation নিরাপত্তায় গতির উপর পুনরায় ফোকাস করে – ২০২৬-এর জন্য কঠোর ১২৮-বিট নিয়ম সেট করে পোস্টটি প্রথম CryptoSlate-এ প্রকাশিত হয়েছে।