Security-oriented blockchain enables provable trust for all. OpenMath, the world’s first mathematical DeSci platform https://xitter.cf/t.co/8YDZJUF1Xq
Joined August 2021
- Tweets1.7K
- Following288
- Followers55.2K
- Likes1.9K
Pinned Tweet
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
Announcement: Shentu Mainnet v2.19.0 is Live!
Shentu v2.19.0 successfully upgraded at block #31,150,500.
Another milestone for the network. Huge thanks to validators, developers, and the community for supporting this upgrade every step of the way.
#Shentu $CTK #BlockchainUpgrade #Governance #Cosmos
Proposal #55 🗳️: Shentu Mainnet Upgrade (v2.19.0)
The v2.19.0 upgrade is scheduled at block height 31,150,500, approximately on September 15th 2026, 13:00 UTC.
This is a mandatory upgrade — all validators and full nodes must swap binaries.
🗳️ Vote Now (by Aug 30, 10:43 UTC):
mintscan.io/shentu/proposals…
⏳ Upgrade Countdown:
mintscan.io/shentu/block/311…
📰 The Release:
github.com/shentufoundation/…
Announcement: Shentu Mainnet v2.18.0 is Live!
Shentu v2.18.0 successfully upgraded at block #29,367,500.
Another milestone for the network. Huge thanks to validators, developers, and the community for supporting this upgrade every step of the way.
#Shentu $CTK #BlockchainUpgrade #Governance #Cosmos
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/proposals…]
⏳Upgrade Countdown:
[mintscan.io/shentu/block/293…]
📰The Release:
[github.com/shentufoundation/…]
🚨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…
#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…
#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…
#OpenMath #OpenTheorems #Rcoq
Congrats @CosmostationVD Solid infra update. A thriving ecosystem in the making ⚛️💜
Cosmostation continues strengthening core infrastructure for the Cosmos ecosystem.
Our public snapshot service is now live — helping node operators sync faster across supported networks.
Explore snapshots:
snapshot.mainnet.cosmostatio…
@cosmos @interchain_io @cosmoslabs_io @cosmoshub @IBCProtocol
#Cosmos #Interchain
🚨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…
#OpenMath #OpenTheorems #Lean @leanprover
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.
This strengthens the incentive layer for contributors building machine-verifiable mathematics on-chain.
Explore open theorems: openmath.shentu.org/OpenMath…
>> Verify truth on-chain.
@leanprover #OpenMath #Lean #Rocq
Shentu Chain retweeted
⚛️ Cosmos Ecosystem Weekly Newspaper 📰
🧵👇
Page 1
$CTK $DGN $ATOM $TIA $INIT $NTRN $RUJI $AXL
@ShentuChain @cryptodungeonma @dropdotmoney @RujiraNetwork @axelar
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
1/ What's new:
• OpenMath: Distinguishing reward distributions between Rocq and Lean.
• Bumped cosmos-sdk → v0.53.5
• Bump IBC to v10.5.0
2/ Full technical details (proposal & release notes):
The Proposal: [mintscan.io/shentu/proposals…]
The Release: [github.com/shentufoundation/…]
⏳ 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/281…
#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/281…
#Shentu $CTK #Cosmos #BlockchainUpgrade #Proposal #Governance #DeSci #OpenMath #Rocq #Lean
