Shentu et CertiK lancent la première plateforme DeSci mathématique au monde, OpenMath.

【链文】13 octobre, Shentu a annoncé le lancement officiel de la première plateforme DeSci au monde axée sur le domaine des mathématiques, OpenMath. Cette plateforme a été développée en collaboration stratégique entre 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", où les chercheurs et les vérificateurs peuvent collaborer pour poser et résoudre des problèmes mathématiques, et effectuer une vérification logique grâce à la technologie de vérification formelle basée sur Rocq, garantissant ainsi la rigueur et l'exactitude du raisonnement avec une précision mathématique. Les participants ayant réussi la vérification recevront des récompenses en jetons, réalisant ainsi une combinaison efficace de transparence et de mécanismes d'incitation dans le processus de recherche.

Selon des informations, OpenMath est déployé sur la chaîne Shentu, qui était auparavant la chaîne CertiK, incubée personnellement par le professeur Zhao Zhong de l'université de Yale et le professeur Gu Ronghui. En août 2021, Shentu a officiellement quitté CertiK pour opérer de manière autonome en tant qu'entité indépendante. Le lancement d'OpenMath est le résultat de l'exploration conjointe des deux parties sur l'application de la blockchain et de la Vérification formelle dans des scénarios mathématiques, basée sur un nouveau partenariat.