Shentu Chain and CertiK this week unveiled OpenMath, billed as the world’s first mathematical DeSci platform, opening a new chapter where formal mathematics, verifiable computing and blockchain converge. The launch, announced in a joint release and expanded through social channels, positions OpenMath as a space where researchers and ‘provers’ can address, collaborate on, and verify mathematical problems with solutions immutably committed to the chain.
At the heart of OpenMath is formal verification: proofs and solutions submitted to the platform are checked using proof assistant technology, so that correctness can be verified mechanically rather than left to informal peer review. Shentu’s materials describe that the system integrates well-known formal tools such as Coq and Lean into a blockchain-native workflow, allowing theorems and their machine-checked proofs to be referenced, validated, and stored on the ledger.
A natural home for DeSci
OpenMath is deployed on Shentu Chain, a security-focused Layer-1 that has its roots in CertiK and the formal verification research community. The chain itself, renamed Shentu in 2021 after spinning out of CertiK, was developed with an explicit focus on verifiable computing and on-chain security tools, making it a natural home for a DeSci experiment built around mathematical truth.
The platform’s architects say OpenMath was designed with collaboration and intellectual property protection in mind: a two-phase submission process protects the work of the provers, while still allowing the global community to participate, validate, and build on verified results. By capturing the provenance, assessment, and verification steps in the chain, OpenMath aims to remove traditional institutional bottlenecks, ensure fair credit for contributors, and accelerate the pace at which rigorous mathematical knowledge becomes discoverable and reusable.
The launch of OpenMath comes as Decentralized Science, or DeSci, is gaining momentum as an approach to democratize how research is funded, published and validated. Proponents argue that decentralized networks can increase access, diversify funding mechanisms, and make validation processes more transparent, goals that OpenMath explicitly reflects by combining open access to verified results with on-chain traceability.
Shentu Chain and CertiK framed the release as the continuation of a shared mission to apply blockchain and formal verification to “real-world impact,” and they say further expansions are planned to let researchers tackle increasingly sophisticated problems and broaden incentives within the OpenMath ecosystem. For now, the site and platform are live and invite mathematicians, formal methods researchers, and the broader DeSci community to explore the new environment in which mathematical truth becomes a verifiable, reference-oriented public good.