OpenMath تم إطلاقها، Shentu链 و Certi يتعاونان لإنشاء أول منصة DeSci في مجال الرياضيات

موقع CoinWorld في 13 أكتوبر، أعلن سلسلة Shentu اليوم عن الإطلاق الرسمي لأول منصة DeSci تركز على مجال الرياضيات في العالم OpenMath. تم تطوير هذه المنصة بالتعاون الاستراتيجي بين سلسلة Shentu وأكبر شركة أمان في Web3 في العالم، CertiK، الرائدة في مجال التحليل الرسمي. تهدف OpenMath إلى بناء نظام DeSci يركز على "حقائق رياضية قابلة للتحقق" حيث يمكن للباحثين والمدققين التعاون في طرح وحل المشكلات الرياضية، وإجراء التحقق المنطقي باستخدام تقنية التحقق الرسمي القائمة على Rocq، لضمان دقة صارمة وموثوقة. سيحصل المشاركون الذين أكملوا التحقق بنجاح على مكافآت عملة، مما يحقق الشفافية العامة لعملية البحث ودمج فعال لآلية التحفيز. وفقًا لأخبار CoinWorld، تم نشر OpenMath على سلسلة Shentu، التي كانت سابقًا سلسلة CertiK، وتم احتضانها من قبل البروفيسور شاو تشونغ من جامعة ييل والبروفيسور غو رونغ هوي. في أغسطس 2021، انفصلت Shentu رسميًا عن CertiK، وعملت ككيان مستقل. يعد إطلاق OpenMath هذه المرة استكشافًا مشتركًا بين الطرفين لتطبيقات البلوكتشين والتحقق الرسمي في سياقات الرياضيات.