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 meet. The launch, announced in a joint release and amplified across social channels, positions OpenMath as a space where researchers and “provers” can raise, collaborate on and verify mathematical problems with solutions recorded immutably on-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 mechanically verified rather than left to informal peer review. Shentu’s materials describe the system as integrating 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 preserved on the ledger. A Natural Home for DeSci  OpenMath is deployed on Shentu Chain, a security-focused Layer-1 that traces its roots to CertiK and the formal-verification research community. The chain itself, rebranded as Shentu in 2021 after incubating out of CertiK, was developed with an explicit focus on verifiable computing and on-chain security tooling, 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 provers’ work while still allowing the global community to participate, validate and build on verified results. By recording provenance, review and verification steps on-chain, OpenMath aims to remove traditional institutional bottlenecks, ensure fair credit for contributors and speed the pace at which rigorous mathematical knowledge becomes discoverable and reusable. OpenMath’s launch comes as Decentralized Science, or DeSci, gains momentum as an approach to democratizing how research is funded, published and validated. Advocates argue that decentralized networks can expand access, diversify funding mechanisms and make validation processes more transparent, goals that OpenMath explicitly mirrors 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 advanced problems and to broaden incentives within the OpenMath ecosystem. For now, the site and platform are live, inviting mathematicians, formal-methods researchers and the wider DeSci community to explore the new environment where mathematical truth becomes a verifiable, referenceable public good. 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 meet. The launch, announced in a joint release and amplified across social channels, positions OpenMath as a space where researchers and “provers” can raise, collaborate on and verify mathematical problems with solutions recorded immutably on-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 mechanically verified rather than left to informal peer review. Shentu’s materials describe the system as integrating 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 preserved on the ledger. A Natural Home for DeSci  OpenMath is deployed on Shentu Chain, a security-focused Layer-1 that traces its roots to CertiK and the formal-verification research community. The chain itself, rebranded as Shentu in 2021 after incubating out of CertiK, was developed with an explicit focus on verifiable computing and on-chain security tooling, 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 provers’ work while still allowing the global community to participate, validate and build on verified results. By recording provenance, review and verification steps on-chain, OpenMath aims to remove traditional institutional bottlenecks, ensure fair credit for contributors and speed the pace at which rigorous mathematical knowledge becomes discoverable and reusable. OpenMath’s launch comes as Decentralized Science, or DeSci, gains momentum as an approach to democratizing how research is funded, published and validated. Advocates argue that decentralized networks can expand access, diversify funding mechanisms and make validation processes more transparent, goals that OpenMath explicitly mirrors 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 advanced problems and to broaden incentives within the OpenMath ecosystem. For now, the site and platform are live, inviting mathematicians, formal-methods researchers and the wider DeSci community to explore the new environment where mathematical truth becomes a verifiable, referenceable public good.

Shentu Chain and CertiK Unite Blockchain and Mathematics in a DeSci Breakthrough

2025/10/14 11:00
2 min read
For feedback or concerns regarding this content, please contact us at crypto.news@mexc.com
blockchain-network main

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 meet. The launch, announced in a joint release and amplified across social channels, positions OpenMath as a space where researchers and “provers” can raise, collaborate on and verify mathematical problems with solutions recorded immutably on-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 mechanically verified rather than left to informal peer review. Shentu’s materials describe the system as integrating 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 preserved on the ledger.

A Natural Home for DeSci 

OpenMath is deployed on Shentu Chain, a security-focused Layer-1 that traces its roots to CertiK and the formal-verification research community. The chain itself, rebranded as Shentu in 2021 after incubating out of CertiK, was developed with an explicit focus on verifiable computing and on-chain security tooling, 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 provers’ work while still allowing the global community to participate, validate and build on verified results. By recording provenance, review and verification steps on-chain, OpenMath aims to remove traditional institutional bottlenecks, ensure fair credit for contributors and speed the pace at which rigorous mathematical knowledge becomes discoverable and reusable.

OpenMath’s launch comes as Decentralized Science, or DeSci, gains momentum as an approach to democratizing how research is funded, published and validated. Advocates argue that decentralized networks can expand access, diversify funding mechanisms and make validation processes more transparent, goals that OpenMath explicitly mirrors 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 advanced problems and to broaden incentives within the OpenMath ecosystem. For now, the site and platform are live, inviting mathematicians, formal-methods researchers and the wider DeSci community to explore the new environment where mathematical truth becomes a verifiable, referenceable public good.

Market Opportunity
MicroVisionChain Logo
MicroVisionChain Price(SPACEMVC)
$0.0463
$0.0463$0.0463
-2.34%
USD
MicroVisionChain (SPACEMVC) Live Price Chart
Disclaimer: The articles reposted on this site are sourced from public platforms and are provided for informational purposes only. They do not necessarily reflect the views of MEXC. All rights remain with the original authors. If you believe any content infringes on third-party rights, please contact crypto.news@mexc.com for removal. MEXC makes no guarantees regarding the accuracy, completeness, or timeliness of the content and is not responsible for any actions taken based on the information provided. The content does not constitute financial, legal, or other professional advice, nor should it be considered a recommendation or endorsement by MEXC.

You May Also Like

Mutuum Finance (MUTM) Update: V1 Protocol Goes Live, Key Mechanisms Explained

Mutuum Finance (MUTM) Update: V1 Protocol Goes Live, Key Mechanisms Explained

The start of April 2026 marks a significant turning point for the decentralized world. While many older networks are struggling with slow growth and high fees,
Share
Techbullion2026/04/02 19:46
Unlocking Massive Value: Curve Finance Revenue Sharing Proposal for CRV Holders

Unlocking Massive Value: Curve Finance Revenue Sharing Proposal for CRV Holders

BitcoinWorld Unlocking Massive Value: Curve Finance Revenue Sharing Proposal for CRV Holders The dynamic world of decentralized finance (DeFi) is constantly evolving, bringing forth new opportunities and innovations. A significant development is currently unfolding at Curve Finance, a leading decentralized exchange (DEX). Its founder, Michael Egorov, has put forth an exciting proposal designed to offer a more direct path for token holders to earn revenue. This initiative, centered around a new Curve Finance revenue sharing model, aims to bolster the value for those actively participating in the protocol’s governance. What is the “Yield Basis” Proposal and How Does it Work? At the core of this forward-thinking initiative is a new protocol dubbed Yield Basis. Michael Egorov introduced this concept on the CurveDAO governance forum, outlining a mechanism to distribute sustainable profits directly to CRV holders. Specifically, it targets those who stake their CRV tokens to gain veCRV, which are essential for governance participation within the Curve ecosystem. Let’s break down the initial steps of this innovative proposal: crvUSD Issuance: Before the Yield Basis protocol goes live, $60 million in crvUSD will be issued. Strategic Fund Allocation: The funds generated from the sale of these crvUSD tokens will be strategically deployed into three distinct Bitcoin-based liquidity pools: WBTC, cbBTC, and tBTC. Pool Capping: To ensure balanced risk and diversified exposure, each of these pools will be capped at $10 million. This carefully designed structure aims to establish a robust and consistent income stream, forming the bedrock of a sustainable Curve Finance revenue sharing mechanism. Why is This Curve Finance Revenue Sharing Significant for CRV Holders? This proposal marks a pivotal moment for CRV holders, particularly those dedicated to the long-term health and governance of Curve Finance. Historically, generating revenue for token holders in the DeFi space can often be complex. The Yield Basis proposal simplifies this by offering a more direct and transparent pathway to earnings. By staking CRV for veCRV, holders are not merely engaging in governance; they are now directly positioned to benefit from the protocol’s overall success. The significance of this development is multifaceted: Direct Profit Distribution: veCRV holders are set to receive a substantial share of the profits generated by the Yield Basis protocol. Incentivized Governance: This direct financial incentive encourages more users to stake their CRV, which in turn strengthens the protocol’s decentralized governance structure. Enhanced Value Proposition: The promise of sustainable revenue sharing could significantly boost the inherent value of holding and staking CRV tokens. Ultimately, this move underscores Curve Finance’s dedication to rewarding its committed community and ensuring the long-term vitality of its ecosystem through effective Curve Finance revenue sharing. Understanding the Mechanics: Profit Distribution and Ecosystem Support The distribution model for Yield Basis has been thoughtfully crafted to strike a balance between rewarding veCRV holders and supporting the wider Curve ecosystem. Under the terms of the proposal, a substantial portion of the value generated by Yield Basis will flow back to those who contribute to the protocol’s governance. Returns for veCRV Holders: A significant share, specifically between 35% and 65% of the value generated by Yield Basis, will be distributed to veCRV holders. This flexible range allows for dynamic adjustments based on market conditions and the protocol’s performance. Ecosystem Reserve: Crucially, 25% of the Yield Basis tokens will be reserved exclusively for the Curve ecosystem. This allocation can be utilized for various strategic purposes, such as funding ongoing development, issuing grants, or further incentivizing liquidity providers. This ensures the continuous growth and innovation of the platform. The proposal is currently undergoing a democratic vote on the CurveDAO governance forum, giving the community a direct voice in shaping the future of Curve Finance revenue sharing. The voting period is scheduled to conclude on September 24th. What’s Next for Curve Finance and CRV Holders? The proposed Yield Basis protocol represents a pioneering approach to sustainable revenue generation and community incentivization within the DeFi landscape. If approved by the community, this Curve Finance revenue sharing model has the potential to establish a new benchmark for how decentralized exchanges reward their most dedicated participants. It aims to foster a more robust and engaged community by directly linking governance participation with tangible financial benefits. This strategic move by Michael Egorov and the Curve Finance team highlights a strong commitment to innovation and strengthening the decentralized nature of the protocol. For CRV holders, a thorough understanding of this proposal is crucial for making informed decisions regarding their staking strategies and overall engagement with one of DeFi’s foundational platforms. FAQs about Curve Finance Revenue Sharing Q1: What is the main goal of the Yield Basis proposal? A1: The primary goal is to establish a more direct and sustainable way for CRV token holders who stake their tokens (receiving veCRV) to earn revenue from the Curve Finance protocol. Q2: How will funds be generated for the Yield Basis protocol? A2: Initially, $60 million in crvUSD will be issued and sold. The funds from this sale will then be allocated to three Bitcoin-based pools (WBTC, cbBTC, and tBTC), with each pool capped at $10 million, to generate profits. Q3: Who benefits from the Yield Basis revenue sharing? A3: The proposal states that between 35% and 65% of the value generated by Yield Basis will be returned to veCRV holders, who are CRV stakers participating in governance. Q4: What is the purpose of the 25% reserve for the Curve ecosystem? A4: This 25% reserve of Yield Basis tokens is intended to support the broader Curve ecosystem, potentially funding development, grants, or other initiatives that contribute to the platform’s growth and sustainability. Q5: When is the vote on the Yield Basis proposal? A5: A vote on the proposal is currently underway on the CurveDAO governance forum and is scheduled to run until September 24th. If you found this article insightful and valuable, please consider sharing it with your friends, colleagues, and followers on social media! Your support helps us continue to deliver important DeFi insights and analysis to a wider audience. To learn more about the latest DeFi market trends, explore our article on key developments shaping decentralized finance institutional adoption. This post Unlocking Massive Value: Curve Finance Revenue Sharing Proposal for CRV Holders first appeared on BitcoinWorld.
Share
Coinstats2025/09/18 00:35
Oscar Health (OSCR) Stock Soars 11% on Record-Breaking Quarterly Earnings

Oscar Health (OSCR) Stock Soars 11% on Record-Breaking Quarterly Earnings

Oscar Health (OSCR) stock rallied 11% after delivering record $679M profit, $2.07 EPS (vs $1.06 estimate), and 57% membership growth year-over-year. The post Oscar
Share
Blockonomi2026/05/06 19:52

Starter Gold Rush: Win $2,500!

Starter Gold Rush: Win $2,500!Starter Gold Rush: Win $2,500!

Start your first trade & capture every Alpha move