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

Proposal #54🗳️: Shentu Mainnet Upgrade (v2.18.0) The v2.18.0 upgrade is scheduled at block height 29,367,500, approximately on May 19th 2026, 13:00 UTC. 🗳️Proposal Info: [mintscan.io/shentu/proposa…] ⏳Upgrade Countdown: [mintscan.io/shentu/block/2…] 📰The Release: [github.com/shentufoundati…]

🚨Open Theorems Alert #13 0x0013 :: Predicates and Mutually Inductive Proof Hurry! Reward ends soon. Submit your proof or help fund the theorem. Given abstract predicates P, Q, R and mutually inductive predicates A, B. You need to prove the theorem neg_a, which states that if P and Q are always false, and R is serial, then A never holds. >> Suggested Difficulty: Intermediate >> Reward: 51 $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 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