OpenMath est en ligne, la chaîne Shentu et Certi s'associent pour créer la première plateforme DeSci dans le domaine des mathématiques.

La plateforme de nouvelles de la monnaie, le 13 octobre, a annoncé que la chaîne Shentu a officiellement lancé OpenMath, la première plateforme DeSci au monde axée sur le domaine des mathématiques. Cette plateforme a été développée en collaboration stratégique entre la chaîne Shentu et CertiK, le plus grand entreprise de sécurité Web3 au monde et leader dans le domaine de la vérification formelle. OpenMath s'engage à construire un écosystème DeSci centré sur la "vérité mathématique vérifiable", permettant aux chercheurs et aux validateurs de collaborer pour poser et résoudre des problèmes mathématiques, et de procéder à une vérification logique grâce à une technologie de vérification formelle basée sur Rocq, garantissant une rigueur et une précision de raisonnement au niveau mathématique. Les participants qui réussissent la vérification recevront des jetons en récompense, réalisant une combinaison efficace de transparence dans le processus de recherche et de mécanismes d'incitation. Selon les nouvelles de la monnaie, OpenMath est déployé sur la chaîne Shentu, qui était auparavant la chaîne CertiK, incubée personnellement par le professeur Zhong Shao de l'Université de Yale et le professeur Ronghui Gu. En août 2021, Shentu s'est officiellement séparé de CertiK pour fonctionner en tant qu'entité indépendante. Le lancement de cette fois-ci d'OpenMath est une exploration conjointe basée sur un nouveau partenariat des applications de la blockchain et de la vérification formelle dans le contexte mathématique.