 : ভূমিকা  শূন্য-জ্ঞান প্রমাণ ব্যক্তিগত, নিরাপদ লেনদেন সক্ষম করে। zkSNARKs এবং zkSTARKs-এর সাহায্যে, একজন প্রমাণকারী প্রকৃত তথ্য প্রকাশ না করেই যাচাইকারীর কাছে কিছু তথ্যের অধিকারী প্রমাণ করতে পারেন।  এতে বেনামী এবং গোপনীয়তার বিশাল সম্ভাবনা রয়েছে। কিন্তু zkSTARKs এবং zkSNARKs জটিল। Risc0 তাদের আরও অ্যাক্সেসযোগ্য করে তোলে। আসুন এটি খুব মৌলিক বাস্তবায়ন দেখুন:   এই টিউটোরিয়ালটি কভার করবে:  Risc0 এর ইনস্টলেশন  মরিচা ব্যবহার করে আপনার প্রথম শূন্য-জ্ঞান প্রমাণ প্রোগ্রাম লেখা   পূর্বশর্ত:  শর্টকাট কপি পেস্ট করুন  ইনস্টলেশন প্রয়োজন:  মরিচা ভাষা  কার্গো ক্রেট  মরিচা মধ্যে কিছু মৌলিক কোডিং জ্ঞান  কোড এডিটর (সম্ভব হলে VSCODE)  শেষ পর্যন্ত, আপনি Risc0-এ শূন্য-জ্ঞান প্রমাণের বাস্তব অভিজ্ঞতা পাবেন। কোন উন্নত গণিত বা ক্রিপ্টোগ্রাফি ব্যাকগ্রাউন্ডের প্রয়োজন নেই।  বাস্তব-বিশ্ব সমাধানগুলি তৈরি করা শুরু করার জন্য আমরা কোডিং অপরিহার্য বিষয়গুলিতে ফোকাস করব৷ এই হ্যান্ডস-অন প্রবর্তনের লক্ষ্য হল শক্তিশালী গোপনীয়তা প্রযুক্তিকে যেকোনো বিকাশকারীর জন্য বোধগম্য করা।  :  স্থাপন  (ম্যাকওএসের জন্য)   আপনি টার্মিনালে নীচের কমান্ডটি চালাতে পারেন: জং এবং কার্গো ইনস্টল করতে,   curl [https://sh.rustup.rs](https://sh.rustup.rs/) -sSf | sh  Risc0 ইনস্টল করতে, আপনি জং ইনস্টল করার পরে নীচের কমান্ডটি চালান এবং টার্মিনালটি পুনরায় চালু করুন:   cargo install cargo-risczero  উপরের কমান্ডগুলি সফলভাবে তৈরি করার জন্য, আপনাকে প্রয়োজনীয় নির্ভরতাগুলি ইনস্টল করতে হবে।    brew install openssl brew install pkgconf  এর পরে, আমাদের এর সাথে   টুলচেন ইনস্টল করতে হবে:  risc0 cargo risczero install  এটাই আমাদের প্রয়োজন। সুতরাং, আসুন কোড এডিটরের দিকে যাই।  কিছু জাদুকরী লাইন লেখা:  এখন যেহেতু আমরা ইনস্টলেশনটি সম্পন্ন করেছি আপনি এই আবরা কদবরা 🪄 পদক্ষেপগুলি পড়তে এবং অনুসরণ করতে পারেন:  কোড এডিটর খুলুন এবং এডিটরের টার্মিনালে আপনি যেখানে আপনার প্রোজেক্ট তৈরি করতে চান সেই জায়গায় যান।  টার্মিনালে নীচের কমান্ডটি ব্যবহার করে প্রকল্পের একটি নতুন উদাহরণ তৈরি করুন:   ।  cargo risczero new multiply  আপনি multiply নামে তৈরি একটি ফোল্ডার দেখতে পাচ্ছেন। এর মধ্যে cd.  cd multiply  ফোল্ডার গঠন খুব সহজ.  আমাদের একটি হোস্ট ফোল্ডার এবং একটি পদ্ধতি ফোল্ডার আছে।  হোস্ট ফোল্ডারে হোস্ট প্রোগ্রাম থাকে যাকে আমরা গেস্ট প্রোগ্রাম বলি। আপনি চাইলে যাচাই করার ক্ষমতাও রয়েছে এতে।  মেথডস ফোল্ডারে গেস্ট প্রোগ্রাম থাকে যা zkvm অ্যাপ্লিকেশনের অংশ ধারণ করে যা প্রমাণিত হয়। এটি হোস্টের কাছ থেকে ইনপুট প্যারামগুলি গ্রহণ করে, তারপর যুক্তির উপর ভিত্তি করে, এটি ফলাফল তৈরি করে, সেগুলিকে জার্নালে পাঠায় এবং রসিদ হিসাবে হোস্টের কাছে পাঠায়৷  বাকি ফাইল প্রয়োজন অনুযায়ী যেতে যেতে ব্যাখ্যা করা হবে.   গেস্ট প্রোগ্রাম দিয়ে শুরু করা যাক।  ফাইলের নাম পরিবর্তন করা যাক   । main.rs —> multiply.rs    ফোল্ডারে   নামে একটি ফোল্ডার তৈরি করুন এবং এতে   সরান। আপনার ফোল্ডার গঠন এই মত কিছু দেখতে হবে: src bin mutiply.rs    খুলুন এবং   এ আপডেট পরিবর্তন করুন। Cargo.toml name = "method_name” —> name = "multiply”    এ নিচের কোডটি যোগ করুন। Cargo.toml   [[bin]] name = "multiply" path = "src/bin/multiply.rs"  সুতরাং আপনার চূড়ান্ত   এর মত দেখাবে: Cargo.toml  এখন,   খুলুন। এখানে আমরা প্রধান ফাংশন সম্পাদনা করব। এটি সেই ফাংশন যা zkvm-এ কার্যকর করা হবে। multiply.rs  নীচের কোডে, আমরা হোস্ট প্রোগ্রাম থেকে ইনপুট নিচ্ছি। তারপরে আমরা নিশ্চিত করছি যে ইনপুটটি তুচ্ছ উপাদান নয় যা 1। তারপর আমরা পণ্যটি গণনা করি এবং অবশেষে এটি প্রোগ্রামের হোস্টের কাছে ফিরিয়ে দিই।  // We will get the values for these variables from host program let a:u64 = env::read(); let b:u64 = env::read(); // To avoid trivial factors like multiplication by 1 if a == 1 || b == 1 { panic!("Trivial factors !!") // The panic! macro in Rust is used to intentionally crash a program when an unrecoverable error occurs } // Caculate the product of the two numbers let product = a.checked_mul(b).expect("Integer Overflow"); // Commit back the output to the host to save it as receipt env::commit(&product);  উপরের পরিবর্তনের পর, আপনার   এর মত দেখতে হবে। multiply.rs    of   ফোল্ডারে আরও একটি চূড়ান্ত পরিবর্তন আছে। Cargo.toml methods    এর মান খুলুন এবং আপডেট করুন। name = "multiply-methods”  আপনার চূড়ান্ত   নিচের মত দেখাবে। Cargo.toml  এখানে আমাদের কাজ শেষ.  এখন, হোস্ট প্রোগ্রামে যাওয়া যাক।  আপনার হোস্ট ফোল্ডার এখন এই মত দেখতে হবে.  আমরা   কে   এবং   দুটি ফাইলে বিভক্ত করতে চাই। main.rs prover.rs verify.rs    এর অধীনে একটি নতুন ফোল্ডার তৈরি করুন এবং এটিকে   হিসাবে নাম দিন। src bin    সরান। ফাইল তৈরি করুন এবং তাদের নাম দিন   এবং   । main.rs verify.rs prove.rs  আপনার ফোল্ডার গঠন এই মত কিছু দেখতে হবে এখন.    খুলুন, এবং কোডিং শুরু করা যাক: prove.rs  নীচের কোড যোগ করুন. এগুলো আমাদের প্রয়োজন হবে এমন আমদানি।   use multiply_methods::MULTIPLY_ELF; // It is a binary file of multiply_method use risc0_zkvm::{ default_prover, serde::{from_slice, to_vec}, ExecutorEnv, };  মূল ফাংশন পরিবর্তন করা যাক.   fn main() { // Declaring our secret input params let a: u64 = 17; let b: u64 = 23; // First, we construct an executor environment let env = ExecutorEnv::builder() .add_input(&to_vec(&a).unwrap()) // Passing the input params to environment so it can be used by gues proggram .add_input(&to_vec(&b).unwrap()) .build() .unwrap(); // Obtain the default prover. let prover = default_prover(); // Produce a receipt by proving the specified ELF binary. let receipt = prover.prove_elf(env, MULTIPLY_ELF).unwrap(); // Extract journal of receipt (ie output c, where c = a * b) let c: u64 = from_slice(&receipt.journal).unwrap(); // Print an assertion println!("Hello, world! I know the factors of {}, and I can prove it!", c); // Let's serialize the receipt so we can save it to an file for verifier program to verify. let serialized = bincode::serialize(&receipt).unwrap(); // Writing the serialized contect to receipt.bin file let _saved_file = match std::fs::write("./receipt.bin", serialized){ Ok(()) => println!("Receipt saved and serialized as receipt.bin"), Err(_) => println!("Something went wrong !!"), }; }  আপনার চূড়ান্ত   এই মত দেখা উচিত. prove.rs  আসুন আমাদের   এ কোডটি খুলি এবং যোগ করি। verify.rs  এখানে, আমরা গেস্ট প্রোগ্রাম ইমেজ আইডি এবং কিছু মৌলিক আমদানি আমদানি করব।   use multiply_methods::MULTIPLY_ID; use risc0_zkvm::Receipt;  মূল ফাংশন পরিবর্তন করা যাক.   fn main(){ // Let's impor the receipt that was generated by prove let receipt_path ="./receipt.bin".to_string(); let receipt_file = std::fs::read(receipt_path).unwrap(); // As we has serialized the receipt we need to desrialize it let receipt = bincode::deserialize::<Receipt>(&receipt_file).unwrap(); // Let's verify if the receipt that was generated was not created tampered with let _verification = match receipt.verify(MULTIPLY_ID){ Ok(()) => println!("Proof is Valid"), Err(_) => println!("Something went wrong !!"), }; }  আপনার চূড়ান্ত   দেখতে এরকম কিছু হওয়া উচিত। verify.rs  আমি প্রতিশ্রুতি দিচ্ছি যে এগুলোই চূড়ান্ত পরিবর্তন। এখন, আমরা প্রায় সম্পন্ন.    ফোল্ডারে   খুলুন এবং নির্ভরতার অধীনে নীচের পরিবর্তনগুলি করুন। host Cargo.toml   multiply-methods = { path = "../methods" }  আপনার Cargo.toml এর মত দেখাবে।  আমাদের কোড কাজ করে কিনা তা দেখার শেষ সময় এসেছে।  প্রজেক্টের রুট ডিরেক্টরিতে আপনার কনসোলটি ফায়ার করুন এবং   এ নিচের কমান্ডটি চালান console cargo run --release --bin prove  এই কমান্ডটি যাচাইকারীর জন্য প্রমাণ এবং রসিদ তৈরি করবে।  প্রথমবার চালানোর সময় অনেক সময় লাগবে। তাই এটি সম্পূর্ণ না হওয়া পর্যন্ত একটি কফি দখল চিন্তা করবেন না.   একবার এটি হয়ে গেলে, আপনি চাইলে, আপনি যে রসিদ তৈরি করেছেন তা যাচাই করতে পারেন। তার জন্য, এই কমান্ডটি চালান  cargo run --release --bin verify  প্রথমবার চালানোর সময় অনেক সময় লাগবে। তাই এটি সম্পূর্ণ না হওয়া পর্যন্ত একটি কফি দখল চিন্তা করবেন না.   অভিনন্দন!!! Risc0 ব্যবহার করে আপনার প্রথম ZK অ্যাপ লিখতে। আপনার যদি কোন সাহায্যের প্রয়োজন হয়, দয়া করে আমাকে একটি মন্তব্য করুন, এবং আমি আপনার কাছে ফিরে আসব।

গল্পের মূল ভাষায় এই অডিও তৈরি!

অতিদীর্ঘ; পড়তে

Make resilience your competitive advantage

Risc0 ব্যবহার করে আপনার প্রথম ZK প্রকল্প তৈরি করা: নতুনদের জন্য একটি গাইড

About Author

মন্তব্য

আসে ট্যাগ

এই নিবন্ধটি উপস্থাপন করা হয়েছে

Related Stories

এই 18টি ডেভেলপার টুল 🚀🔥 দিয়ে আপনার উৎপাদনশীলতা বাড়ান

আয় করতে ট্যাপ করুন: টেলিগ্রাম সোলানার আগে পরবর্তী 10 বিলিয়ন ক্রিপ্টো ব্যবহারকারীদের অনবোর্ড করতে পারে

এআই/এমএল ডাটালেকের জন্য রেফারেন্স আর্কিটেকচার তৈরির জন্য একজন স্থপতির গাইড

ফোরাম থেকে ফিড পর্যন্ত: কীভাবে সোশ্যাল মিডিয়া অ্যালগরিদম ডিজিটাল ইন্টারঅ্যাকশনকে আকার দেয়

এই 18টি ডেভেলপার টুল 🚀🔥 দিয়ে আপনার উৎপাদনশীলতা বাড়ান

আয় করতে ট্যাপ করুন: টেলিগ্রাম সোলানার আগে পরবর্তী 10 বিলিয়ন ক্রিপ্টো ব্যবহারকারীদের অনবোর্ড করতে পারে

এআই/এমএল ডাটালেকের জন্য রেফারেন্স আর্কিটেকচার তৈরির জন্য একজন স্থপতির গাইড

ফোরাম থেকে ফিড পর্যন্ত: কীভাবে সোশ্যাল মিডিয়া অ্যালগরিদম ডিজিটাল ইন্টারঅ্যাকশনকে আকার দেয়

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps