Shentu ланцюг у партнерстві з CertiK запустив першу у світі математичну DeSci платформу OpenMath

【链文】13 жовтня повідомлено, що Shentu ланцюг сьогодні офіційно запускає першу у світі платформу DeSci, що фокусується на математичній галузі - OpenMath. Ця платформа була стратегічно розроблена Shentu ланцюгом у співпраці з найбільшою у світі компанією з безпеки Web3, лідером у сфері формальної верифікації CertiK.

OpenMath прагне створити екосистему DeSci, що базується на "доказових математичних істинах", де дослідники та перевіряючі можуть співпрацювати для формулювання та вирішення математичних проблем, а також проводити логічну верифікацію за допомогою формальної верифікації на основі Rocq, щоб забезпечити строгість та точність висновків з математичною точністю. Учасники, які успішно завершать верифікацію, отримають винагороду у вигляді токенів, що забезпечує публічність та прозорість дослідницького процесу та ефективне поєднання механізму стимулювання.

Відомо, що OpenMath розгорнуто на ланцюгу Shentu, який є попередником ланцюга CertiK, що був особисто інкубований професором Шао Чжуном та професором Гу Ронгхуєм з Єльського університету. У серпні 2021 року Shentu офіційно відокремилася від CertiK, як незалежний суб'єкт, що самостійно функціонує. Запуск OpenMath є спільним дослідженням обох сторін у новій партнерській відносині, щодо застосування блокчейну та Формальної верифікації в математичних сценах.