@Zcash की बग के कारण Ironwood का विकास हुआ, जिसमें Orchard भुगतान सर्किट की औपचारिक पुष्टि की गई। मैं इसका समर्थन करता हूँ और इसे पसंद करता हूँ। मैं यह भी जोर देना चाहता हूँ कि @Starknet ने लगभग 5 साल से — औपचारिक पुष्टि — की है। Zcash जैसे प्रोजेक्ट्स को तेजी से प्रतिक्रिया देने के लिए समर्थन करना महत्वपूर्ण है, जैसा कि इस मामले में हुआ। इसी तरह, Starknet जैसे भविष्य-सुरक्षित और अग्रणी प्रोजेक्ट्स को समझना भी महत्वपूर्ण है। (विवरण नीचे के लेख में हैं) मैंने अक्सर कहा है कि Starknet वह सिस्टम है जिसके पास पहले से ही वह सब कुछ है जिसका दावा अन्य चेन्स अभी-अभी करती हैं। यह कई मामलों में सच है। हमने कई अलोकप्रिय चुनावों के अग्रदूत के रूप में काम किया है, जिनकी महत्वपूर्णता अब सभी स्वीकार करते हैं, जिसमें पोस्ट-क्वांटम सुरक्षित ZK-STARKs सबसे अच्छा स्केलिंग और प्राइवेसी समाधान, पतले zkVMs (Cairo सबसे अच्छा है), Validium डेटा उपलब्धता, और औपचारिक पुष्टि शामिल हैं। औपचारिक पुष्टि का मतलब है कि आप Lean जैसे स्वचालित उपकरणों का उपयोग करके गणितीय रूप से साबित करते हैं कि आपका कोड सुरक्षित है। कोड को सुरक्षित होने के प्रत्येक पहलू को पकड़ना बहुत मुश्किल है, लेकिन हमारे CTO @LiorGoldberg2 (Cairo zkVM और भाषा के सह-निर्माता) के नेतृत्व में, हम 5 साल से इस पर काम कर रहे हैं। ZK से संबंधित दावों की पहली पुस्तक (प्रोफेसर Jeremy Avigad, Yoav Seginer, और अन्य) में साबित किया गया कि Cairo VM को परिभाषित करने वाले बहुपद सीमाओं का सेट सही है। अगर आप हाल ही में समाचारों का पालन कर रहे हैं, तो AI द्वारा हाल ही में पाई गई और Zcash (जिसकी मैंने सह-स्थापना की है, और मैं इसके प्रति बहुत गर्व महसूस करता हूँ) के लिए सुधार की गई बग, एक मिसिंग सीमा से संबंधित थी। ऐसी अन्य बग्स को दूर करने के लिए उनके कोड की पुष्टि करने का निर्णय सही कदम है। Cairo core VM के लिए इस प्रकार की पुष्टि करने से, हमें, StarkWare टीम, को 100% गणितीय पुष्टि मिली कि हमारे Cairo VM में कोई मिसिंग सीमा नहीं है। इसलिए, Cairo core VM की पुष्टि के साथ-साथ, हमने S-two STARK सिस्टम, कंपाइलर का हिस्सा, और मानक Cairo पुस्तकालय में कई कार्यों को भी साबित किया है। क्या काम पूरा हो गया? नहीं। अभी भी कई ऐसी चीजें हैं जिनकी पुष्टि की जा सकती है। लेकिन हम सभी महत्वपूर्ण मूलभूत संपत्तियों —जो हमारी प्रणालियों की सुदृढ़ता (soundness) और सुरक्षा से संबंधित हैं—को औपचारिक रूप से साबित करने के प्रति प्रतिबद्ध हैं। देखकर अच्छा लगता है कि अन्य प्रोजेक्ट्स formal verification को महत्वपूर्ण उपकरण के रूप में स्वीकार करने लगे हैं। मुझे गर्व है कि StarkWare ne is kshetra mein bhi rahat ki hai. Future Proof blockchain ka matlab humare liye yahi hai. अधिक जानना चाहते हैं? यहाँ पिछले कुछ सालों में हमारे Lean proving प्रयासों का विस्तृत विवरण है।