OpenMath leverages Rocq-based formal verification to ensure precise solutions, rewarding participants with tokens for validated mathematical problem-solving.
Shentu Chain, in partnership with CertiK, has launched OpenMath, the first decentralized science platform focused on mathematics. The system allows researchers and validators to collaborate on solving mathematical problems, using Rocq-based formal verification to guarantee logical accuracy. Verified solutions earn token rewards, fostering transparency and incentivization. OpenMath is deployed on Shentu Chain, which evolved from CertiK Chain before its independence in 2021, marking a renewed collaboration between the entities in applying blockchain to formal verification in mathematics.