Shentu Chain and CertiK recently introduced OpenMath, described as the world’s first mathematical DeSci platform, marking a significant milestone where formal mathematics, verifiable computing, and blockchain converge. The launch, announced through a joint statement and shared across various social media platforms, establishes OpenMath as a collaborative space where researchers and “provers” can propose, work on, and validate mathematical problems with solutions securely recorded on the blockchain.
Central to OpenMath is formal verification: proofs and solutions submitted to the platform undergo scrutiny using proof-assistant technology to ensure accuracy can be mechanically confirmed rather than relying solely on informal peer review. According to Shentu’s documentation, the system integrates established formal tools like Coq and Lean into a blockchain-native workflow, enabling theorems and their machine-verified proofs to be referenced, authenticated, and archived on the ledger.
A Natural Home for DeSci
OpenMath is hosted on Shentu Chain, a security-centric Layer-1 platform with origins in CertiK and the formal-verification research community. The chain, rebranded as Shentu in 2021 following its incubation within CertiK, was purposefully developed with a focus on verifiable computing and on-chain security tools, making it an ideal environment for a DeSci initiative centered around mathematical truths.
The creators of the platform emphasize that OpenMath was designed with collaboration and intellectual property protection in mind: a two-phase submission process safeguards the work of provers while still enabling global participation, validation, and expansion on verified results. By documenting provenance, review, and verification steps on the blockchain, OpenMath aims to eliminate traditional institutional barriers, ensure equitable recognition for contributors, and accelerate the accessibility and reusability of rigorous mathematical knowledge.
The launch of OpenMath coincides with the growing momentum of Decentralized Science, or DeSci, as a method for democratizing research funding, publication, and validation processes. Supporters contend that decentralized networks can enhance accessibility, diversify funding mechanisms, and increase transparency in validation procedures, objectives that OpenMath explicitly aligns with by combining open access to verified outcomes with on-chain traceability.
Shentu Chain and CertiK position the release as a continuation of their joint mission to apply blockchain and formal verification for tangible real-world impact, with plans for future expansions to enable researchers to tackle more complex challenges and enhance incentives within the OpenMath ecosystem. The website and platform are currently active, inviting mathematicians, formal-methods researchers, and the broader DeSci community to explore the novel environment where mathematical truths are transformed into verifiable, referenceable public assets.
