ইথেরিয়ামের প্রমাণ খরচ বিটালিকের কঠোর সীমা চ্যালেঞ্জের মুখোমুখি

ভিটালিক বুটেরিন ব্লক গ্যাসের প্রতি ইউনিটে ইথেরিয়াম প্রুভিং খরচের জন্য একটি কঠোর সীমা চাইছেন। বুটেরিন একটি অক্টোবর ১৫-এর পোস্টে জেকেড সিঙ্কের এয়ারবেন্ডার দলকে অভিনন্দন জানান এবং তিনটি ফর্মাল-ভেরিফিকেশন অগ্রাধিকার চিহ্নিত করেন: এক্সিকিউশনের গাণিতিক প্রতিনিধিত্বকে ইথেরিয়ামের স্পেসিফিকেশনের সাথে মেলানো, ব্লক গ্যাসের সাপেক্ষে প্রুভার খরচকে সীমাবদ্ধ করা, এবং প্রুফ সিস্টেমকে নিরাপদ করা। গ্যাস এক্সিকিউশনের কাজের জন্য দায়ী এবং ব্লকের সম্পদের ব্যবহারকে সীমাবদ্ধ করে, কিন্তু একটি উপযোগী প্রুভিং সীমা এই অনুমতির সাথে প্রুফ-জেনারেশন সম্পদকে, অন্তর্ভুক্ত করে—প্রয়োজনীয়ভাবে কঠিন ওয়ার্কলোডগুলিকেও। ইথেরিয়াম ফাউন্ডেশন ২০২৫ সালের ডিসেম্বরে একটি নিরাপত্তা-কেন্দ্রিক পর্যায় ঘোষণা করে।

EIP-7904-এর বর্তমান কম্পিউট খরচ বিশ্লেষণ কম্পিউট গ্যাস খরচে কোনো পরিবর্তনের সুপারিশ করে না এবং ইথেরিয়ামের গ্যাস সময়সূচীতে কোনো পরিবর্তনের নির্দিষ্টকরণ করে না। EIP-7904 হল একটি তথ্যমূলক প্রস্তাব, যা 18 অক্টোবর থেকে শেষ আহ্বানের অবস্থায় রয়েছে, যার জন্য 1 নভেম্বর শেষ তারিখ। EIP-7904-এর বিশ্লেষণটি অপ্টিমাইজড নেটিভ এক্সিকিউশন ক্লায়েন্টগুলিতে প্রতি সেকেন্ডে 100 মিলিয়ন গ্যাসকে লক্ষ্য করে। EIP-7904 তার পরিবর্তিত সিদ্ধান্তকে ব্লক-লেভেল অ্যাকসেস লিস্টগুলির দ্বারা সক্ষম অপ্টিমাইজেশনগুলির জন্য দায়ী করে, যা আগের সমস্যাদায়ক অপারেশনগুলির গতি বাড়ায়। তবে, EIP-7904 একটি বেয়ার CPU-তে এক্সিকিউশনকেই কভার করে এবং ZK-SNARK প্রুফ জেনারেশনকে সুস্পষ্টভাবেই বাদ দেয়, যা ভিন্নধরনেরওয়ার্কলোড প্রয়োগ করে।

অক্টোবর ১৩-এ ZKsync জানায় যে, একটি NVIDIA RTX PRO 6000 Blackwell প্রমাণ করেছে যে ৭,২০০টি ক্রমিক ইথেরিয়াম মেইননেট ব্লকের ৯৯% প্রতিটি ১০ সেকেন্ডের কম সময়ে, সাক্ষ্য প্রস্তুতি সহ। ZKsync জানিয়েছে যে প্রতিটি নমুনা ব্লক ১২ সেকেন্ডের কম সময়ে সম্পন্ন হয়েছে। ZKsync আরও বর্ণনা করেছে যে, দুটি এবং চারটি GPU ব্যবহার করে আলাদা লাইভ ETHproofs কনফিগারেশন। তবে, একটি সর্বোচ্চ খরচের গ্যারান্টি অবশ্যই উল্লিখিত ধারণাগুলির মধ্যে প্রতিটি অনুমোদিত ওয়ার্কলোডকে কভার করতে হবে, যার মধ্যে প্রমাণ করতে ইচ্ছাকৃতভাবে খরচি ব্লকগুলিও অন্তর্ভুক্ত। একটি সাধারণ ব্লক একটি ছোট সেটআপের সাথে ফিট হতে পারে, কিন্তু একটি কঠিন অনুমোদিত ওয়ার্কলোডই একজন অপারেটরকে সময়মতো প্রমাণ তৈরির জন্য প্রয়োজনীয় রিজার্ভ ক্ষমতা নির্ধারণ করে।

জানুয়ারি ২৭-এ নেথারমাইন্ড রিসার্চের লিন ওশিতানি পাঁচটি পরিমাপে দেখেন যে ক্রিপ্টোগ্রাফিক প্রিকমপাইলস এবং কয়েকটি মডুলার অ্যারিথমেটিক বা বিভাজন অপারেশন প্রতি গ্যাসে প্রমাণ করতে সাপেক্ষে ব্যয়বহুল। ওশিতানির পরিমাপগুলি দেখিয়েছে যে খরচগুলি প্রুভারের উপর ভিত্তি করে পরিবর্তিত হয় এবং ZK-সাইকেল গণনা অপারেশনগুলির মধ্যে সমান সময়ের প্রমাণকালীন সময়ে রূপান্তরিত হয়নি। অধ্যয়নটি চারপাশের এক্সিকিউশন কনটেক্সটকে ধ্রুব রেখে অপারেশনের গণনা পরিবর্তন করে প্রান্তিক প্রমাণকালীন সময় অনুমান করেছে। অধ্যয়নটি SP1 v5.2.3, sp1-cluster এবং RISC0 v3.0.4, reth v1.9.3 এবং চারটি NVIDIA GeForce RTX 4090 GPU ব্যবহার করেছে। RISC0 RISC0_KECCAK_PO2=15 সেটিং ব্যবহার করেছে। পরিমাপগুলি স্থির, প্রতিনিধিত্বকারী বা সর্বোত্তম-চেষ্টা-খারাপ-কেস ইনপুটগুলি ব্যবহার করেছে, ব্লক-হেডার বৈধতা বাদ দিয়েছে এবং অকসম্মতভাবে BLOCKHASH বাদ দিয়েছে। আর্গুমেন্ট-নির্ভরশীল খরচগুলির একটি সম্পূর্ণ অনুসন্ধান ভবিষ্যতের কাজ হিসেবেই থেকে গিয়েছে।

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

একটি মহান সার্কিট বা একecution পথ উন্নত করলে ট্রানজেকশন এক্সিকিউশন গ্যাস ইউনিট পরিবর্তন না করেই প্রুফিং কাজ কমানো যেতে পারে, যার ফলে অপারেটররা একই ওয়ার্কলোডের জন্য কম সংস্থান ব্যবহার করতে পারবেন। নেথারমিন্ডের অধ্যয়নে একটি ওজনযুক্ত ZK-গ্যাস মিটিংয়েরও উল্লেখ করা হয়েছে, যা প্রতি-ব্লকের একটি সীমা দিয়ে সাধারণ এক্সিকিউশন-গ্যাস অনুমতি শেষ হওয়ার আগেই প্রুফ-ভারী অপারেশনগুলিকে সীমাবদ্ধ করতে পারে। ওজনযুক্ত ZK-গ্যাস মিটিংয়ের প্রতিরোধমূলক ক্ষমতা নির্ভর করবে ওজনগুলির কতটা সঠিকভাবে কঠিন ইনপুটগুলির প্রতিফলন ঘটানোর উপর। একটি সংস্থান-সীমা গৃহীত কাজকে সীমাবদ্ধ করতে পারে, যদিও এটি অ্যাপ্লিকেশন-ব্যবহারকারীদের পayment বা prover-এর আয়কে নির্ধারণ করে না। একটি proving সংস্থানের জন্য চার্জ করতে হলে অতিরিক্ত ডিজাইন-পছন্দের প্রয়োজন। EIP-7999 এখনও একটি Draft, বহুমাত্রিক ফি-বাজারের প্রস্তাব, যা calldata-কে একটি স্বতন্ত্র সংস্থানের মধ্যে বিভক্ত করে।

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

ইপিআই-৮০২৫ এখনও একটি ড্রাফ্ট ঐচ্ছিক এক্সিকিউশন-প্রুফ প্রস্তাব যা কোনো প্রুভার প্রেরণা প্রদান করে না এবং প্রুফ উপলব্ধ থাকলেও পুনরায় এক্সিকিউশন বজায় রাখে। ইথেরিয়াম ফাউন্ডেশনের সেপ্টেম্বরের অগ্রাধিকারগুলি বাধ্যতামূলক প্রুফগুলিকে পরবর্তীতে স্থান দেয়, যখন ফর্ক অর্ডারিং পর্যালোচনাধীন। ইপিআই-৭৯০৪-এর নভেম্বর ১-এর পর্যালোচনা ডেডলাইনটি CPU বিশ্লেষণকে সম্পর্কিত করে, যখন স্বাধীন প্রুভারদের জন্য একটি সীমা প্রয়োজন যা স্পষ্টভাবে কাজের চাহিদা, বাস্তবায়ন, নিরাপত্তা সেটিংস এবং হার্ডওয়্যার ধারণাগুলির সাথে সংযুক্ত। এইরকম একটি সীমা গ্যাস অনুমতির পরিবর্তে একটি নির্ভরযোগ্য সীমা হিসেবে কাজ করবে যা একজন অপারেটরকে সরবরাহের জন্য প্রস্তুত থাকতে হবে।