ওয়েসিস নেটওয়ার্ক আর্কিটেচার:স্কেলিং এর নকশা

Consensus স্তরে রোলআপের জন্য নেটিভ সমর্থন সহ একমাত্র ব্লকচেইন

Disclaimer: This post is a community translation produced by a member of the Oasis network community. Strict checks are made to provide accurate translations, but they may be subject to errors or omissions. Oasis Network is not responsible for the accuracy, reliability or currency of the translated information. Original publication in English Oasis Network Architecture: Designed for Scaling

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

Layer 2 স্কেলিং সমাধানগুলো বিবর্তিত হয়েছে “সাইডচেইন” থেকে “কমিটচেইন”, “রোলআপস”, এবং ভেলিডেটিং ব্রিজ পর্যন্ত। “রোলআপ” বলতে একটি স্মার্ট কন্ট্রাক্ট ভার্চুয়াল মেশিন (VM) চালানো বোঝায় যেখানে VM-এর স্টেট পর্যায়ক্রমে যাচাই করা হয় এবং একটি অন্তর্নিহিত ব্লকচেইনের জন্য কম খরচে সমর্পিত থাকে এবং একটি উচ্চ থ্রুপুট হারে স্মার্ট কন্ট্রাক্ট কার্যকারিতা প্রদানের জন্য , যা সরাসরি স্মার্ট কন্ট্রাক্ট চালানোর বিপরীতে অন্তর্নিহিত ব্লকচেইন। অন্তর্নিহিত ব্লকচেইনে করা যাচাইকরণ রাষ্ট্রীয় পরিবর্তনগুলিকে সুরক্ষা প্রদান করে করে এবং অফ-চেইন গণনা স্মার্ট চুক্তি সম্পাদনকে স্কেল করার অনুমতি দেয়।

আমরা এদের রোলআপস বলি না, কিন্তু এভাবেই ওয়েসিস নেটওয়ার্ক’র প্যারাটাইম অথবা কম্পিউট লেয়ার কাজ করে।

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

Oasis নেটওয়ার্ক শুধুমাত্র একটি নেটওয়ার্ক নয় যা নেটিভলি রোলআপগুলিকে সমর্থন করে, আর্কিটেকচারটি রোলআপ এবং শুধুমাত্র রোলআপগুলির জন্যই অপ্টিমাইজ করা হয়েছে: এটি সাধারণ গণনাকে সর্বসম্মত স্তরে রাখতে নিরুৎসাহিত করে এবং সেখানে শুধুমাত্র অন্তর্নির্মিত চুক্তিগুলি চালানোর অনুমতি দেয় ৷ এই অন্তর্নির্মিত চুক্তিগুলি হল রোলআপ কথায় ভেলিডেটিং ব্রিজ ‘র বৈধতা। যদিও ওয়েসিস আর্কিটেকচার ডিজাইনের লক্ষ্যগুলি ছিল একটি মডুলার লেয়ার-1 ব্লকচেইনের জন্য যা স্মার্ট কন্ট্রাক্টকে সমর্থন করে, কেউ যুক্তি দিতে পারে যে মডুলারিটির ফলাফল হল যে ওয়েসিস কনসেনসাস লেয়ার হল একটি ব্লকচেইন যা শুধুমাত্র রোলআপগুলিকে সমর্থন করে, যেহেতু রোলআপ লেন্সের মাধ্যমে দেখা হয়েছে যে সমস্ত প্যারাটাইমস লেয়ার ২ রোলআপ ভার্চুয়াল মেশিন।

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

একজন এটাও বলতে পারে যে ওয়েসিস নেটওয়ার্ক হল প্রথম নেটওয়ার্ক যা স্থানীয়ভাবে রোলআপগুলিকে সমর্থন করে৷ এবং “লেয়ার ১”/”লেয়ার ২” এর নামকরণ অপর্যাপ্তভাবে বর্ণনামূলক/সুনির্দিষ্ট।

একে কনভারজেন্ট ডিজাইন বলে। আসুন এই জিনিসটির অর্থ কী তা দেখি করি এবং কিছু বিবরণে যাই।

রোলআপস এর বৈশিষ্ঠ

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

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

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

যেভাবে রোলআপগুলি ভার্চুয়াল মেশিনের বৈধতা দেয় তা দুটি আকারে আসে:

• আশাবাদী রোলআপ, যেখানে একটি দাবিকৃত এক্সিকিউশনের ফলাফল সর্বজনীনভাবে পোস্ট করা হয় এবং সম্ভাব্য চ্যালেঞ্জ করা হয়
• zk রোলআপ যেখানে SNARK গুলি সঠিকতার প্রমাণ তৈরি করতে ব্যবহৃত হয়।

মূল পার্থক্য হল আশাবাদী রোলআপগুলি “প্রতারণার প্রমাণ” ব্যবহার করে যেখানে চ্যালেঞ্জাররা প্রমাণ একত্রিত করে যে দাবীকৃত মৃত্যুদন্ডের ফলাফল ভুল বা প্রতারণামূলক, এবং zk রোলআপগুলি একটি “বৈধতা প্রমাণ” ব্যবহার করে যা নির্বাহকরা রোলআপ ভার্চুয়াল মেশিনের অবস্থার সাথে প্রকাশ করে। , এবং প্রমাণের সঠিকতা যাচাই করে যাচাইকারী ব্রিজ স্মার্ট চুক্তি। উভয় ক্ষেত্রেই, অন্য অংশগ্রহণকারীদের নতুন রাষ্ট্র দেখার অনুমতি দেওয়ার জন্য এবং হয় রাজ্যটি ভুল তা আবিষ্কার করতে এবং আশাবাদী রোলআপের ক্ষেত্রে একটি জালিয়াতির প্রমাণ তৈরি করার জন্য সময় প্রয়োজন; অথবা একটি প্রমাণ যাচাইকরণ অ্যালগরিদম চালান যাতে একটি zk রোলআপের ক্ষেত্রে, যখন এটি ভুল হয় তখন একটি কথিত প্রমাণ প্রত্যাখ্যান করতে। যদিও এটি একটি ছোটখাটো পার্থক্য বলে মনে হতে পারে, উভয় ক্ষেত্রেই, একটি জালিয়াতির প্রমাণ তৈরি করতে বা বৈধতার প্রমাণটি সঠিক কিনা তা পরীক্ষা করতে কাজ করতে হবে। পার্থক্য হল যে সাধারণত জালিয়াতির প্রমাণগুলির মধ্যে লেনদেনগুলি পুনঃনির্বাহ করা হয়, যেখানে ক্রিপ্টোগ্রাফিক কৌশলগুলি ব্যবহার করে বৈধতা প্রমাণের চেক সস্তা বলে মনে করা হয় (সম্ভাব্যভাবে যাচাইযোগ্য প্রমাণ; SNARKs)। অনুশীলনে, ক্রিপ্টোগ্রাফিক কৌশলগুলি উল্লেখযোগ্য ওভারহেড জড়িত এবং (এখনও) নির্বিচারে স্মার্ট চুক্তি সম্পাদনের জন্য সাধারণীকরণ করে না।

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

জালিয়াতি প্রমাণের ইঙ্গিত

ওয়েসিস নেটওয়ার্কের জালিয়াতি সনাক্তকরণ এবং সিস্টেম আর্কিটেকচার সহ-ডিজাইন কেন আরও দক্ষ, আরও সাধারণ পরিকল্পনায় পরিণত হয়েছে তা বোঝার জন্য, বিভিন্ন ধরণের জালিয়াতির প্রমাণ নিয়ে আলোচনা করতে হবে আমাদের প্রথমে ।

সিমুলেশন প্রুফ

আরবিট্রাম এবং অপটিমিজমের মতো আশাবাদী রোলআপ সিস্টেমগুলি যেভাবে কাজ করে তা হল যে চ্যালেঞ্জাররা যারা দাবি করেন যে গণনা ভুল তাদের অবশ্যই একটি জালিয়াতি প্রমাণ জমা দিতে হবে। জালিয়াতির প্রমাণটি দেখানোর কথা যে গণনা যা ভুল ফলাফলের অবস্থার দিকে পরিচালিত করেছিল তা একটি একক VM নির্দেশে একটি সঠিক ভার্চুয়াল মেশিন এক্সিকিউশন থেকে বিচ্ছিন্ন হয়েছে, যা বেস চেইনে চলমান একটি রোলআপ ভার্চুয়াল মেশিন সিমুলেটর ব্যবহার করে “সহজে” যাচাই করা যেতে পারে।

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

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

জালিয়াতির দাবিকারী একজন চ্যালেঞ্জার সঠিক ফলাফলের অবস্থার জন্য একটি নতুন দাবি সহ একটি জালিয়াতির প্রমাণ জমা দেবেন বলে আশা করা হচ্ছে। যদি কোনো সময় t_0 এ প্রতারণামূলক মৃত্যুদন্ডের ট্রেস F সঠিক এক্সিকিউশন ট্রেস থেকে সরে যায়, তাহলে একজন চ্যালেঞ্জার একটি এক্সিকিউশন ট্রেস সি তৈরি করতে পারে যা পরবর্তী সময়ে t_1> t_0 ধাপে সঠিক ট্রেস থেকে বিচ্ছিন্ন হয়ে যায় এবং একটি জালিয়াতির প্রমাণ জমা দিতে পারে যা সফলভাবে F কে উল্টে দেবে কিন্তু নিজেই একটি প্রতারণামূলক ফলাফল। এইভাবে, F এর বিরুদ্ধে একটি জালিয়াতি প্রমাণ প্রমাণ করে না যে C সঠিক, এবং একটি ভিন্ন ফলাফল সহ একটি সফল চ্যালেঞ্জ চ্যালেঞ্জ জমা দেওয়ার ঘড়িটি পুনরায় সেট করা উচিত যাতে C নিজেই চ্যালেঞ্জ করা যায়। সফল চ্যালেঞ্জটি চূড়ান্ত প্রমাণ নয় যে C এর সাথে সম্পর্কিত ফলাফল অন্যান্য যাচাইকারীদের দ্বারা অতিরিক্ত পরীক্ষা ছাড়াই সঠিক।

সিমুলেশন প্রুফ এর একটি সুবিধা হচ্ছে তারা সুনির্দিষ্ট, এবং সবকিছু কাজ করে ধরলে, আমরা নিশ্চিত যে কখন একটা ফলাফল ভুল হবে কারণ আমরা জানি কোথায় VM সিমেন্টিক লংঘন করা হয়েছে। উল্লেখ্য, যাইহোক, একটি স্মার্ট কন্ট্রাক্ট যাচাইকরণ ব্রিজটি একটি ব্লকচেইনে কার্যকরী স্মার্ট চুক্তি, এবং এর ফলাফলের সঠিকতা শুধুমাত্র সম্ভাব্য, একটি PoW বা PoS চেইনে এটি কার্যকর করার বিষয়ে ঐকমত্য হয় কিনা। (পূর্বের ক্ষেত্রে, একটি সফল 50%+ε আক্রমণের সম্ভাবনা; পরবর্তী ক্ষেত্রে, ⅔ মোট স্টক বাইজেন্টাইন অভিনেতাদের নিয়ন্ত্রণে আসার সম্ভাবনা। উভয় ক্ষেত্রেই, একটি সাধারণ-মোড ব্যর্থতার সম্ভাবনাও রয়েছে যেমন অন্তর্নিহিত ব্লকচেইন কোড বা হোস্ট অপারেটিং সিস্টেমে শূন্য-দিনের দুর্বলতা হিসাবে ব্যাপক ব্যর্থতার অনুমতি দেয়।) যেহেতু জালিয়াতি প্রমাণ পরীক্ষা সম্ভাব্য, তাই নির্ধারক প্রমাণ থাকার সুবিধা বাস্তবের চেয়ে বেশি তাত্ত্বিক।

বেয়ার মেটাল প্রুফ

“বেয়ার মেটাল প্রুফ” বলতে আপনি কি বোঝেন? একটি বেয়ার মেটাল প্রুফ স্কিম:

• শক্ত হতে হবে। প্রুফগুলো সম্ভাব্য প্রকৃতির হতে হবে (যেমন ZKPs), প্রয়োজন অনুযায়ী শূন্যের কাছাকাছি ত্রুটির সম্ভাবনাকে নির্দেশ করতে হবে সিকিউরিটি প্যারামিটার বেছে নেওয়ার ক্ষমতা সহ।
• কোনো মেশিন স্পেসিফিকেশন ছাড়াই (নির্ণয়বাদী) ভার্চুয়াল মেশিনের সাথে কাজ করতে হবে, VM সহ যেগুলি সাধারণ নির্দেশ-সেট যা আর্কিটেকচারের সাধারণ এক্সটেনশন যেমন x৮৬–৬৪। স্কিমটির অনুমতি দেওয়া উচিত ফাংশন কল হিসেবে ব্লকচেইন নির্দেশের এক্সটেনশন সহ সম্পূর্ণ, “বেয়ার মেটাল” গতিতে স্যান্ডবক্সযুক্ত নেটিভ কোড বাইনারি ( অনির্ধারিত আচরণ এড়াতে বিধিনিষেধ সহ ) চালানোর জন্য।

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

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

ওয়েসিস প্যারাটাইম

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

অসংগতি সনাক্তকরণ জালিয়াতি প্রমান

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

এই ডিজাইনের ব্যবহারিক নিরাপত্তা বোঝা সহজ। একটি কমিটি-ভিত্তিক ডিজাইন একটি সর্বজনীনভাবে পরিচিত নিরাপত্তা প্যারামিটার প্রদান করে, কমিটির আকার, যা একটি আধা-সিঙ্ক্রোনাইজড ফ্যাশনে চুক্তি সম্পাদন করে যাতে ব্যবহারকারীরা উভয়েই ক্রস-চেকের সংখ্যা এবং সেইসাথে জানতে পারে কখন ক্রস-চেক সম্পন্ন হবে, কমিটি সদস্যদের একটি SLA আছে এবং প্রাপ্যতার অভাবে তা কেটে ফেলা হতে পারে। এটি আশাবাদী রোলআপের সাথে বৈপরীত্য, যেখানে ব্যবহারকারী একটি অজানা সংখ্যক সম্ভাব্য চ্যালেঞ্জারের জন্য একটি নির্দিষ্ট সময় অপেক্ষা করে বা গণনাগুলি নিজেরাই যাচাই করে। নোট করুন যে ডিজাইনটি নন-কমিটি সদস্যদের জালিয়াতির প্রমাণ জমা দিতে বাধা দেয় না, এবং এমনকি নন-কমিটির সদস্যদের কাছ থেকে “late” জালিয়াতির প্রমাণগুলি পরিচালনা করা যেতে পারে, নীচের এই নিবন্ধে চেকপয়েন্টিং বিভাগটি দেখুন, তাই বৈধতা বন্ধ করা হয় না।

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

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

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

কেন বৈপরীত্য সনাক্তকরণ আরও কার্যকর তা বোঝার জন্য, আসুন আমরা গণনা কমিটির সদস্যদের নির্বিচারে নির্বাচনের আগে একটি প্রতিপক্ষকে গণনার আপোস করার অনুমতি দেওয়ার আগে প্রয়োজনীয় সময়ের প্রত্যাশিত পরিমাণ বিবেচনা করি। যদি মোট ১০০ জন প্রার্থীর মধ্যে সর্বাধিক ৩৩ জন বাইজেন্টাইন হন এবং আমরা গণনা কমিটি হিসাবে কাজ করার জন্য এলোমেলোভাবে ২০ জনকে বেছে নিই, এমনকি যদি নতুন কমিটির রচনাগুলি প্রতি ঘন্টা ১০০,০০০ হারে নির্বাচন করা হয়, তাহলে প্রতিপক্ষকে সেই ৩৩টি বাইজেন্টাইন নোড নিয়ন্ত্রণ করতে হবে একটি অল-বাইজান্টাইন কমিটি বেছে নেওয়ার আগে প্রত্যাশিত ১০৬৬ বছর অপেক্ষা করুন এবং সিস্টেমটিকে আক্রমণ করার জন্য ব্যবহার করা যেতে পারে। একটি সাধারণ বাইজেন্টাইন দোষ সহনশীলতা স্কিম ঐক্যমত পৌঁছানোর জন্য ১০০-উপায় প্রতিলিপি ব্যবহার করতে পারে; এখানে, আমরা গণনাটি শুধুমাত্র ২০বার প্রতিলিপি করি।

গণনার জন্য প্রযুক্তিগত বিশ্লেষণের বিশদ বিবরণ এবং কেন অসঙ্গতি সনাক্তকরণ আরও কার্যকর তা আমাদের appendix in our whitepaper এ পাওয়া যাবে।

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

অন্যান্য জালিয়াতি/বৈধতা প্রমাণ স্কিমগুলির জন্য এক্সটেনসিবিলিটি

দ্রষ্টব্য, যদিও ওয়েসিস নেটওয়ার্ক-এর ঐকমত্য স্তরটি অসঙ্গতি সনাক্তকরণে বেক করে, তবুও এটি অন্যান্য রোলআপ সম্পাদনের বৈধতা কৌশলগুলিকে বাস্তবায়িত করার অনুমতি দেওয়ার জন্য স্থাপত্যগতভাবে সম্প্রসারণযোগ্য। এখনও আমরা এটি করার প্রয়োজন দেখছি না।

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

জালিয়াতি প্রমাণ ডিজাইনের জায়গায় আরও বৈচিত্র/মাত্রা রয়েছে যা এখানে কভার করা হয়নি। জালিয়াতি প্রমাণ ডিজাইন সম্পর্কে আরও তথ্যের জন্য দেখুন এখানে ।

চেকপয়েন্টিং

ডিস্ক্রিপেনসি ডিটেকশন আমাদের কমিটির আকারের প্যারামিটার সেট করার অনুমতি দেয় আত্মবিশ্বাসের জন্য যে পুরো কমিটির সমঝোতার সম্ভাবনা নগণ্য। দুটি সমস্যা বাকি আছে:

1. বৈপরীত্য সনাক্তকরণ — শুধুমাত্র গণনা কমিটির জন্য করা হলে, সম্পূর্ণরূপে উন্মুক্ত নয়, যেহেতু কম্পিউট নোড প্রার্থী হিসাবে যোগ্যতা অর্জনের জন্য সিবিল আক্রমণ প্রতিরোধ করার জন্য বাজির মতো সম্পদের সীমা প্রয়োজন।
2. কমন-মোড ব্যর্থতা, যেমন ওয়েসিস নেটওয়ার্ক কোড বা লিনাক্স কার্নেলে প্রোগ্রামিং ত্রুটি, একটি প্রতিপক্ষকে একটি শূন্য-দিনের সমঝোতা ব্যবহার করার অনুমতি দিতে পারে সমস্ত গণনা — এবং ঐক্যমত্য দখল করতে! — নেটওয়ার্কের নোড।

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

zero-day’র দুর্বলতাগুলি পরিচালনা করা কঠিন। প্রকৃতপক্ষে, সমস্ত সফ্টওয়্যার সিস্টেমের মতো, কোনও ব্লকচেইনেরই সম্ভবত হার্ড ফর্ক করা ছাড়া সাধারণ সমাধান নেই। ওয়েসিসে, আমরা বিপর্যয়মূলক ব্যর্থতাগুলিকে মোকাবেলা করি — অত্যন্ত অসম্ভাব্য পরিস্থিতি যেমন একটি সর্ব-কমিটি সমঝোতা, শূন্য-দিনের দুর্বলতা শোষণ / সাধারণ-মোড ব্যর্থতা ইত্যাদি — লেনদেনের আদেশ নির্ধারণ এবং লেনদেনের ফলাফল নির্ধারণের পার্থক্য করে এবং যে কাউকে লেনদেনের ফলাফলকে চ্যালেঞ্জ করার অনুমতি দিয়ে।

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

লগিংটি একঘেয়ে হতে হবে/চূড়ান্ততা থাকতে হবে কারণ আমরা সম্ভাব্য ব্যর্থতার মোড হিসাবে ক্রিপ্টোগ্রাফিক keys গুলির দীর্ঘ-পরিসরের আক্রমণ/নিয়ন্ত্রণ হারানো অন্তর্ভুক্ত করি। এই সম্পত্তিটি বিতরণ করা কেবলমাত্র যুক্ত খাতায় লগ লিখে অর্জন করা যেতে পারে যেমন অন্য ব্লকচেইন, যেমন, ইথেরিয়াম; শারীরিকভাবে শুধুমাত্র-সংযোজিত মিডিয়াতে লেখার মাধ্যমে, যেমন, একটি ক্রমাগত-ফিড প্রিন্টার; রাইট-ওয়ান্স মিডিয়াতে লেখার মাধ্যমে (CD-R/DVD-R); মিডিয়াতে লেখার মাধ্যমে যা পর্যায়ক্রমে অফ-লাইন ব্যাকআপ পরিষেবাগুলিতে অনুলিপি করা হয়; ইত্যাদি। Ethereum-এ লেখার ফলে Ethereum-এর চূড়ান্ততা ব্যবহার করা হবে লগ রেকর্ড তৈরির টাইমস্ট্যাম্পের জন্য, যেখানে অন্যান্য শুধুমাত্র-সংযোজিত পদ্ধতিতে লেখার জন্য যাচাইকরণের প্রয়োজন হবে, যেমন, স্বাধীন কপিগুলির তুলনা করে, মিডিয়া যে বৈধ লগের একটি নতুন কিন্তু পরিবর্তিত অনুলিপি নয়। লেনদেনের আদেশের চূড়ান্ততা এবং রাষ্ট্রীয় মূল্য চূড়ান্ততার আরও গভীর আলোচনার জন্য শেডস অফ ফিনালিটি পেপার (শীঘ্রই প্রকাশিত হবে) দেখুন।

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

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

সারসংক্ষেপ

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

ওয়েসিস ডিজাইনের সুবিধাগুলো হল:

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

ফলাফল হল যে ওয়েসিস নেটওয়ার্ক হল একটি রোলআপ-স্টাইল ব্লকচেইন, যেখানে কনসেনসাস লেয়ার শুধুমাত্র ব্রিজ কন্ট্রাক্টকে বৈধতা দেয়। একাধিক প্যারাটাইমস — স্বাধীন রোলআপ ভার্চুয়াল মেশিন — সফলভাবে ওয়েসিস কনসেনসাস লেয়ারের উপরে স্থাপন করা হয়েছে। বর্তমানে, Emerald ParaTime EVM-সামঞ্জস্যপূর্ণ স্মার্ট চুক্তি সম্পাদন প্রদান করে, এবং Cipher ParaTime একটি গোপনীয় স্মার্ট চুক্তি সম্পাদন পরিবেশ প্রদান করবে, যা একবার ২০২২সালের Q1 এ প্রকাশিত হবে।