Shentu Chain

OpenMath, the world’s first mathematical DeSci platform, is officially LIVE! In strategic partnership with @CertiK , Shentu Chain proudly announces this new chapter, a new era where math meets blockchain! #OpenMath #DeSci openmath.shentu.org

🚨Open Theorems Alert #12 0x0012 :: Local Minimum Proof: Main Theorem ❕Hurry: Reward ends in 13 days. Submit your proof or help fund the theorem. The main theorem validating the binary search algorithm. >> Suggested Difficulty: Intermediate >> Reward: 43 $CTK Submit your proof or contribute funding. Verify truth on-chain: openmath.shentu.org/OpenMath/Theor… #OpenMath #OpenTheorems #Rocq

🚨Open Theorems Alert #12 0x0012 :: Local Minimum Proof: Main Theorem Hurry! Reward ends in 14 days. Submit your proof or help fund the theorem. The main theorem validating the binary search algorithm. >> Suggested Difficulty: Intermediate >> Reward: 41 $CTK Submit your proof or contribute funding. Verify truth on-chain: openmath.shentu.org/OpenMath/Theor… #OpenMath #OpenTheorems #Rcoq

Congrats @CosmostationVD Solid infra update. A thriving ecosystem in the making ⚛️💜

Following the recent OpenMath upgrade. With v2.17.0, rewards are now separated for Rocq and Lean proofs as more theorems roll out.

🚨Open Theorems Alert #11 0x0011 :: Erdős Problems #12 Part1 Let A be an infinite set such that there are no distinct a, b, c € A such that a | (b + c) and b, c > a. >> Suggested Difficulty: Intermediate >> Reward: 61 $CTK Submit your proof or contribute funding. Verify truth on-chain: openmath.shentu.org/OpenMath/Theor… #OpenMath #OpenTheorems #Lean @leanprover

This strengthens the incentive layer for contributors building machine-verifiable mathematics on-chain. Explore open theorems: openmath.shentu.org/OpenMath/Theor… >> Verify truth on-chain. @leanprover #OpenMath #Lean #Rocq

UPDATE: OpenMath With Shentu v2.17.0, OpenMath now separates rewards for Rocq and Lean proofs. Contributors currently submit proofs using systems such as: • Rocq • Lean Different proof systems, independent reward flows and clear attribution for formal verification work.

⚛️ Cosmos Ecosystem Weekly Newspaper 📰 🧵👇 Page 1 $CTK $DGN $ATOM $TIA $INIT $NTRN $RUJI $AXL @ShentuChain @cryptodungeonma @dropdotmoney @RujiraNetwork @axelar

2/ Full technical details (proposal & release notes): The Proposal: [mintscan.io/shentu/proposa…] The Release: [github.com/shentufoundati…]

1/ What's new: • OpenMath: Distinguishing reward distributions between Rocq and Lean. • Bumped cosmos-sdk → v0.53.5 • Bump IBC to v10.5.0

Announcement: Shentu Mainnet v2.17.0 is Live! Shentu v2.17.0 successfully upgraded at block #28,124,200. Every block is a new step. Big thanks to everyone in the community who helped make this upgrade happen. #Shentu $CTK #BlockchainUpgrade #Governance #Cosmos

⏳ 12 Hours to Shentu Mainnet Upgrade (v2.17.0) 12 hours remaining. Block height: 28,124,200 Feb 25, 2026 · 13:00 UTC See you at the height. Track: mintscan.io/shentu/block/2… #Shentu $CTK #Cosmos #BlockchainUpgrade #Proposal #Governance #DeSci #OpenMath #Rocq #Lean

⏳ 12 Hours to Shentu Mainnet Upgrade (v2.17.0) 12 hours remaining. Block height: 28,124,200 Feb 25, 2026 · 13:00 UTC See you at the height. Track: mintscan.io/shentu/block/2… #Shentu $CTK #Cosmos #BlockchainUpgrade #Proposal #Governance #DeSci #OpenMath #Rocq #Lean

Binance Will Support the Shentu (CTK) Network Upgrade & Hard Fork Starting at approximately 2026-02-25 12:00 (UTC), Binance will suspend the deposits and withdrawals of token(s) on the Shentu (CTK) network to support its network upgrade and hard fork to ensure user experience.

@CosmosEcosystem LFG!

⏳ 1 Day to Shentu Mainnet Upgrade (v2.17.0)

⏳ 1 Day to Shentu Mainnet Upgrade (v2.17.0) The upgrade is scheduled at block height 28,124,200 approximately Feb 25, 2026 at 13:00 UTC. Track the block: mintscan.io/shentu/block/2… #Shentu $CTK #Cosmos #BlockchainUpgrade #Proposal #Governance #DeSci #OpenMath #Rocq #Lean

>> Suggested Difficulty: Intermediate >> Reward: 61 $CTK Submit your proof or contribute funding. Verify truth on-chain: openmath.shentu.org/OpenMath/Theor… #OpenMath #OpenTheorems #Rcoq

🚨Open Theorems Alert #10 0x0010 :: Modulo Properties: Modular Inverse Prove the existence of a modular multiplicative inverse using Bézout's identity. Specifically, if `m` and `n` are coprime, there exists an integer `x` such that `m * x ≡ 1 (mod n)`.