zkGalaxy-এর জন্য একটি বিকাশকারীর নির্দেশিকা৷

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

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

আধুনিক সফ্টওয়্যারটি বিশেষজ্ঞের উত্পাদনশীলতা সর্বাধিক করার জন্য বিমূর্ততার অগণিত স্তরের উপর নির্মিত। প্রকৌশলে বিমূর্তকরণের অনেক সুবিধা রয়েছে যা কিছুটা স্বজ্ঞাত - একজন ওয়েব বিকাশকারীকে অপারেটিং সিস্টেমগুলি কীভাবে গভীরভাবে কাজ করে তা বোঝার দরকার নেই। 

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

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

Arkworks-rs রাস্ট লাইব্রেরিগুলির একটি ইকোসিস্টেম যা একটি zkSNARK অ্যাপ্লিকেশনের সাবকম্পোনেন্টগুলির দক্ষ এবং নিরাপদ বাস্তবায়ন প্রদান করে। Arkworks অন্যান্য বিদ্যমান লাইব্রেরির সাথে সাধারণতা পুনরায় প্রয়োগ না করেই একটি zk অ্যাপ্লিকেশনের জন্য সফ্টওয়্যার স্ট্যাক কাস্টমাইজ করার জন্য ডেভেলপারদের জন্য প্রয়োজনীয় ইন্টারফেস সরবরাহ করে।

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

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

কিছু গণনা সম্পর্কে একটি প্রমাণ তৈরি করার জন্য, প্রথমে এই গণনাটিকে এমন আকারে প্রকাশ করতে হবে যা একটি zkSNARK সিস্টেম বুঝতে পারে। বেশ কিছু ডোমেন নির্দিষ্ট ভাষা প্রোগ্রামিং ভাষা তৈরি করেছে যা অ্যাপ্লিকেশন ডেভেলপারদের তাদের গণনাকে এমনভাবে প্রকাশ করতে দেয়। এই অন্তর্ভুক্ত অ্যাজটেক নয়ার, Starknet এর কায়রো, সার্কম, জোক্রেটস, এবং Aleo এর সিংহরাশি অন্যদের মধ্যে. অন্তর্নিহিত প্রমাণ সিস্টেম এবং গাণিতিক বিবরণ সাধারণত অ্যাপ্লিকেশন বিকাশকারীর কাছে প্রকাশ করা হয় না।

zkApp ডেভেলপারদের অবশ্যই ডোমেন-নির্দিষ্ট ভাষায় তাদের প্রোগ্রাম লেখার ক্ষেত্রে দক্ষ হতে হবে। এর মধ্যে কিছু ভাষা দেখতে অনেকটা পরিচিত প্রোগ্রামিং ভাষার মতো, অন্যগুলো শেখা বেশ কঠিন হতে পারে। আসুন এর মধ্যে কয়েকটি ভেঙে দেওয়া যাক:

কায়রো - Starknet-এ অ্যাপ তৈরির জন্য স্টার্কওয়্যার ডিএসএল প্রয়োজনীয়। কায়রো-নির্দিষ্ট সমাবেশ ভাষায় কম্পাইল করে যা কায়রো zkVM দ্বারা ব্যাখ্যা করা যেতে পারে।

জোক্রেটস — ZoKrates হল সার্কিট লেখার জন্য একটি উচ্চ-স্তরের ভাষা সহ সাধারণ SNARK প্রয়োজনের জন্য একটি টুলকিট। ZoKrates-এর বক্ররেখা, প্রুভিং স্কিম এবং ব্যাকএন্ডের চারপাশে কিছু নমনীয়তা রয়েছে, যা devsকে সাধারণ CLI যুক্তির মাধ্যমে হট-সোয়াপ করতে দেয়।

সার্কম — Circom সার্কিট নির্মাণের জন্য একটি উদ্দেশ্য-নির্মিত ভাষা। বর্তমানে, এটি উৎপাদনে সার্কিটের জন্য ডি-ফ্যাক্টো ভাষা। ভাষা বিশেষ করে ergonomic নয়. ভাষা নিজেই আপনাকে তীব্রভাবে সচেতন করে যে আপনি সার্কিট লিখছেন।

সিংহরাশি — অ্যালিও ব্লকচেইনের ভাষা হিসেবে লিও তৈরি করা হয়েছিল। লিওর কিছু মরিচা-সদৃশ সিনট্যাক্স রয়েছে এবং এটি বিশেষভাবে একটি ব্লকচেইনের ভিতরে রাজ্য পরিবর্তনের জন্য তৈরি করা হয়েছে।

কালো - মরিচা-অনুপ্রাণিত বাক্য গঠন। ভাষার পরিবর্তে IR এর চারপাশে স্থাপিত করা হয়েছে, যার মানে এটি একটি নির্বিচারে ফ্রন্টএন্ড থাকতে পারে। 

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

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

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

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

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

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

আজকের zkEVM বাস্তবায়নগুলি এই সমস্যার প্রভাব কমাতে বিভিন্ন কৌশল ব্যবহার করে... উদাহরণস্বরূপ, zkSync প্রধান এক্সিকিউশন থেকে আরও ব্যয়বহুল ক্রিয়াকলাপগুলি (বেশিরভাগ ক্রিপ্টোগ্রাফিক প্রি-কম্পাইল যেমন হ্যাশ এবং ECDSA) বের করে দেয় যা সার্কিটকে আলাদা সার্কিটে প্রমাণ করে যা একসাথে একত্রিত হয়। স্নার্ক রিকারশনের মাধ্যমে শেষ। zkSync এই পদ্ধতিটি গ্রহণ করেছিল যখন তারা বুঝতে পেরেছিল যে তাদের বেশিরভাগ খরচ কিছু জটিল নির্দেশ থেকে আসছে।

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

একটি zkEVM-এর জন্য আদর্শ গ্রাহকরা হল স্মার্ট চুক্তির অ্যাপ্লিকেশন যেগুলির জন্য L1 Ethereum-এ পাওয়া যায় তার চেয়ে কম দামের লেনদেনের অর্ডার প্রয়োজন৷ এই ডেভেলপারদের স্ক্র্যাচ থেকে zk অ্যাপ্লিকেশনগুলি লেখার জন্য অগত্যা দক্ষতা বা ব্যান্ডউইথ নেই৷ তাই, তারা সলিডিটির মতো উচ্চ-স্তরের ভাষাতে তাদের অ্যাপ্লিকেশন লিখতে পছন্দ করে। 

স্কেলিং ইথেরিয়াম বর্তমানে zk প্রযুক্তির সবচেয়ে চাহিদা সম্পন্ন অ্যাপ্লিকেশন।

একটি zkEVM হল একটি Ethereum স্কেলিং সলিউশন যা ঘর্ষণহীনভাবে যানজটের সমস্যাকে প্রশমিত করে যা L1 dApp ডেভেলপারদের সীমাবদ্ধ করে।

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

zkSync এবং স্ক্রলের মধ্যে প্রাথমিক পার্থক্য হল কোথায়/কখন স্ট্যাকের মধ্যে তারা গাণিতিককরণ সম্পাদন করে – অর্থাৎ, যেখানে তারা সাধারণ ইভিএম গঠন থেকে SNARK-বান্ধব উপস্থাপনায় রূপান্তর করে। zkSync-এর জন্য, এটি ঘটে যখন তারা YUL বাইটকোডকে তাদের নিজস্ব কাস্টম zk নির্দেশ সেটে রূপান্তর করে। স্ক্রলের জন্য, এটি শেষের দিকে ঘটে, যখন প্রকৃত এক্সিকিউশন ট্রেস প্রকৃত ইভিএম অপকোডের সাথে তৈরি হয়।

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

💡 এর নামকরণ সত্ত্বেও, LLVM একটি VM (ভার্চুয়াল মেশিন) নয়। LLVM হল কম্পাইলার টুলগুলির একটি সেটের নাম যা একটি মধ্যবর্তী প্রতিনিধিত্ব (IR) দ্বারা অ্যাঙ্কর করা হয় যা ভাষা অজ্ঞেয়বাদী।

=শূন্য; ফাউন্ডেশন (নাম সম্পর্কে, এটি একটি এসকিউএল ইনজেকশন কৌতুক আপনি যদি ভাবছেন) এমন একটি কম্পাইলার তৈরি করছে যা যেকোনো LLVM ফ্রন্টএন্ড ভাষাকে একটি মধ্যবর্তী উপস্থাপনায় রূপান্তর করতে পারে যা একটি SNARK-এর মধ্যে প্রমাণিত হতে পারে। zkLLVM বিদ্যমান LLVM পরিকাঠামোর একটি এক্সটেনশন হিসাবে স্থাপিত হয়েছে, একটি শিল্প-মান টুলচেন যা অনেক উচ্চ-স্তরের ভাষা যেমন রাস্ট, C, C++ ইত্যাদি সমর্থন করে।

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

এই 2টি উপাদানই একটি প্রমাণ তৈরি করার জন্য প্রয়োজনীয়। একজন ব্যবহারকারী তাত্ত্বিকভাবে নিজেরাই একটি প্রমাণ তৈরি করতে পারে, কিন্তু যেহেতু এটি কিছুটা বিশেষায়িত গণনামূলক কাজ, তারা তাদের জন্য এটি করার জন্য অন্য কাউকে, যার কাছে হার্ডওয়্যার রয়েছে, অর্থ প্রদান করতে চাইতে পারে। এই প্রতিপক্ষ আবিষ্কার প্রক্রিয়ার জন্য, =nil; ফাউন্ডেশন একটি 'প্রুফ মার্কেট'ও প্রতিষ্ঠা করেছে যেখানে প্রোভাররা ব্যবহারকারীদের জন্য গণনা প্রমাণ করতে লড়াই করে যারা তাদের এটি করার জন্য অর্থ প্রদান করবে। এই মুক্ত বাজারের গতিশীলতা প্রোভারদের সবচেয়ে মূল্যবান প্রমাণ করার কাজগুলিকে অপ্টিমাইজ করার দিকে নিয়ে যাবে।

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

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

একটি zkVM সমস্ত zk ভার্চুয়াল মেশিনের সুপারসেটকে বর্ণনা করে, যখন একটি zkEVM হল একটি নির্দিষ্ট ধরনের zkVM, যা বর্তমানে এর ব্যাপকতার কারণে একটি পৃথক বিষয় হিসাবে আলোচনার যোগ্য ছিল। আরও কয়েকটি প্রকল্প রয়েছে যেগুলি আরও সাধারণ zkVM তৈরিতে কাজ করছে যা বেসপোক ক্রিপ্টো ভিএম ছাড়াও ISA-এর উপর ভিত্তি করে।

EVM প্রমাণ করার পরিবর্তে, সিস্টেমটি একটি ভিন্ন নির্দেশ সেট আর্কিটেকচার (ISA), যেমন RISC-V বা WASM একটি নতুন VM-তে প্রমাণ করতে পারে। এই সাধারণীকৃত zkVM-তে কাজ করছে এমন দুটি প্রকল্প হল RISC Zero এবং zkWASM। এই কৌশলটি কীভাবে কাজ করে এবং এর কিছু সুবিধা/অসুবিধা প্রদর্শন করতে আসুন এখানে RISC জিরোতে একটু ডুব দেওয়া যাক। 

RISC-V আর্কিটেকচারে সম্পাদিত যেকোন গণনাকে RISC Zero প্রমাণ করতে সক্ষম। RISC-V হল একটি ওপেন-সোর্স ইনস্ট্রাকশন সেট আর্কিটেকচার (ISA) স্ট্যান্ডার্ড যা জনপ্রিয়তা লাভ করছে। RISC (সংক্ষিপ্ত নির্দেশনা সেট কম্পিউটার) দর্শন হল ন্যূনতম জটিলতার সাথে একটি অত্যন্ত সহজ নির্দেশনা সেট তৈরি করা। এর মানে হল যে স্ট্যাকের উচ্চ স্তরের বিকাশকারীরা হার্ডওয়্যার বাস্তবায়নকে আরও সহজ করার সময় এই আর্কিটেকচার ব্যবহার করে নির্দেশাবলী বাস্তবায়নের জন্য একটি বড় লোড নেয়।

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

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

একজন বিকাশকারীর দৃষ্টিকোণ থেকে, zk প্রমাণগুলি পরিচালনা করতে RISC জিরো ব্যবহার করা অনেকটা ব্যাকএন্ড সার্ভার আর্কিটেকচার পরিচালনা করতে AWS Lambda ফাংশন ব্যবহার করার মতো। বিকাশকারীরা কেবল কোড লিখে RISC জিরো বা AWS Lambda এর সাথে যোগাযোগ করে এবং পরিষেবাটি সমস্ত ব্যাকএন্ড জটিলতা পরিচালনা করে।

RISC শূন্যের জন্য, বিকাশকারীরা রাস্ট বা C++ (অবশেষে RISC-V লক্ষ্য করে এমন কিছু) লেখেন। সিস্টেম তারপর কম্পাইলেশনের সময় উত্পন্ন ELF ফাইল নেয় এবং VM সার্কিটের জন্য ইনপুট কোড হিসাবে ব্যবহার করে। বিকাশকারীরা কেবল প্রমাণের জন্য কল করে যা একটি রসিদ ফেরত দেয় (যাতে এক্সিকিউশন ট্রেসের zk প্রমাণ থাকে) অবজেক্ট যেকেউ যেকোন জায়গা থেকে `যাচাই` কল করতে পারে। বিকাশকারীর দৃষ্টিকোণ থেকে, zk কীভাবে কাজ করে তা বোঝার দরকার নেই, অন্তর্নিহিত সিস্টেম এই সমস্ত জটিলতা পরিচালনা করে।

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

উদাহরণস্বরূপ, টর্নেডো ক্যাশের সার্কিটগুলি a এর জন্য পুনরায় ব্যবহার করা যেতে পারে ব্যক্তিগত এয়ারড্রপ অ্যাপ্লিকেশন বা একটি ব্যক্তিগত ভোটের আবেদন. Manta এবং Semaphore এই ধরনের সাধারণ সার্কিট গ্যাজেটগুলির একটি সম্পূর্ণ টুলকিট তৈরি করছে যেটি অন্তর্নিহিত zk মুন গণিতের সামান্য বা কোন বোঝার সাথে সলিডিটি চুক্তিতে ব্যবহার করা যেতে পারে।

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

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

আমি আশা করি আমি আপনাকে, কৌতূহলী সফ্টওয়্যার বিকাশকারীকে বোঝাতে পেরেছি যে আপনি আজই আপনার অ্যাপ্লিকেশনগুলিতে zk ব্যবহার শুরু করতে পারেন। হ্যাপি হ্যাকিং 🙂

প্রকাশ: ব্লকচেইন ক্যাপিটাল উপরে উল্লিখিত বিভিন্ন প্রোটোকলের একটি বিনিয়োগকারী।

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