Shentu Chain, en collaboration avec CertiK, a lancé OpenMath, la première plateforme de science décentralisée (DeSci) axée sur les mathématiques. Cette plateforme innovante permet aux utilisateurs de proposer et de résoudre des problèmes mathématiques, en utilisant la technologie de vérification formelle Rocq pour garantir la validation logique. Les participants qui vérifient avec succès les solutions recevront des récompenses en tokens, favorisant ainsi la transparence et incitant à la collaboration. OpenMath est déployé sur Shentu Chain, qui a été initialement fondée par des professeurs de l'université de Yale et fonctionne de manière indépendante depuis 2021. Ce lancement marque un partenariat stratégique entre Shentu et CertiK, visant à intégrer la technologie blockchain et la vérification formelle dans les applications mathématiques.