OpenMath запущено, Shentu ланцюг та Certi спільно створюють першу платформу DeSci у сфері математики

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