জিরো-নলেজ রোলআপস

জিরো-নলেজ রোলআপস (ZK-rollups) হলো লেয়ার ২ স্কেলিং সমাধান যা কম্পিউটেশন এবং স্টেট-স্টোরেজ অফচেইন সরিয়ে নিয়ে Ethereum মেইননেট-এ থ্রুপুট বৃদ্ধি করে। ZK-রোলআপস একটি ব্যাচে হাজার হাজার লেনদেন প্রসেস করতে পারে এবং তারপর মেইননেট-এ শুধুমাত্র কিছু ন্যূনতম সারাংশ ডাটা পোস্ট করে। এই সারাংশ ডাটা ইথিরিয়াম স্টেট-এ যে পরিবর্তনগুলো করা উচিত তা নির্ধারণ করে এবং কিছু ক্রিপ্টোগ্রাফিক প্রমাণ দেয় যে সেই পরিবর্তনগুলো সঠিক।

পূর্বশর্ত

আপনার ইথিরিয়াম স্কেলিং এবং লেয়ার ২ বিষয়ক আমাদের পেজটি পড়া এবং বোঝা উচিত।

জিরো-নলেজ রোলআপস কী?

জিরো-নলেজ রোলআপস (ZK-rollups) লেনদেনগুলোকে ব্যাচে বান্ডিল (বা 'রোল আপ') করে যা অফচেইন এক্সিকিউট করা হয়। অফচেইন কম্পিউটেশন ব্লকচেইন-এ পোস্ট করতে হওয়া ডাটার পরিমাণ কমায়। ZK-রোলআপ অপারেটররা প্রতিটি লেনদেন আলাদাভাবে পাঠানোর পরিবর্তে একটি ব্যাচের সমস্ত লেনদেন উপস্থাপন করার জন্য প্রয়োজনীয় পরিবর্তনগুলোর একটি সারাংশ জমা দেয়। তারা তাদের পরিবর্তনগুলোর সঠিকতা প্রমাণ করার জন্য তৈরি করে।

ZK-রোলআপ-এর স্টেট ইথিরিয়াম নেটওয়ার্ক-এ ডেপ্লয় করা একটি স্মার্ট কন্ট্রাক্ট দ্বারা পরিচালিত হয়। এই স্টেট আপডেট করার জন্য, ZK-রোলআপ নোড-গুলোকে ভেরিফিকেশনের জন্য একটি ভ্যালিডিটি প্রুফ জমা দিতে হবে। যেমনটি উল্লেখ করা হয়েছে, ভ্যালিডিটি প্রুফ হলো একটি ক্রিপ্টোগ্রাফিক নিশ্চয়তা যে রোলআপ দ্বারা প্রস্তাবিত স্টেট-পরিবর্তনটি সত্যিই প্রদত্ত লেনদেন ব্যাচ এক্সিকিউট করার ফলাফল। এর মানে হলো যে ZK-রোলআপস-এর ইথিরিয়াম-এ লেনদেন চূড়ান্ত করার জন্য শুধুমাত্র ভ্যালিডিটি প্রুফ প্রদান করতে হয়, অপ্টিমেস্টিক রোলআপ-এর মতো সমস্ত লেনদেন ডাটা অনচেইন পোস্ট করার পরিবর্তে।

একটি ZK-রোলআপ থেকে ইথিরিয়াম-এ ফান্ড স্থানান্তর করার সময় কোনো বিলম্ব হয় না কারণ ZK-রোলআপ কন্ট্রাক্ট ভ্যালিডিটি প্রুফ যাচাই করার পর এক্সিট লেনদেন এক্সিকিউট করা হয়। বিপরীতভাবে, অপ্টিমেস্টিক রোলআপস থেকে ফান্ড উত্তোলনে বিলম্ব হয় যাতে যে কেউ একটি দিয়ে এক্সিট লেনদেনকে চ্যালেঞ্জ করতে পারে।

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

ZK-রোলআপস কীভাবে ইথিরিয়াম-এর সাথে ইন্টারঅ্যাক্ট করে?

একটি ZK-রোলআপ চেইন হলো একটি অফচেইন প্রটোকল যা ইথিরিয়াম ব্লকচেইন-এর উপরে কাজ করে এবং অনচেইন ইথিরিয়াম স্মার্ট কন্ট্রাক্ট দ্বারা পরিচালিত হয়। ZK-রোলআপস মেইননেট-এর বাইরে লেনদেন এক্সিকিউট করে, কিন্তু পর্যায়ক্রমে অফচেইন লেনদেন ব্যাচগুলোকে একটি অনচেইন রোলআপ কন্ট্রাক্ট-এ কমিট করে। এই লেনদেন রেকর্ডটি ইমমিউটেবল, অনেকটা ইথিরিয়াম ব্লকচেইন-এর মতো, এবং ZK-রোলআপ চেইন গঠন করে।

ZK-রোলআপ-এর মূল আর্কিটেকচার নিচের উপাদানগুলো নিয়ে গঠিত:

1. অনচেইন কন্ট্রাক্টস: যেমনটি উল্লেখ করা হয়েছে, ZK-রোলআপ প্রটোকল ইথিরিয়াম-এ চলা স্মার্ট কন্ট্রাক্ট দ্বারা নিয়ন্ত্রিত হয়। এর মধ্যে মূল কন্ট্রাক্ট অন্তর্ভুক্ত যা রোলআপ ব্লকস সংরক্ষণ করে, ডিপোজিট ট্র্যাক করে এবং স্টেট আপডেটগুলো মনিটর করে। আরেকটি অনচেইন কন্ট্রাক্ট (ভেরিফায়ার কন্ট্রাক্ট) ব্লক প্রডিউসারদের দ্বারা জমা দেওয়া জিরো-নলেজ প্রুফগুলো যাচাই করে। এইভাবে, ইথিরিয়াম ZK-রোলআপ-এর জন্য বেস লেয়ার বা "লেয়ার 1" হিসেবে কাজ করে।

2. অফচেইন ভার্চুয়াল মেশিন (VM): যদিও ZK-রোলআপ প্রটোকল ইথিরিয়াম-এ থাকে, লেনদেন এক্সিকিউশন এবং স্টেট স্টোরেজ EVM-এর থেকে স্বাধীন একটি পৃথক ভার্চুয়াল মেশিনে ঘটে। এই অফচেইন VM হলো ZK-রোলআপ-এ লেনদেন-এর জন্য এক্সিকিউশন পরিবেশ এবং ZK-রোলআপ প্রটোকল-এর জন্য সেকেন্ডারি লেয়ার বা "লেয়ার ২" হিসেবে কাজ করে। ইথিরিয়াম মেইননেট-এ যাচাইকৃত ভ্যালিডিটি প্রুফ অফচেইন VM-এ স্টেট ট্রানজিশনগুলোর সঠিকতার নিশ্চয়তা দেয়।

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

ZK-রোলআপস নিচের বিষয়গুলোর জন্য মূল ইথিরিয়াম প্রটোকল-এর উপর নির্ভর করে:

ডাটা এভেইলএবিলিটি

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

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

ব্যবহারকারীদের রোলআপ-এর সাথে ইন্টারঅ্যাক্ট করার জন্য অনচেইন প্রয়োজন। স্টেট ডাটা-তে অ্যাক্সেস ছাড়া ব্যবহারকারীরা তাদের একাউন্ট ব্যালেন্স জিজ্ঞাসা করতে পারে না বা স্টেট তথ্যের উপর নির্ভর করে এমন লেনদেন (যেমন, উত্তোলন) শুরু করতে পারে না।

লেনদেন ফাইনালিটি

ইথিরিয়াম ZK-রোলআপস-এর জন্য একটি সেটেলমেন্ট লেয়ার হিসেবে কাজ করে: L2 লেনদেন শুধুমাত্র তখনই চূড়ান্ত হয় যদি L1 কন্ট্রাক্ট ভ্যালিডিটি প্রুফ গ্রহণ করে। এটি ক্ষতিকারক অপারেটরদের চেইন দুর্নীতিগ্রস্ত করার (যেমন, রোলআপ ফান্ড চুরি করা) ঝুঁকি দূর করে কারণ প্রতিটি লেনদেন মেইননেট-এ অনুমোদিত হতে হবে। এছাড়াও, ইথিরিয়াম গ্যারান্টি দেয় যে ব্যবহারকারীর অপারেশনগুলো L1-এ চূড়ান্ত হওয়ার পরে আর রিভার্স করা যাবে না।

সেন্সরশিপ প্রতিরোধ

বেশিরভাগ ZK-রোলআপস লেনদেন এক্সিকিউট করতে, ব্যাচ তৈরি করতে এবং L1-এ ব্লকস জমা দিতে একটি "সুপারনোড" (অপারেটর) ব্যবহার করে। যদিও এটি দক্ষতা নিশ্চিত করে, এটি সেন্সরশিপের ঝুঁকি বাড়ায়: ক্ষতিকারক ZK-রোলআপ অপারেটররা ব্যবহারকারীদের লেনদেন ব্যাচে অন্তর্ভুক্ত করতে অস্বীকার করে তাদের সেন্সর করতে পারে।

একটি নিরাপত্তা ব্যবস্থা হিসেবে, ZK-রোলআপস ব্যবহারকারীদের সরাসরি মেইননেট-এ রোলআপ কন্ট্রাক্ট-এ লেনদেন জমা দেওয়ার অনুমতি দেয় যদি তারা মনে করে যে তারা অপারেটর দ্বারা সেন্সর হচ্ছে। এটি ব্যবহারকারীদের অপারেটরের অনুমতির উপর নির্ভর না করে ZK-রোলআপ থেকে ইথিরিয়াম-এ জোরপূর্বক এক্সিট করার অনুমতি দেয়।

ZK-রোলআপস কীভাবে কাজ করে?

লেনদেন

ZK-রোলআপ-এর ব্যবহারকারীরা লেনদেন সাইন করে এবং প্রসেসিং ও পরবর্তী ব্যাচে অন্তর্ভুক্তির জন্য L2 অপারেটরদের কাছে জমা দেয়। কিছু ক্ষেত্রে, অপারেটর হলো একটি সেন্ট্রালাইজড সত্তা, যাকে সিকোয়েন্সার বলা হয়, যে লেনদেন এক্সিকিউট করে, সেগুলোকে ব্যাচে একত্রিত করে এবং L1-এ জমা দেয়। এই সিস্টেমে সিকোয়েন্সার হলো একমাত্র সত্তা যাকে L2 ব্লকস তৈরি করতে এবং ZK-রোলআপ কন্ট্রাক্ট-এ রোলআপ লেনদেন যোগ করার অনুমতি দেওয়া হয়।

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

ZK-রোলআপস কীভাবে ইথিরিয়াম-এ লেনদেন ডাটা প্রকাশ করে

যেমনটি ব্যাখ্যা করা হয়েছে, লেনদেন ডাটা ইথিরিয়াম-এ calldata হিসেবে প্রকাশিত হয়। calldata হলো একটি স্মার্ট কন্ট্রাক্ট-এর একটি ডাটা এরিয়া যা একটি ফাংশনে আর্গুমেন্ট পাস করতে ব্যবহৃত হয় এবং মেমরি-এর মতো আচরণ করে। যদিও calldata ইথিরিয়াম-এর স্টেট-এর অংশ হিসেবে সংরক্ষিত হয় না, এটি ইথিরিয়াম চেইন-এর হিস্ট্রি লগস (opens in a new tab)-এর অংশ হিসেবে অনচেইন থেকে যায়। calldata ইথিরিয়াম-এর স্টেট-কে প্রভাবিত করে না, যা এটিকে অনচেইন ডাটা সংরক্ষণ করার একটি সস্তা উপায় করে তোলে।

calldata কিওয়ার্ডটি প্রায়শই একটি লেনদেন দ্বারা কল করা স্মার্ট কন্ট্রাক্ট মেথডটিকে চিহ্নিত করে এবং বাইটের একটি আরবিট্রারি সিকোয়েন্স আকারে মেথডটিতে ইনপুট ধারণ করে। ZK-রোলআপস অনচেইন সংকুচিত লেনদেন ডাটা প্রকাশ করতে calldata ব্যবহার করে; রোলআপ অপারেটর কেবল রোলআপ কন্ট্রাক্ট-এ প্রয়োজনীয় ফাংশন কল করে একটি নতুন ব্যাচ যোগ করে এবং সংকুচিত ডাটা ফাংশন আর্গুমেন্ট হিসেবে পাস করে। এটি ব্যবহারকারীদের জন্য খরচ কমাতে সাহায্য করে কারণ রোলআপ ফি-এর একটি বড় অংশ অনচেইন লেনদেন ডাটা সংরক্ষণের দিকে যায়।

স্টেট কমিটমেন্টস

ZK-রোলআপ-এর স্টেট, যার মধ্যে L2 একাউন্ট এবং ব্যালেন্স অন্তর্ভুক্ত, একটি মার্কেল ট্রি হিসেবে উপস্থাপন করা হয়। মার্কেল ট্রি-এর রুটের (মার্কেল রুট) একটি ক্রিপ্টোগ্রাফিক হ্যাস অনচেইন কন্ট্রাক্ট-এ সংরক্ষিত থাকে, যা রোলআপ প্রটোকল-কে ZK-রোলআপ-এর স্টেট-এ পরিবর্তনগুলো ট্র্যাক করতে দেয়।

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

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

ভ্যালিডিটি প্রুফ

ZK-রোলআপ অপারেটর L1 কন্ট্রাক্ট-এ যে নতুন স্টেট রুট জমা দেয় তা হলো রোলআপ-এর স্টেট-এ আপডেটের ফলাফল। ধরুন এলিস ববকে 10 টোকেন পাঠায়, অপারেটর কেবল এলিসের ব্যালেন্স 10 কমিয়ে দেয় এবং ববের ব্যালেন্স 10 বাড়িয়ে দেয়। অপারেটর তারপর আপডেট করা একাউন্ট ডাটা হ্যাস করে, রোলআপ-এর মার্কেল ট্রি পুনর্নির্মাণ করে এবং নতুন মার্কেল রুট অনচেইন কন্ট্রাক্ট-এ জমা দেয়।

কিন্তু রোলআপ কন্ট্রাক্ট স্বয়ংক্রিয়ভাবে প্রস্তাবিত স্টেট কমিটমেন্ট গ্রহণ করবে না যতক্ষণ না অপারেটর প্রমাণ করে যে নতুন মার্কেল রুট রোলআপ-এর স্টেট-এ সঠিক আপডেটের ফলে হয়েছে। ZK-রোলআপ অপারেটর একটি ভ্যালিডিটি প্রুফ তৈরি করে এটি করে, যা ব্যাচ করা লেনদেন-এর সঠিকতা যাচাই করার একটি সংক্ষিপ্ত ক্রিপ্টোগ্রাফিক কমিটমেন্ট।

ভ্যালিডিটি প্রুফ পক্ষগুলোকে স্টেটমেন্টটি প্রকাশ না করেই একটি স্টেটমেন্টের সঠিকতা প্রমাণ করার অনুমতি দেয়—তাই, এগুলোকে জিরো-নলেজ প্রুফও বলা হয়। ZK-রোলআপস ইথিরিয়াম-এ লেনদেন পুনরায় এক্সিকিউট না করেই অফচেইন স্টেট ট্রানজিশনগুলোর সঠিকতা নিশ্চিত করতে ভ্যালিডিটি প্রুফ ব্যবহার করে। এই প্রুফগুলো একটি ZK-SNARK (opens in a new tab) (Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) বা ZK-STARK (opens in a new tab) (Zero-Knowledge Scalable Transparent Argument of Knowledge) আকারে আসতে পারে।

SNARKs এবং STARKs উভয়ই ZK-রোলআপস-এ অফচেইন কম্পিউটেশনের অখণ্ডতা প্রমাণ করতে সাহায্য করে, যদিও প্রতিটি প্রুফ টাইপের স্বতন্ত্র বৈশিষ্ট্য রয়েছে।

ZK-SNARKs

ZK-SNARK প্রটোকল কাজ করার জন্য, একটি কমন রেফারেন্স স্ট্রিং (CRS) তৈরি করা প্রয়োজন: CRS ভ্যালিডিটি প্রুফ প্রমাণ এবং যাচাই করার জন্য পাবলিক প্যারামিটার প্রদান করে। প্রুভিং সিস্টেমের নিরাপত্তা CRS সেটআপের উপর নির্ভর করে; যদি পাবলিক প্যারামিটার তৈরি করতে ব্যবহৃত তথ্য ক্ষতিকারক অভিনেতাদের দখলে চলে যায় তবে তারা মিথ্যা ভ্যালিডিটি প্রুফ তৈরি করতে সক্ষম হতে পারে।

কিছু ZK-রোলআপস বিশ্বস্ত ব্যক্তিদের জড়িত করে একটি মাল্টি-পার্টি কম্পিউটেশন সেরিমনি (MPC) (opens in a new tab) ব্যবহার করে এই সমস্যার সমাধান করার চেষ্টা করে, যাতে ZK-SNARK সার্কিটের জন্য পাবলিক প্যারামিটার তৈরি করা যায়। প্রতিটি পক্ষ CRS নির্মাণের জন্য কিছু র‍্যান্ডমনেস (যাকে "টক্সিক ওয়েস্ট" বলা হয়) অবদান রাখে, যা তাদের অবিলম্বে ধ্বংস করতে হবে।

ট্রাস্টেড সেটআপগুলো ব্যবহৃত হয় কারণ এগুলো CRS সেটআপের নিরাপত্তা বাড়ায়। যতক্ষণ পর্যন্ত একজন সৎ অংশগ্রহণকারী তাদের ইনপুট ধ্বংস করে, ZK-SNARK সিস্টেমের নিরাপত্তা নিশ্চিত করা হয়। তবুও, এই পদ্ধতির জন্য জড়িতদের তাদের স্যাম্পল করা র‍্যান্ডমনেস মুছে ফেলার এবং সিস্টেমের নিরাপত্তা গ্যারান্টিগুলোকে ক্ষুণ্ন না করার জন্য বিশ্বাস করা প্রয়োজন।

ট্রাস্ট অনুমানগুলো বাদ দিলে, ZK-SNARKs তাদের ছোট প্রুফ সাইজ এবং কনস্ট্যান্ট-টাইম ভেরিফিকেশনের জন্য জনপ্রিয়। যেহেতু L1-এ প্রুফ ভেরিফিকেশন একটি ZK-রোলআপ পরিচালনার বৃহত্তর খরচ গঠন করে, L2s ZK-SNARKs ব্যবহার করে এমন প্রুফ তৈরি করে যা মেইননেট-এ দ্রুত এবং সস্তায় যাচাই করা যায়।

ZK-STARKs

ZK-SNARKs-এর মতো, ZK-STARKs ইনপুটগুলো প্রকাশ না করেই অফচেইন কম্পিউটেশনের বৈধতা প্রমাণ করে। তবে, ZK-STARKs-কে তাদের স্কেলেবিলিটি এবং স্বচ্ছতার কারণে ZK-SNARKs-এর একটি উন্নতি হিসেবে বিবেচনা করা হয়।

ZK-STARKs হলো 'স্বচ্ছ', কারণ এগুলো একটি কমন রেফারেন্স স্ট্রিং (CRS)-এর ট্রাস্টেড সেটআপ ছাড়াই কাজ করতে পারে। পরিবর্তে, ZK-STARKs প্রুফ তৈরি এবং যাচাই করার জন্য প্যারামিটার সেট আপ করতে সর্বজনীনভাবে যাচাইযোগ্য র‍্যান্ডমনেস-এর উপর নির্ভর করে।

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

ZK-STARKs কোয়ান্টাম কম্পিউটারের বিরুদ্ধেও নিরাপদ, যেখানে ZK-SNARKs-এ ব্যবহৃত এলিপটিক কার্ভ ক্রিপ্টোগ্রাফি (ECC) ব্যাপকভাবে কোয়ান্টাম কম্পিউটিং আক্রমণের জন্য সংবেদনশীল বলে মনে করা হয়। ZK-STARKs-এর নেতিবাচক দিক হলো যে এগুলো বড় প্রুফ সাইজ তৈরি করে, যা ইথিরিয়াম-এ যাচাই করা বেশি ব্যয়বহুল।

ZK-রোলআপস-এ ভ্যালিডিটি প্রুফ কীভাবে কাজ করে?

প্রুফ জেনারেশন

লেনদেন গ্রহণ করার আগে, অপারেটর স্বাভাবিক চেকগুলো সম্পাদন করবে। এর মধ্যে নিশ্চিত করা অন্তর্ভুক্ত যে:

• প্রেরক এবং প্রাপক একাউন্ট স্টেট ট্রি-এর অংশ।
• লেনদেন প্রসেস করার জন্য প্রেরকের কাছে পর্যাপ্ত ফান্ড রয়েছে।
• লেনদেনটি সঠিক এবং রোলআপ-এ প্রেরকের পাবলিক কি-এর সাথে মেলে।
• প্রেরকের নন্স সঠিক, ইত্যাদি।

একবার ZK-রোলআপ নোড-এ পর্যাপ্ত লেনদেন হয়ে গেলে, এটি সেগুলোকে একটি ব্যাচে একত্রিত করে এবং প্রুভিং সার্কিটের জন্য ইনপুটগুলো কম্পাইল করে যাতে একটি সংক্ষিপ্ত ZK-প্রুফ-এ কম্পাইল করা যায়। এর মধ্যে অন্তর্ভুক্ত:

• ব্যাচের সমস্ত লেনদেন নিয়ে গঠিত একটি মার্কেল ট্রি রুট।
• ব্যাচে অন্তর্ভুক্তি প্রমাণ করার জন্য লেনদেন-এর জন্য মার্কেল প্রুফ।
• লেনদেন-এ প্রতিটি প্রেরক-প্রাপক জোড়ার জন্য মার্কেল প্রুফ প্রমাণ করার জন্য যে সেই একাউন্ট-গুলো রোলআপ-এর স্টেট ট্রি-এর অংশ।
• ইন্টারমিডিয়েট স্টেট রুটগুলোর একটি সেট, যা প্রতিটি লেনদেন-এর জন্য স্টেট আপডেট প্রয়োগ করার পরে স্টেট রুট আপডেট করা থেকে প্রাপ্ত (অর্থাৎ, প্রেরক একাউন্ট কমানো এবং প্রাপক একাউন্ট বাড়ানো)।

প্রুভিং সার্কিট প্রতিটি লেনদেন-এর উপর "লুপিং" করে এবং লেনদেন প্রসেস করার আগে অপারেটর যে চেকগুলো সম্পন্ন করেছিল তা সম্পাদন করে ভ্যালিডিটি প্রুফ গণনা করে। প্রথমে, এটি প্রদত্ত মার্কেল প্রুফ ব্যবহার করে যাচাই করে যে প্রেরকের একাউন্ট বিদ্যমান স্টেট রুটের অংশ। তারপর এটি প্রেরকের ব্যালেন্স কমায়, তাদের নন্স বাড়ায়, আপডেট করা একাউন্ট ডাটা হ্যাস করে এবং একটি নতুন মার্কেল রুট তৈরি করতে মার্কেল প্রুফ-এর সাথে একত্রিত করে।

এই মার্কেল রুট ZK-রোলআপ-এর স্টেট-এ একমাত্র পরিবর্তন প্রতিফলিত করে: প্রেরকের ব্যালেন্স এবং নন্স-এ একটি পরিবর্তন। এটি সম্ভব কারণ একাউন্ট-এর অস্তিত্ব প্রমাণ করতে ব্যবহৃত মার্কেল প্রুফ নতুন স্টেট রুট বের করতে ব্যবহৃত হয়।

প্রুভিং সার্কিট প্রাপকের একাউন্ট-এ একই প্রক্রিয়া সম্পাদন করে। এটি চেক করে যে প্রাপকের একাউন্ট ইন্টারমিডিয়েট স্টেট রুটের অধীনে বিদ্যমান কিনা (মার্কেল প্রুফ ব্যবহার করে), তাদের ব্যালেন্স বাড়ায়, একাউন্ট ডাটা পুনরায় হ্যাস করে এবং একটি নতুন স্টেট রুট তৈরি করতে মার্কেল প্রুফ-এর সাথে একত্রিত করে।

প্রক্রিয়াটি প্রতিটি লেনদেন-এর জন্য পুনরাবৃত্তি হয়; প্রতিটি "লুপ" প্রেরকের একাউন্ট আপডেট করা থেকে একটি নতুন স্টেট রুট তৈরি করে এবং প্রাপকের একাউন্ট আপডেট করা থেকে পরবর্তী একটি নতুন রুট তৈরি করে। যেমনটি ব্যাখ্যা করা হয়েছে, স্টেট রুটের প্রতিটি আপডেট রোলআপ-এর স্টেট ট্রি-এর একটি অংশের পরিবর্তনকে উপস্থাপন করে।

ZK-প্রুভিং সার্কিট সম্পূর্ণ লেনদেন ব্যাচের উপর পুনরাবৃত্তি করে, আপডেটের ক্রম যাচাই করে যা শেষ লেনদেন এক্সিকিউট হওয়ার পরে একটি চূড়ান্ত স্টেট রুটে পরিণত হয়। গণনা করা শেষ মার্কেল রুট ZK-রোলআপ-এর নতুন ক্যানোনিকাল স্টেট রুট হয়ে যায়।

প্রুফ ভেরিফিকেশন

প্রুভিং সার্কিট স্টেট আপডেটগুলোর সঠিকতা যাচাই করার পরে, L2 অপারেটর L1-এ ভেরিফায়ার কন্ট্রাক্ট-এ গণনা করা ভ্যালিডিটি প্রুফ জমা দেয়। কন্ট্রাক্ট-এর ভেরিফিকেশন সার্কিট প্রুফ-এর বৈধতা যাচাই করে এবং প্রুফ-এর অংশ গঠনকারী পাবলিক ইনপুটগুলোও চেক করে:

• প্রি-স্টেট রুট: ZK-রোলআপ-এর পুরানো স্টেট রুট (অর্থাৎ, ব্যাচ করা লেনদেন এক্সিকিউট হওয়ার আগে), যা L2 চেইন-এর সর্বশেষ পরিচিত বৈধ স্টেট প্রতিফলিত করে।

• পোস্ট-স্টেট রুট: ZK-রোলআপ-এর নতুন স্টেট রুট (অর্থাৎ, ব্যাচ করা লেনদেন এক্সিকিউট হওয়ার পরে), যা L2 চেইন-এর নতুন স্টেট প্রতিফলিত করে। পোস্ট-স্টেট রুট হলো প্রুভিং সার্কিটে স্টেট আপডেট প্রয়োগ করার পরে প্রাপ্ত চূড়ান্ত রুট।

• ব্যাচ রুট: ব্যাচের মার্কেল রুট, যা ব্যাচে লেনদেন মার্কেলাইজিং করে এবং ট্রি-এর রুট হ্যাস করে প্রাপ্ত হয়।

• লেনদেন ইনপুটস: জমা দেওয়া ব্যাচের অংশ হিসেবে এক্সিকিউট করা লেনদেন-এর সাথে যুক্ত ডাটা।

যদি প্রুফ সার্কিটকে সন্তুষ্ট করে (অর্থাৎ, এটি বৈধ), এর মানে হলো যে বৈধ লেনদেন-এর একটি ক্রম বিদ্যমান যা রোলআপ-কে পূর্ববর্তী স্টেট (প্রি-স্টেট রুট দ্বারা ক্রিপ্টোগ্রাফিকভাবে ফিঙ্গারপ্রিন্ট করা) থেকে একটি নতুন স্টেট-এ (পোস্ট-স্টেট রুট দ্বারা ক্রিপ্টোগ্রাফিকভাবে ফিঙ্গারপ্রিন্ট করা) ট্রানজিশন করে। যদি প্রি-স্টেট রুট রোলআপ কন্ট্রাক্ট-এ সংরক্ষিত রুটের সাথে মেলে এবং প্রুফ বৈধ হয়, তবে রোলআপ কন্ট্রাক্ট প্রুফ থেকে পোস্ট-স্টেট রুট নেয় এবং রোলআপ-এর পরিবর্তিত স্টেট প্রতিফলিত করতে এর স্টেট ট্রি আপডেট করে।

এন্ট্রি এবং এক্সিট

ব্যবহারকারীরা L1 চেইন-এ ডেপ্লয় করা রোলআপ-এর কন্ট্রাক্ট-এ টোকেন জমা দিয়ে ZK-রোলআপ-এ প্রবেশ করে। এই লেনদেনটি সারিবদ্ধ করা হয় কারণ শুধুমাত্র অপারেটররা রোলআপ কন্ট্রাক্ট-এ লেনদেন জমা দিতে পারে।

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

একটি ZK-রোলআপ থেকে L1-এ উত্তোলন করা সহজ। ব্যবহারকারী রোলআপ-এ তাদের সম্পদ বার্ন করার জন্য একটি নির্দিষ্ট একাউন্ট-এ পাঠিয়ে এক্সিট লেনদেন শুরু করে। যদি অপারেটর পরবর্তী ব্যাচে লেনদেনটি অন্তর্ভুক্ত করে, তবে ব্যবহারকারী অনচেইন কন্ট্রাক্ট-এ একটি উত্তোলনের অনুরোধ জমা দিতে পারে। এই উত্তোলনের অনুরোধে নিচের বিষয়গুলো অন্তর্ভুক্ত থাকবে:

• একটি লেনদেন ব্যাচে বার্ন একাউন্ট-এ ব্যবহারকারীর লেনদেন-এর অন্তর্ভুক্তি প্রমাণকারী মার্কেল প্রুফ

• লেনদেন ডাটা

• ব্যাচ রুট

• জমা করা ফান্ড গ্রহণ করার জন্য L1 এডড্রেস

রোলআপ কন্ট্রাক্ট লেনদেন ডাটা হ্যাস করে, ব্যাচ রুট বিদ্যমান কিনা তা চেক করে এবং লেনদেন হ্যাস ব্যাচ রুটের অংশ কিনা তা চেক করতে মার্কেল প্রুফ ব্যবহার করে। এরপর, কন্ট্রাক্ট এক্সিট লেনদেন এক্সিকিউট করে এবং L1-এ ব্যবহারকারীর নির্বাচিত এডড্রেস-এ ফান্ড পাঠায়।

ZK-রোলআপস এবং EVM সামঞ্জস্যতা

অপ্টিমেস্টিক রোলআপস-এর বিপরীতে, ZK-রোলআপস ইথিরিয়াম ভার্চুয়াল মেশিন (EVM)-এর সাথে সহজে সামঞ্জস্যপূর্ণ নয়। সার্কিটে সাধারণ-উদ্দেশ্য EVM কম্পিউটেশন প্রমাণ করা সহজ কম্পিউটেশন (যেমন পূর্বে বর্ণিত টোকেন স্থানান্তর) প্রমাণ করার চেয়ে বেশি কঠিন এবং সম্পদ-নিবিড়।

তবে, জিরো-নলেজ প্রযুক্তিতে অগ্রগতি (opens in a new tab) জিরো-নলেজ প্রুফ-এ EVM কম্পিউটেশন র‍্যাপ করার ক্ষেত্রে নতুন করে আগ্রহ জাগিয়ে তুলছে। এই প্রচেষ্টাগুলো একটি জিরো-নলেজ EVM (zkEVM) ইমপ্লিমেন্টেশন তৈরি করার দিকে পরিচালিত যা দক্ষতার সাথে প্রোগ্রাম এক্সিকিউশনের সঠিকতা যাচাই করতে পারে। একটি zkEVM সার্কিটে প্রমাণ/যাচাই করার জন্য বিদ্যমান EVM অপকোডগুলো পুনরায় তৈরি করে, যা স্মার্ট কন্ট্রাক্ট এক্সিকিউট করার অনুমতি দেয়।

EVM-এর মতো, কিছু ইনপুটে কম্পিউটেশন সম্পাদন করার পরে একটি zkEVM স্টেটগুলোর মধ্যে ট্রানজিশন করে। পার্থক্য হলো যে zkEVM প্রোগ্রামের এক্সিকিউশনের প্রতিটি ধাপের সঠিকতা যাচাই করার জন্য জিরো-নলেজ প্রুফও তৈরি করে। ভ্যালিডিটি প্রুফ সেই অপারেশনগুলোর সঠিকতা যাচাই করতে পারে যা VM-এর স্টেট (মেমরি, স্ট্যাক, স্টোরেজ) এবং কম্পিউটেশন নিজেই স্পর্শ করে (অর্থাৎ, অপারেশনটি কি সঠিক অপকোডগুলোকে কল করেছে এবং সেগুলোকে সঠিকভাবে এক্সিকিউট করেছে?)।

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

ZK-রোলআপ ফি কীভাবে কাজ করে?

ZK-রোলআপস-এ লেনদেন-এর জন্য ব্যবহারকারীরা কত টাকা দেয় তা গ্যাস ফি-এর উপর নির্ভর করে, ঠিক ইথিরিয়াম মেইননেট-এর মতো। তবে, গ্যাস ফি L2-এ ভিন্নভাবে কাজ করে এবং নিচের খরচগুলো দ্বারা প্রভাবিত হয়:

1. স্টেট রাইট: ইথিরিয়াম-এর স্টেট-এ লেখার জন্য একটি নির্দিষ্ট খরচ রয়েছে (অর্থাৎ, ইথিরিয়াম ব্লকচেইন-এ একটি লেনদেন জমা দেওয়া)। ZK-রোলআপস লেনদেন ব্যাচ করে এবং একাধিক ব্যবহারকারীর মধ্যে নির্দিষ্ট খরচ ছড়িয়ে দিয়ে এই খরচ কমায়।

2. ডাটা প্রকাশনা: ZK-রোলআপস প্রতিটি লেনদেন-এর জন্য স্টেট ডাটা ইথিরিয়াম-এ calldata হিসেবে প্রকাশ করে। calldata খরচ বর্তমানে EIP-1559 (opens in a new tab) দ্বারা পরিচালিত হয়, যা যথাক্রমে নন-জিরো বাইটের জন্য 16 গ্যাস এবং calldata-এর জিরো বাইটের জন্য 4 গ্যাস খরচ নির্ধারণ করে। প্রতিটি লেনদেন-এ প্রদত্ত খরচ এর জন্য অনচেইন কতটা calldata পোস্ট করতে হবে তার দ্বারা প্রভাবিত হয়।

3. L2 অপারেটর ফি: এটি লেনদেন প্রসেস করার ক্ষেত্রে হওয়া কম্পিউটেশনাল খরচের ক্ষতিপূরণ হিসেবে রোলআপ অপারেটরকে দেওয়া পরিমাণ, অনেকটা ইথিরিয়াম মেইননেট-এ লেনদেন "প্রায়োরিটি ফি (টিপস)"-এর মতো।

4. প্রুফ জেনারেশন এবং ভেরিফিকেশন: ZK-রোলআপ অপারেটরদের অবশ্যই লেনদেন ব্যাচের জন্য ভ্যালিডিটি প্রুফ তৈরি করতে হবে, যা সম্পদ-নিবিড়। মেইননেট-এ জিরো-নলেজ প্রুফ যাচাই করতেও গ্যাস খরচ হয় (~ 500,000 গ্যাস)।

লেনদেন ব্যাচ করার পাশাপাশি, ZK-রোলআপস লেনদেন ডাটা সংকুচিত করে ব্যবহারকারীদের জন্য ফি কমায়। আপনি ইথিরিয়াম ZK-রোলআপস ব্যবহার করতে কত খরচ হয় তার একটি রিয়েল-টাইম ওভারভিউ দেখতে পারেন (opens in a new tab)।

ZK-রোলআপস কীভাবে ইথিরিয়াম স্কেল করে?

লেনদেন ডাটা কম্প্রেশন

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

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

রিকার্সিভ প্রুফ

জিরো-নলেজ প্রুফ-এর একটি সুবিধা হলো যে প্রুফগুলো অন্যান্য প্রুফ যাচাই করতে পারে। উদাহরণস্বরূপ, একটি একক ZK-SNARK অন্যান্য ZK-SNARKs যাচাই করতে পারে। এই ধরনের "প্রুফ-অফ-প্রুফস"-কে রিকার্সিভ প্রুফ বলা হয় এবং ZK-রোলআপস-এ নাটকীয়ভাবে থ্রুপুট বৃদ্ধি করে।

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

তবে, রিকার্সিভ প্রুফ একটি ভ্যালিডিটি প্রুফ দিয়ে বেশ কয়েকটি ব্লক চূড়ান্ত করা সম্ভব করে তোলে। এর কারণ হলো প্রুভিং সার্কিট রিকার্সিভভাবে একাধিক ব্লক প্রুফ একত্রিত করে যতক্ষণ না একটি চূড়ান্ত প্রুফ তৈরি হয়। L2 অপারেটর এই রিকার্সিভ প্রুফ জমা দেয়, এবং যদি কন্ট্রাক্ট এটি গ্রহণ করে, তবে সমস্ত প্রাসঙ্গিক ব্লকস তাৎক্ষণিকভাবে চূড়ান্ত করা হবে। রিকার্সিভ প্রুফ-এর সাথে, ইথিরিয়াম-এ বিরতিতে চূড়ান্ত করা যায় এমন ZK-রোলআপ লেনদেন-এর সংখ্যা বৃদ্ধি পায়।

ZK-রোলআপস-এর সুবিধা এবং অসুবিধা

ZK-রোলআপস-এর একটি ভিজ্যুয়াল ব্যাখ্যা

Finematics-এর ZK-রোলআপস ব্যাখ্যা দেখুন:

কে zkEVM নিয়ে কাজ করছে?

zkEVM নিয়ে কাজ করা প্রজেক্টগুলোর মধ্যে রয়েছে:

• zkEVM (opens in a new tab) - zkEVM হলো ইথিরিয়াম ফাউন্ডেশন দ্বারা অর্থায়িত একটি প্রজেক্ট যা একটি EVM-সামঞ্জস্যপূর্ণ ZK-রোলআপ এবং ইথিরিয়াম ব্লকস-এর জন্য ভ্যালিডিটি প্রুফ তৈরি করার একটি মেকানিজম তৈরি করে।

• Polygon zkEVM (opens in a new tab) - হলো ইথিরিয়াম মেইননেট-এ একটি ডিসেন্ট্রালাইজড ZK রোলআপ যা একটি জিরো-নলেজ ইথিরিয়াম ভার্চুয়াল মেশিন (zkEVM)-এ কাজ করে যা জিরো-নলেজ-প্রুফ ভ্যালিডেশন সহ স্মার্ট কন্ট্রাক্ট সহ একটি স্বচ্ছ উপায়ে ইথিরিয়াম লেনদেন এক্সিকিউট করে।

• Scroll (opens in a new tab) - Scroll হলো একটি প্রযুক্তি-চালিত কোম্পানি যা ইথিরিয়াম-এর জন্য একটি নেটিভ zkEVM লেয়ার ২ সলিউশন তৈরি করার কাজ করছে।

• Taiko (opens in a new tab) - Taiko হলো একটি ডিসেন্ট্রালাইজড, ইথিরিয়াম-সমতুল্য ZK-রোলআপ (একটি টাইপ 1 ZK-EVM (opens in a new tab))।

• ZKsync (opens in a new tab) - ZKsync Era হলো Matter Labs দ্বারা নির্মিত একটি EVM-সামঞ্জস্যপূর্ণ ZK রোলআপ, যা এর নিজস্ব zkEVM দ্বারা চালিত।

• Starknet (opens in a new tab) - StarkNet হলো StarkWare দ্বারা নির্মিত একটি EVM-সামঞ্জস্যপূর্ণ লেয়ার ২ স্কেলিং সমাধান।

• Morph (opens in a new tab) - Morph হলো একটি হাইব্রিড রোলআপ স্কেলিং সমাধান যা লেয়ার ২ স্টেট চ্যালেঞ্জ সমস্যা সমাধানের জন্য zk-প্রুফ ব্যবহার করে।

• Linea (opens in a new tab) - Linea হলো Consensys দ্বারা নির্মিত একটি ইথিরিয়াম-সমতুল্য zkEVM লেয়ার ২, যা ইথিরিয়াম ইকোসিস্টেমের সাথে সম্পূর্ণভাবে সংযুক্ত।

ZK-রোলআপস সম্পর্কে আরও পড়া

• জিরো-নলেজ রোলআপস কী? (opens in a new tab)
• জিরো-নলেজ রোলআপস কী? (opens in a new tab)
• ইথিরিয়াম রোলআপস-এর ব্যবহারিক গাইড (opens in a new tab)
• STARKs বনাম SNARKs (opens in a new tab)
• zkEVM কী? (opens in a new tab)
• ZK-EVM প্রকার: ইথিরিয়াম-সমতুল্য, EVM-সমতুল্য, টাইপ 1, টাইপ 4, এবং অন্যান্য ক্রিপ্টিক বাজওয়ার্ড (opens in a new tab)
• zkEVM পরিচিতি (opens in a new tab)
• ZK-EVM L2s কী? (opens in a new tab)
• অসাধারণ-zkEVM রিসোর্স (opens in a new tab)
• ZK-SNARKS আন্ডার দ্য হুড (opens in a new tab)
• SNARKs কীভাবে সম্ভব? (opens in a new tab)

টিউটোরিয়াল: ইথিরিয়াম-এ গোপনীয়তা এবং জিরো-নলেজ

• একটি গোপন স্টেট-এর জন্য জিরো-নলেজ ব্যবহার করা – অন-চেইন গোপন গেম স্টেট বজায় রাখতে কীভাবে ZK প্রুফ এবং অফচেইন সার্ভার উপাদানগুলো ব্যবহার করবেন।
• স্টিলথ এডড্রেস ব্যবহার করা – কীভাবে ERC-5564 স্টিলথ এডড্রেস ক্রিপ্টোগ্রাফিক কি ডেরিভেশন ব্যবহার করে বেনামী ETH স্থানান্তর সক্ষম করে।
• web2 প্রমাণীকরণের জন্য ইথিরিয়াম ব্যবহার করা – SAML-ভিত্তিক web2 প্রমাণীকরণ সিস্টেমের সাথে ইথিরিয়াম ওয়ালেট সিগনেচার কীভাবে একীভূত করবেন।