Shentu Chain et CertiK unissent Blockchain et Mathématiques dans une percée DeSci

Shentu Chain et CertiK ont dévoilé cette semaine OpenMath, présenté comme la première plateforme DeSci mathématique au monde, ouvrant un nouveau chapitre où les mathématiques formelles, l'informatique vérifiable et la blockchain se rencontrent. Le lancement, annoncé dans un communiqué commun et amplifié sur les réseaux sociaux, positionne OpenMath comme un espace où les chercheurs et les « proveurs » peuvent soulever, collaborer sur et vérifier des problèmes mathématiques avec des solutions enregistrées de manière immuable on-chain.

Au cœur d'OpenMath se trouve la vérification formelle : les preuves et les solutions soumises à la plateforme sont vérifiées à l'aide de la technologie d'assistant de preuve afin que la correction puisse être vérifiée mécaniquement plutôt que laissée à l'examen par les pairs informels. Les matériaux de Shentu décrivent le système comme intégrant des outils formels bien connus tels que Coq et Lean dans un flux de travail natif de la blockchain, permettant aux théorèmes et à leurs preuves vérifiées par machine d'être référencés, validés et préservés sur le grand livre.

Un foyer naturel pour DeSci

OpenMath est déployé sur Shentu Chain, une plateforme de niveau 1 axée sur la sécurité qui tire ses racines de CertiK et de la communauté de recherche en vérification formelle. La chaîne elle-même, rebaptisée Shentu en 2021 après avoir été incubée par CertiK, a été développée avec un accent explicite sur l'informatique vérifiable et les outils de sécurité on-chain, ce qui en fait un foyer naturel pour une expérience DeSci construite autour de la vérité mathématique.

Les architectes de la plateforme affirment qu'OpenMath a été conçu en pensant à la collaboration et à la protection de la propriété intellectuelle : un processus de soumission en deux phases protège le travail des provers tout en permettant à la communauté mondiale de participer, de valider et de s'appuyer sur des résultats vérifiés. En enregistrant la provenance, les étapes de révision et de vérification sur la chaîne, OpenMath vise à éliminer les goulets d'étranglement institutionnels traditionnels, à garantir un crédit équitable pour les contributeurs et à accélérer le rythme auquel les connaissances mathématiques rigoureuses deviennent découvrables et réutilisables.

Le lancement d'OpenMath intervient alors que la Science Décentralisée, ou DeSci, prend de l'ampleur en tant qu'approche pour démocratiser la manière dont la recherche est financée, publiée et validée. Les défenseurs soutiennent que les réseaux décentralisés peuvent élargir l'accès, diversifier les mécanismes de financement et rendre les processus de validation plus transparents, des objectifs qu'OpenMath reflète explicitement en combinant l'accès ouvert à des résultats vérifiés avec une traçabilité on-chain.

Shentu Chain et CertiK ont présenté la sortie comme la continuation d'une mission commune pour appliquer la blockchain et la vérification formelle à un “impact dans le monde réel”. Ils affirment que d'autres expansions sont prévues pour permettre aux chercheurs de s'attaquer à des problèmes de plus en plus avancés et d'élargir les incitations au sein de l'écosystème OpenMath. Pour l'instant, le site et la plateforme sont en ligne, invitant les mathématiciens, les chercheurs en méthodes formelles et la communauté DeSci au sens large à explorer le nouvel environnement où la vérité mathématique devient un bien public vérifiable et référable.