Shentu Chain

Security-oriented blockchain enables provable trust for all. OpenMath, the world’s first mathematical DeSci platform

[Shentu Chain @ShentuChain]

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
https://t.co/1Diw4ekxUg

[Shentu Chain @ShentuChain]

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

[Shentu Chain @ShentuChain]

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:
[https://t.co/NwST4APxdY]

⏳Upgrade Countdown:
[https://t.co/tIDtK0rH2Z]

📰The Release:
[https://t.co/qozFtULP8z]

[Shentu Chain @ShentuChain]

🚨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: https://t.co/vq0bjq4krb
#OpenMath #OpenTheorems #Rocq

[Shentu Chain @ShentuChain]

🚨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: https://t.co/pWkasgVFJz
#OpenMath #OpenTheorems #Rocq

[Shentu Chain @ShentuChain]

🚨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: https://t.co/pWkasgVFJz
#OpenMath #OpenTheorems #Rcoq

[Shentu Chain @ShentuChain]

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

[Cosmostation @CosmostationVD]

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:
https://t.co/Gyk2t6Vgwf

@cosmos @interchain_io @cosmoslabs_io @cosmoshub @IBCProtocol
#Cosmos #Interchain

[Shentu Chain @ShentuChain]

Following the recent OpenMath upgrade.

With v2.17.0, rewards are now separated for Rocq and Lean proofs as more theorems roll out.

[Shentu Chain @ShentuChain]

🚨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:

https://t.co/J8pde6iJTj

#OpenMath #OpenTheorems #Lean @leanprover

[Shentu Chain @ShentuChain]

This strengthens the incentive layer for contributors building machine-verifiable mathematics on-chain.
Explore open theorems: https://t.co/OL5DIoex2O
>> Verify truth on-chain.
@leanprover #OpenMath #Lean #Rocq

[Shentu Chain @ShentuChain]

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 ⚛️ @CosmosEcosystem]

⚛️ Cosmos Ecosystem Weekly Newspaper 📰

🧵👇

Page 1

$CTK $DGN $ATOM $TIA $INIT $NTRN $RUJI $AXL

@ShentuChain @cryptodungeonma @dropdotmoney @RujiraNetwork @axelar

[Shentu Chain @ShentuChain]

2/ Full technical details (proposal & release notes):
The Proposal: [https://t.co/UxB3NofBJ2]
The Release: [https://t.co/8qxis1OBZ5]

[Shentu Chain @ShentuChain]

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

[Shentu Chain @ShentuChain]

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

[Shentu Chain @ShentuChain]

⏳ 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: https://t.co/Q4pX3xkgaH

#Shentu $CTK #Cosmos #BlockchainUpgrade #Proposal #Governance #DeSci #OpenMath #Rocq #Lean

[Shentu Chain @ShentuChain]

⏳ 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: https://t.co/Q4pX3xkgaH

#Shentu $CTK #Cosmos #BlockchainUpgrade #Proposal #Governance #DeSci #OpenMath #Rocq #Lean

[Shentu Chain @ShentuChain]

https://t.co/AmBBoP5EML

[Shentu Chain @ShentuChain]

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.

[Shentu Chain @ShentuChain]

@CosmosEcosystem LFG!