Security-oriented blockchain enables provable trust for all. OpenMath, the world’s first mathematical DeSci platform openmath.shentu.org
Joined August 2021
- Tweets 1,690
- Following 289
- Followers 76,109
- Likes 1,877
328 Photos and videos
Pinned Tweet
13 Oct 2025
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
43
409
384
23,860
May 19
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
9
5
32
2,211
Apr 28
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/…]
1
1
17
2,544
Mar 29
🚨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
2
13
1,929
Mar 18
🚨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
1
2
11
1,792
Mar 17
🚨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
1
7
993
Mar 16
Congrats @CosmostationVD Solid infra update. A thriving ecosystem in the making ⚛️💜
Mar 16
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
1
7
943
Mar 12
🚨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
3
1
12
1,089
Mar 12
Following the recent OpenMath upgrade.
With v2.17.0, rewards are now separated for Rocq and Lean proofs as more theorems roll out.
1
4
453
Mar 8
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.
3
1
19
1,891
Mar 8
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
1
528
Shentu Chain retweeted
⚛️ Cosmos Ecosystem Weekly Newspaper 📰
🧵👇
Page 1
$CTK $DGN $ATOM $TIA $INIT $NTRN $RUJI $AXL
@ShentuChain @cryptodungeonma @dropdotmoney @RujiraNetwork @axelar
2
2
19
1,683
Feb 25
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
10
6
16
2,629
Feb 25
1/ What's new:
• OpenMath: Distinguishing reward distributions between Rocq and Lean.
• Bumped cosmos-sdk → v0.53.5
• Bump IBC to v10.5.0
3
1
3
1,154
Feb 25
2/ Full technical details (proposal & release notes):
The Proposal: [mintscan.io/shentu/proposals…]
The Release: [github.com/shentufoundation/…]
1
1
749
Feb 25
⏳ 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
2
1
10
870
Feb 25
⏳ 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
2
2
9
826
Feb 24
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.
4
2
11
1,173
Feb 24
⏳ 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/281…
#Shentu $CTK #Cosmos #BlockchainUpgrade #Proposal #Governance #DeSci #OpenMath #Rocq #Lean
5
4
15
1,499