@Zcash کی خرابی کی وجہ سے Ironwood، Orchard ادائیگی سرکٹ کی فارمل تصدیق شروع ہوئی۔ میں اس کی حمایت کرتا ہوں اور اسے پسند کرتا ہوں۔ میں یہ بھی زور دینا چاہتا ہوں کہ @Starknet نے تقریباً 5 سال سے یہی کام کر رہا ہے — فارمل تصدیق۔ Zcash جیسے منصوبوں کی تعریف کرنا ضروری ہے جو اس طرح کے معاملات میں جلد ردعمل دیتے ہیں۔ اسی طرح، Starknet جیسے منصوبوں کو سراہنا بھی ضروری ہے جو مستقبل کے لیے تیار ہیں اور ٹرینڈ سے آگے ہیں۔ (تفصیلات نیچے دیے گئے مضمون میں) میں نے بار بار کہا ہے کہ Starknet وہ نظام ہے جس کے پاس وہ چیزیں پہلے سے موجود ہیں جن کا دعویٰ دوسرے چینز مستقبل میں کر رہے ہیں۔ یہ بات بہت سے معاملات میں سچ ثابت ہو چکی ہے۔ ہم نے بہت سے غیر مقبول فیصلوں کا راستہ اپنایا جن کو اب سب تسلیم کر رہے ہیں، جن میں پوسٹ-کوانٹم محفوظ ZK-STARKs کو بہترین اسکیلنگ اور پرائیوسری حل کے طور پر، لین لایک zkVMs (Cairo بہترین ہے)، Validium ڈیٹا دستیابی، اور فارمل تصدیق شامل ہے۔ فارمل تصدیق کا مطلب ہے کہ آپ Lean جیسے آٹومیٹڈ ٹولز کا استعمال کرتے ہوئے اپنے کوڈ کی محفوظیت کو ریاضی کے ذریعے ثابت کرتے ہیں۔ کوڈ کی محفوظیت کے تمام پہلوؤں کو احاطہ کرنا بہت مشکل ہے، لیکن ہمارے سีٹو @LiorGoldberg2 (Cairo zkVM اور زبان کے ساتھ-بنانے والے) کی قائدانہ صلاحیتوں کے تحت، ہم نے تقریباً 5 سال سے اس پر کام جاری رکھا ہے۔ ZK سے متعلق دعوؤں کی فارمل تصدیق پر پہلا تحقیقی مقالہ (پروفیسر جیرمی اوگبڈ، یوآب سگینر، اور دوسرے) نے ثابت کیا کہ Cairo VM کو تعریف کرنے والے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارے بہت سارे b اگر آپ حال ہی میں خبروں کا تعاقب کر رहे ھو، تو جس خرابی کو AI نे حال ھی ميں Zcash (جو ایک اور منصوبه ھي جس کي بناء پر ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نيچي شراكت كي ھي اور جس كي ميں نיچי شراكت كי ھי اور جس كי مיں نיچי شراكت كי ھי اور جس كי مיں نיچי شراكت كי ھי اور جس كי مיں نיچי شراكت كי ھי اور جس كי مยں نयچय شراكت كय ھय اور جس كय مยں نयچय شراكت كय ھय اور جس كय مยں نयچय شراكت كय ھय اور جس كय مยں نयچय شراكت كय ھ� اور جس ك� م�ں ن�چ� شراكت ك� ھ� اور جس ك� م�ں ن�چ� شراكت ك� ھ� اور جس ك� م�ں ن�چ� شراكت ك� ھ� اور جس ك� م�ں ن�چ� شراكت ك� ھ� اور جس ك� م�ں ن�چ� شراكت ك� ھ� اور جس ك� م�ں ن�چ� شراكت ك� ھ� اور جس ك� م�ں ن�چ� شراكت ك� ھ� اور جس ك� م�ں ن�چ� شراكت ك� ھ� اور جس ك� م�ں ن�چ� شراكت ك� ھ� اور جس ك� م�ں ن�چ� شراكت ك� ھ� اور جس ك� م�ں ن�چய شراكت كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس كيا هيا اور جس किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भी नहीं किसी ने भीन میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلकه فرمول ويرفِكشن (Formal Verification) ka zabardast istemal karnay wala projeckt banayna tha. میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلکه فرمول ویرفکشن (Formal Verification) کا زبردست استعمال کرن والا پروجکٹ بننا تھا۔ میرا مقصد صرف زکاش کا ذکر نہیں، بلकه فرمول ويرفِكشن (Formal Verification) ka zabardast istemal karnay wala projeckt banayna tha. میرا مقصد صرف زکاش کا ذکر نہیں، بلك فرمول ويرفِكشن (Formal Verification) ka zabardast istemal karnay wala projeckt banayna tha. میرا مقصد صرف زكاش ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi, balkay formal verification ka zabardast istemal karnay wala projeckt banayna tha. میرًا مقصد صرف زَكَاشْ ka zikr nahi,