يؤدي خطأ @Zcash إلى Ironwood، وهو التحقق الرسمي لدائرة الدفع Orchard. أنا أحبه وأدعمه. أريد أيضًا التأكيد على أن @Starknet كانت تقوم بذلك — التحقق الرسمي — منذ أكثر من 5 سنوات. من المهم دعم المشاريع الرائعة مثل Zcash لردود أفعالها السريعة، كما في هذه الحالة. ومن المهم أيضًا التعرف على المشاريع التي هي مستقبلية ومتقدمة على منحى الوقت، مثل Starknet. (التفاصيل في المقال أدناه) لقد قلت مرارًا وتكرارًا إن Starknet هي النظام الذي يمتلك بالفعل ما تدّعيه سلاسل أخرى أنها ستطلقه قريبًا. وقد كان هذا صحيحًا في العديد من الجوانب. كنا دائمًا في طليعة العديد من الخيارات غير الشعبية التي أصبح الجميع الآن يعترف بأهميتها، بما في ذلك ZK-STARKs الآمنة ضد الحوسبة الكمية كأفضل حل للتوسع والخصوصية، وzkVMs الخفيفة (Cairo هو الأفضل)، وتوفر البيانات Validium، والتحقق الرسمي. التحقق الرسمي يعني أنك تستخدم أدوات آلية مثل نظام Lean لإثبات رياضي أن كودك آمن. من الصعب جدًا التقاط جميع جوانب ما يعنيه أن يكون الكود آمنًا، لكن بقيادة مديرينا التقنيين @LiorGoldberg2 (المُطور المشترك لـ Cairo zkVM واللغة)، نحن نعمل على ذلك منذ أكثر من 5 سنوات. أول ورقة بحثية حول التحقق الرسمي للمطالبات المتعلقة بـ ZK (البروفيسور جيريمي أفيغاد، يواف سيجينر، وغيرهم) أظهرت أن مجموعة القيود متعددة الحدود التي تحدد Cairo VM صحيحة. إذا كنت تتبع الأخبار مؤخرًا، فكان الخطأ الذي اكتشفه الذكاء الاصطناعي مؤخرًا وتم إصلاحه الآن في Zcash (مشروع آخر شاركت في تأسيسه، وأنا فخور جدًا به وأدعمه) متعلقًا بقيود مفقودة. اتخاذ قرار التحقق من كودهم لاستبعاد أخطاء أخرى من هذا القبيل هو الخطوة الصحيحة. وقد منحنا تشغيل هذا النوع من التحقق لـ Cairo VM الأساسي، فريق StarkWare، اليقين الرياضي بأنه لا توجد أي قيود مفقودة في Cairo VM الخاص بنا. إذن، بالإضافة إلى إثبات Cairo VM الأساسي، فقد أثبتنا أيضًا نظام S-two STARK، وهو جزء من المُترجم، والعديد من الوظائف في مكتبة Cairo القياسية. هل انتهى العمل؟ لا. هناك العديد من الأمور الأخرى التي يمكن إثباتها رسميًا. لكننا ملتزمون بمتابعة إثبات جميع الخصائص الأساسية المتعلقة بسلامة وموثوقية أنظمتنا. إن رؤية مشاريع أخرى تتبنى التحقق الرسمي كأداة مهمة أمر رائع. أنا فخور بأن StarkWare كانت رائدة في هذا الجانب أيضًا. هذا ما يعنيه لنا "البلوك تشين المستقبلي". تريد معرفة المزيد؟ هنا حساب مفصل لجهود إثبات Lean الخاصة بنا على مدار السنوات القليلة الماضية