লেয়ার ১ (l1) ব্লক যাচাইকরণের জন্য zkEVM

zkEVM হলো এমন একটি প্রযুক্তি যা ইথেরিয়াম ব্লক এক্সিকিউশন যাচাই করতে শূন্য-জ্ঞান প্রমাণ ব্যবহার করে। প্রতিটি -কে একটি ব্লকের সমস্ত ট্রানজ্যাকশন পুনরায় এক্সিকিউট করার পরিবর্তে, একজন একক বিশেষায়িত অংশগ্রহণকারী (যাকে "প্রমাণকারী" বলা হয়) ব্লকটি এক্সিকিউট করে এবং একটি ক্রিপ্টোগ্রাফিক প্রমাণ তৈরি করে যে এক্সিকিউশনটি সঠিক ছিল। এরপর যেকোনো নোড এই প্রমাণটি যাচাই করতে পারে—এমন একটি প্রক্রিয়া যা সমস্ত ট্রানজ্যাকশন পুনরায় এক্সিকিউট করার চেয়ে বহুগুণ সস্তা।

পুনরায় এক্সিকিউট করার সমস্যা

বর্তমানে, ইথেরিয়াম একটি "N-of-N" যাচাইকরণ মডেল ব্যবহার করে: প্রস্তাবিত স্টেট পরিবর্তনগুলো সঠিক কিনা তা যাচাই করতে প্রতিটি ভ্যালিডেটরকে স্বাধীনভাবে প্রতিটি ব্লকের প্রতিটি ট্রানজ্যাকশন পুনরায় এক্সিকিউট করতে হয়। যদিও এই পদ্ধতিটি সর্বাধিক আস্থা-নিরপেক্ষ, এটি একটি মৌলিক বাধা তৈরি করে।

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

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

zkEVM লেয়ার ১ (l1) যাচাইকরণ কীভাবে কাজ করে

zkEVM যাচাইকরণ ব্লক যাচাইকরণকে একটি "1-of-N" মডেলে রূপান্তরিত করে:

1. এক্সিকিউশন: একজন প্রমাণকারী একটি ব্লকের সমস্ত ট্রানজ্যাকশন এক্সিকিউট করে, প্রতিটি স্টেট পরিবর্তনের ট্র্যাক রাখে
2. প্রমাণ করা: প্রমাণকারী একটি ক্রিপ্টোগ্রাফিক প্রমাণ (একটি SNARK বা STARK) তৈরি করে যা এক্সিকিউশনের সঠিকতার সত্যায়ন করে
3. যাচাইকরণ: ভ্যালিডেটররা ট্রানজ্যাকশনগুলো পুনরায় এক্সিকিউট করার পরিবর্তে প্রমাণটি যাচাই করে—এটি সম্পূর্ণ পুনরায় এক্সিকিউট করার চেয়ে নাটকীয়ভাবে সস্তা

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

টাইপ 1 zkEVM

ইথেরিয়ামের সাথে সামঞ্জস্যের ওপর ভিত্তি করে zkEVM-গুলোকে বিভিন্ন টাইপে শ্রেণীবদ্ধ করা হয়:

• টাইপ 1: সম্পূর্ণ ইথেরিয়াম-সমতুল্য। EVM-এ কোনো পরিবর্তন নেই, তাই যেকোনো ইথেরিয়াম ব্লক ঠিক যেমন আছে তেমনই প্রমাণ করা যেতে পারে
• টাইপ 2-4: প্রমাণ করা সহজ করার জন্য EVM-এর আচরণ পরিবর্তন করে বিভিন্ন আপস করে

লেয়ার ১ (l1) যাচাইকরণের জন্য, টাইপ 1 অপরিহার্য। zkEVM-কে অবশ্যই এজ কেস এবং ঐতিহাসিক ব্লকসহ যেকোনো বৈধ ইথেরিয়াম ব্লক প্রমাণ করতে সক্ষম হতে হবে। ইথেরিয়ামের সঠিক আচরণ থেকে যেকোনো বিচ্যুতি ঐক্যমত সংক্রান্ত সমস্যা তৈরি করবে।

ইথেরিয়াম ফাউন্ডেশনের zkEVM গবেষণা টাইপ 1 বাস্তবায়নের ওপর ফোকাস করে যা বিদ্যমান ইথেরিয়াম এক্সিকিউশনের সাথে সম্পূর্ণ সামঞ্জস্যপূর্ণ।

ইথেরিয়ামের জন্য সুবিধা

উচ্চতর থ্রুপুট

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

শক্তিশালী বিকেন্দ্রীকরণ

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

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

অনুমানযোগ্য চূড়ান্ততা

ব্লকের জটিলতা নির্বিশেষে প্রমাণ যাচাইকরণ ধ্রুবক সময়ে কাজ করে। এটি সত্যায়ন সময়কে আরও অনুমানযোগ্য করে তোলে এবং মিস হওয়া সত্যায়নগুলো হ্রাস করে যা তখন ঘটতে পারে যখন ভ্যালিডেটররা সময়মতো জটিল ব্লকগুলো প্রসেস করতে সংগ্রাম করে।

রিয়েল-টাইম প্রমাণ করার চ্যালেঞ্জ

zkEVM লেয়ার ১ (l1) যাচাইকরণের প্রধান চ্যালেঞ্জ হলো গতি। ইথেরিয়াম ব্লকগুলো প্রতি 12 সেকেন্ডে তৈরি হয়, যার অর্থ ঐক্যমতের জন্য কার্যকর হতে হলে প্রমাণগুলোকেও একই সময়সীমার মধ্যে তৈরি করতে হবে।

বর্তমান zkEVM বাস্তবায়নগুলোতে একটি একক ব্লক প্রমাণ করতে কয়েক মিনিট থেকে কয়েক ঘণ্টা সময় লাগতে পারে। গবেষণা এই ব্যবধান কমানোর ওপর ফোকাস করে:

• প্যারালালাইজেশন: একাধিক মেশিনে প্রমাণ করার কাজ বিতরণ করা
• বিশেষায়িত হার্ডওয়্যার: ZK প্রমাণ করার জন্য অপ্টিমাইজ করা সার্কিট এবং হার্ডওয়্যার ডিজাইন করা
• অ্যালগরিদমিক উন্নতি: আরও দক্ষ প্রমাণ সিস্টেম এবং সার্কিট ডিজাইন
• ইনক্রিমেন্টাল প্রুভিং: ট্রানজ্যাকশন এক্সিকিউট হওয়ার পরে নয়, বরং এক্সিকিউট হওয়ার সাথে সাথে প্রমাণ তৈরি করা

বর্তমান গবেষণা এবং বাস্তবায়ন

ইথেরিয়াম ফাউন্ডেশন প্রাইভেসি স্টুয়ার্ডস অফ ইথেরিয়াম (PSE) (opens in a new tab) টিমের মাধ্যমে zkEVM গবেষণায় অর্থায়ন করে। মূল গবেষণার ট্র্যাকগুলোর মধ্যে রয়েছে:

• রিয়েল-টাইম প্রমাণ করা: 12-সেকেন্ডের স্লটের মধ্যে সম্পূর্ণ ব্লক প্রমাণ তৈরি করা
• ক্লায়েন্ট ইন্টিগ্রেশন: এক্সিকিউশন ক্লায়েন্ট এবং প্রমাণকারীদের মধ্যে ইন্টারফেস প্রমিত করা
• অর্থনৈতিক প্রণোদনা: টেকসই প্রমাণকারী বাজার এবং ফি কাঠামো ডিজাইন করা

বাস্তবায়নের অবস্থা

ইথেরিয়াম ব্লক প্রমাণ করার জন্য বেশ কয়েকটি zkVM বাস্তবায়ন তৈরি এবং পরীক্ষা করা হচ্ছে:

এগুলো EVM বাইটকোড এক্সিকিউট করতে RISC-V ভিত্তিক ভার্চুয়াল মেশিন ব্যবহার করে, তারপর সঠিক এক্সিকিউশনের ZK প্রমাণ তৈরি করে। আপ-টু-ডেট পরীক্ষার ফলাফল এবং অগ্রগতি ইথেরিয়াম ফাউন্ডেশনের zkVM ট্র্যাকার (opens in a new tab)-এ ট্র্যাক করা হয়।

অন্যান্য আপগ্রেডের সাথে zkEVM কীভাবে মানানসই হয়

zkEVM লেয়ার ১ (l1) যাচাইকরণ ইথেরিয়ামের অন্যান্য বেশ কয়েকটি রোডম্যাপ আইটেমের সাথে যুক্ত:

• ভার্কেল ট্রি: স্টেটহীন যাচাইকরণের জন্য ছোট উইটনেস সক্ষম করে, যা প্রমাণকারীদের কাজ করার জন্য প্রয়োজনীয় ডেটা হ্রাস করে
• স্টেটহীনতা: zkEVM একটি মূল সহায়ক—এক্সিকিউশনের ZK প্রমাণের মাধ্যমে, ব্লক যাচাই করার জন্য নোডগুলোর সম্পূর্ণ স্টেটের প্রয়োজন হয় না
• প্রপোজার-বিল্ডার সেপারেশন (pbs): ব্লক বিল্ডাররা সম্ভাব্যভাবে প্রমাণ তৈরিকে একীভূত করতে পারে, অথবা একটি পৃথক প্রমাণকারী বাজার আবির্ভূত হতে পারে
• একক স্লট চূড়ান্তকরণ: দ্রুত প্রমাণ তৈরি ক্রিপ্টোগ্রাফিক গ্যারান্টিসহ একক-স্লট চূড়ান্তকরণ সক্ষম করতে পারে

আরও পড়ুন

• zkEVM Foundation (opens in a new tab) - অফিসিয়াল ইথেরিয়াম ফাউন্ডেশন zkEVM গবেষণা হাব
• Ethproofs (opens in a new tab) - রিয়েল-টাইমে ইথেরিয়াম প্রমাণ করার প্রতিযোগিতা ট্র্যাক করুন
• zkevm.fyi (opens in a new tab) - লেয়ার ১ (l1)-এর জন্য zkEVM-এর ওপর প্রযুক্তিগত বই
• PSE zkEVM Specs (opens in a new tab) - প্রযুক্তিগত স্পেসিফিকেশন
• The Verge (opens in a new tab) - যাচাইকরণ উন্নতির ওপর ভিটালিকের ওভারভিউ
• EF zkEVM Blog (opens in a new tab) - EF টিমের পারফরম্যান্স বিশ্লেষণ

পেজ সর্বশেষ আপডেট করা হয়েছে: 6 জুন, 2026

J

w (opens in a new tab)

অবদানকারীদের দেখুন