@Zcash-এর বাগটি Ironwood-এর দিকে নিয়ে গেছে, যা Orchard পেমেন্ট সার্কিটের ফর্মাল ভেরিফিকেশন। আমি এটির প্রতি ভালোবাসা এবং সমর্থন জানাই। আমি আরও জোর দিয়ে বলতে চাই যে @Starknet বছরের পর বছর ধরে — বেশি হয়েছে ৫ বছর — ফর্মাল ভেরিফিকেশন করে আসছে। Zcash-এর মতো মহান প্রকল্পগুলিকে দ্রুত প্রতিক্রিয়া জানানোর জন্য সমর্থন করা গুরুত্বপূর্ণ, যেমন এই ক্ষেত্রে। একইভাবে, Starknet-এর মতো ভবিষ্যৎ-প্রমাণিত এবং প্রবণতার আগেই থাকা প্রকল্পগুলিকে স্বীকৃতি দেওয়াও গুরুত্বপূর্ণ। (নীচের নিবন্ধে বিস্তারিত) আমি অনেকবার বলেছি যে Starknet হলো সেই সিস্টেম, যা 이미 অন্যান্য চেইনগুলির দাবির মতো কিছুই নয়, বরং এটি ইতিমধ্যেই অন্যদের “শীঘ্রই” করার দাবির মতো জিনিসগুলির সমন্বয়ে গঠিত। এটি অনেকগুলি বিষয়েই সত্য। আমরা অনেকগুলি অজনপ্রিয় পছন্দের অগ্রণীতেছিলাম,যা এখন সবাইকেই গুরুত্বপূর্ণভাবে চিহ্নিতকরা হচ্ছে,যা include post-quantum secure ZK-STARKs (সবচেয়েভালো scaling and privacy solution), lean zkVMs (Cairo-ই best), Validium data availability,এবং formal verification। ফর্মাল ভেরিফিকেশন-এর অর্থ,আপনি Lean-এর মতো automated tools-এরসহজেই mathematically proveকরতেপারবেনযেআপনারcode-টি safe। কোডকে safeহওয়ারমানেকি,সবকিছুকে captureকরাখুবকঠিন,কিন্তুআমাদের CTO @LiorGoldberg2 (Cairo zkVMএবং language-এর co-creator)এরনেতৃত্বে,আমরা ৫বছরধরেএটিরউপরকাজকরছি। ZK-সংক্রান্ত claims-এরফর্মালভেরিফিকেশন-এরপ্রথমপেপার (Professor Jeremy Avigad, Yoav Seginer,অন্যদেরসহ)দেখিয়েছিলযেCairo VM-কেসংজ্ঞায়িতকরা polynomial constraints-এরসেটটি correct। যদিআপনিসাম্প্রতিকসময়েখবরগুলিfollowকরছেন,তবেZcash-এ (আমিযা co-founded,এবংযাআমিঅত্যন্তগর্বিতএবংসমর্থনকরি)সাম্প্রতিকভাবেAIদ্বারাআবিষ্কৃতএবংএখনfixকরাহয়েছিল,সেইbugটি was a missing constraint-এরজন্য। অন্যদেরbugগুলিout of the wayকরারজন্যতাদেরcodeverifyকরারসিদ্ধান্তটিইসঠিকপদক্ষেপ।Cairo core VM-এরজন্যএইধরণেরverificationচালানোআমাদের—StarkWare team-কে—mathematical certaintyপ্রদানকরেছিলযেআমাদেরCairo VM-একোনোmissing constraintনেই। অতএব,Cairo core VM-এরপ্রমাণদেওয়ারপাশাপাশি,আমরাS-two STARK system,compiler-এরঅংশ,এবংCairo standard library-এবহুতগুলিfunction-ওপ্রমাণকরেছি। কাজটিcomplete?না।আজওঅনেকগুলিঅন্যজিনিসformally proveকরা possible। কিন্তুআমরাআমাদেরসিস্টেম-এরsoundnessএবংsafety-এসংশ্লিষ্টসবগুলিcore propertiesformally proveকরতেবদ্ধপরিকল্পনা। অন্যদেরওformal verification-কেএকটিগুরুত্বপূর্ণtoolহিসাবেগ্রহণকরতেদেখেআমিখুশি। আমিগর্ববোধকরিStarkWareওএইদিকটিতেপথপ্রদর্শনকারীহয়েছিল। এটিই Future Proof blockchain-এরআমাদেরজন্যঅর্থ। আরওজানতেচান? গতকয়েকবছরধরেআমাদেরLean proving efforts-এবিস্তারিতবিবরণটিhere