Shentu Chain в сотрудничестве с CertiK запустили OpenMath — первую децентрализованную научную (DeSci) платформу, ориентированную на математику. Эта инновационная платформа позволяет пользователям предлагать и решать математические задачи, используя технологию формальной верификации Rocq для обеспечения логической проверки. Участники, успешно проверяющие решения, будут получать токены в качестве вознаграждения, что способствует прозрачности и стимулирует сотрудничество. OpenMath развернута на Shentu Chain, которая была изначально основана профессорами Йельского университета и с 2021 года работает независимо. Этот запуск знаменует стратегическое партнерство между Shentu и CertiK, направленное на интеграцию блокчейн-технологий и формальной верификации в математические приложения.