[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.] #  @ShentuChain Shentu Chain Shentu Chain recently held an AMA session with its partner @getblockio, a leading web3 infrastructure provider, and published a blog with key takeaways from the discussion. The project is also promoting its staking feature, with updated guides on how to stake CTK via OKX Wallet. Additionally, Shentu Chain is set to host an upcoming AMA with @validationcloud to discuss web3 infrastructure and AI-powered data. ### Engagements: XXXXX [#](/creator/twitter::1432078161504841734/interactions)  - X Week XXXXX -XX% - X Month XXXXXX -XXXX% - X Months XXXXXXX -XX% - X Year XXXXXXXXX -XX% ### Mentions: XX [#](/creator/twitter::1432078161504841734/posts_active)  - X Week XX -XX% - X Month XX -XXXX% - X Months XXX -XX% - X Year XXX -XX% ### Followers: XXXXXXX [#](/creator/twitter::1432078161504841734/followers)  - X Week XXXXXX +0.13% - X Month XXXXXX -XXXX% - X Months XXXXXX -XX% - X Year XXXXXX -XX% ### CreatorRank: XXXXXXXXX [#](/creator/twitter::1432078161504841734/influencer_rank)  ### Social Influence **Social category influence** [cryptocurrencies](/list/cryptocurrencies) [finance](/list/finance) [countries](/list/countries) [stocks](/list/stocks) **Social topic influence** [math](/topic/math) #2462, [decentralized](/topic/decentralized) #1088, [certik](/topic/certik) #14, [$ctk](/topic/$ctk) #4, [onchain](/topic/onchain) #1602, [the first](/topic/the-first), [if you](/topic/if-you), [blockchain](/topic/blockchain) #1886, [cosmos](/topic/cosmos), [solve](/topic/solve) **Top accounts mentioned or mentioned by** [@binance](/creator/undefined) [@validator247](/creator/undefined) [@cosmonautstakes](/creator/undefined) [@wallet](/creator/undefined) [@tttcapital](/creator/undefined) [@nvirworld](/creator/undefined) [@validationcloud](/creator/undefined) [@stakelyio](/creator/undefined) [@hoangtheduc1234](/creator/undefined) [@b3yondfi](/creator/undefined) [@stakely_io](/creator/undefined) [@certik](/creator/undefined) [@mridulrastogi1](/creator/undefined) [@openbountyio](/creator/undefined) [@getblockio](/creator/undefined) [@praxisonchain](/creator/undefined) [@multimike01](/creator/undefined) [@shentuintern](/creator/undefined) [@bitcowamm](/creator/undefined) [@cryptopower26](/creator/undefined) **Top assets mentioned** [Shentu (CTK)](/topic/$ctk) [Solana (SOL)](/topic/solana) [Ethereum (ETH)](/topic/ethereum) [Celo (CELO)](/topic/celo) [Celestia (TIA)](/topic/celestia) [Monad (MON)](/topic/monad) [StarkNet (STRK)](/topic/starknet) [Mastercard, Inc. (MA)](/topic/$ma) ### Top Social Posts Top posts by engagements in the last XX hours "Were excited to see the launch of the first Theorem Proving Competition powered by OpenMath the worlds first decentralized mathematical platform developed by Shentu Chain and @CertiK " [X Link](https://x.com/ShentuChain/status/1993241869615349869) 2025-11-25T08:54Z 89.4K followers, 3681 engagements "Upgrade Countdown: 📰The Release: #Shentu $CTK #BlockchainUpgrade #Governance #Cosmos" [X Link](https://x.com/ShentuChain/status/1981341733029105826) 2025-10-23T12:47Z 89.4K followers, XXX engagements "1024. The number behind the digital world. For the ones who build who ship who make code real 1024 isnt just power. Its proof. At OpenMath code speaks. Math tells the truth. #ProgrammersDay #OpenMath" [X Link](https://x.com/ShentuChain/status/1981597501804466444) 2025-10-24T05:43Z 89.4K followers, 4025 engagements "🔥Announcement: Shentu Mainnet v2.16.0 is Live Shentu v2.16.0 marks a successful upgrade at block # 26267300. Massive props to all validators and node operators for the coordinated rollout and seamless transition LFG What's new: OpenMath: Add Theorem Reference Bumped Cosmos-sdk v0.50.14 This is how the upgrade is done: The Proposal: The Release: #Shentu $CTK #BlockchainUpgrade #Governance #Cosmos" [X Link](https://x.com/ShentuChain/status/1981705409946861977) 2025-10-24T12:52Z 89.4K followers, 2094 engagements "For those ready to jump into OpenMath and make an impact heres a quick video walkthrough. Learn how to connect wallet find theorems solve problems and get things done faster and smoother. Lets make decentralized math easy and fun Also if you are a text person this links got what you need" [X Link](https://x.com/ShentuChain/status/1982797026548236741) 2025-10-27T13:10Z 89.4K followers, 1288 engagements "New Feature Uploaded: Theorem Citation on OpenMath Users can now publish and prove theorems on OpenMath. Once verified each theorem becomes immutable on-chain knowledge: open reusable and ready to power the next layer of proofs. This transforms proven logic into shared infrastructure that cuts computation lowers costs and rewards those who build the logic others rely on. What It Brings You - Save Gas: Reference verified theorems to streamline verification and lower costs. - Earn Over Time: When others build on your logic you share in the gas saved. Turning proofs into assets. Experience how" [X Link](https://x.com/ShentuChain/status/1985970204405539199) 2025-11-05T07:19Z 89.4K followers, 1725 engagements "🚨 Open Theorems Alert #01 0x0001 :: Transitivity of Equality The equality relation (=) is transitive. If x is equal to y and y is equal to z then x is equal to z. This theorem forms the backbone of substitution and logical reasoning a foundation for countless proofs to come. Suggested Difficulty: Low / Foundational Reward: XX $CTK Submit your proof or contribute funding. Verify truth on-chain: 🔗 #OpenMath" [X Link](https://x.com/ShentuChain/status/1986838075469930546) 2025-11-07T16:48Z 89.4K followers, XXX engagements "🚨Open Theorems Alert #02 0x0002 :: Four square sum A cornerstone of number theory. For every natural number n there exist integers a b c d such that n = a + b + c + d. Suggested Difficulty: High / Advanced Reward: XXX $CTK Submit your proof or contribute funding. Verify truth on-chain: #OpenMath #OpenTheorems" [X Link](https://x.com/ShentuChain/status/1988449956454425074) 2025-11-12T03:33Z 89.4K followers, 1152 engagements "We are thrilled to announce that OpenMath now officially supports Lean building on our existing foundation with Rocq (formerly Coq). This expansion gives more flexibility lowers collaboration barriers and strengthens verifiable math knowledge. Check out the new Lean support submit your proofs and see how your work can contribute to an open reliable DeSci infrastructure:" [X Link](https://x.com/ShentuChain/status/1993237071876571303) 2025-11-25T08:35Z 89.4K followers, 4497 engagements "⚠OpenMath is now live on Skynet Arena Running until Nov XX 8:00 PM PST. Jump in here and claim your rewards. 👉🏼17750 CTK up for grabs" [X Link](https://x.com/ShentuChain/status/1993440804782891370) 2025-11-25T22:04Z 89.4K followers, 1641 engagements "Massive gratitude to our community fam validators delegators node operators builders researchers and partners everyone who keeps us moving. In math we say progress is the sum of many small proofs. On-chain same story every vote every commit and every signal pushes us forward" [X Link](https://x.com/ShentuChain/status/1994082933502599672) 2025-11-27T16:36Z 89.4K followers, XXX engagements "We are still early but we are walking to the right direction tgt. Happy Thanksgiving Shentu fam. 🧡" [X Link](https://x.com/ShentuChain/status/1994082937550025065) 2025-11-27T16:36Z 89.4K followers, XXX engagements "The Theorem Proving Contest at CCF ChinaSoft 2025 wrapped up smoothly today. Powered by OpenMath the competition cultivate the next generation of formal verification talent and strengthen the broader research community. 🧡 Proud to support the technical backbone of the event together with @CertiK . Congratulations to everyone on a smooth and successful competition" [X Link](https://x.com/ShentuChain/status/1995065661865820501) 2025-11-30T09:41Z 89.4K followers, XXX engagements "OpenMath now officially supports Lean building on our existing foundation with Rocq (formerly Coq). Check out at" [X Link](https://x.com/ShentuChain/status/1995363531936661528) 2025-12-01T05:25Z 89.4K followers, 1510 engagements "The first Theorem Proving Competition organized by the Formal Methods Committee of the China Computer Federation (CCF) has successfully concluded. OpenMath takes center stage as a key technical supporter. 📝Check out our blog for more details" [X Link](https://x.com/ShentuChain/status/1995730799304319441) 2025-12-02T05:44Z 89.4K followers, XXX engagements "OpenMath the worlds 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" [X Link](https://x.com/ShentuChain/status/1977721939125805192) 2025-10-13T13:03Z 89.4K followers, 17.6K engagements "New blog: Proving Fermats Little Theorem on the Blockchain. In an earlier article we explained how to prove that X + X = X on the blockchain. Today we take on a more challenging task: using OpenMath to construct a proof of Fermats Little Theorem from scratch. Full article: Previous article: How to Prove 1+1=2 on the Blockchain with Rocq:" [X Link](https://x.com/ShentuChain/status/1995885642103095780) 2025-12-02T15:59Z 89.4K followers, XXX engagements "@web3score @feliciawangone @JeanX0331 @RonghuiGu Hey thanks for flagging this. The DNS issue has been fully resolved and the site is accessible. We appreciate your patience and notice fam" [X Link](https://x.com/ShentuChain/status/1998363634603610190) 2025-12-09T12:06Z 89.4K followers, XX engagements "@Stakely_io @AleoHQ @Algorand @Noah_HQ @coinify @Aptos @solana @ethereum @avax @GoKiteAI @youmio_ai @thirdweb @turf_network @AvailProject @aztecnetwork @Celo @celestia @gateway_eth @Concordium @Covalent_HQ @LidoFinance @ssv_network @monad @namada @NEARProtocol @near_intents @Ledger @osmosis @PersistenceOne @Polkadot @SecretNetwork @Mastercard @Somnia_Network @SonicLabs @Starknet @Anchorage This is huge congrats 🙌🏽 @Stakely_io" [X Link](https://x.com/ShentuChain/status/1998447688124395579) 2025-12-09T17:40Z 89.4K followers, XXX engagements "⚠Researchers are moving quick: XX theorems already proved on OpenMath. If you havent checked the theorem board yet NOW the time. Plenty of open ones still up for grabs. Pick your theorem write your proof and ship it on-chain. Lets see who proves the next set. ⚡" [X Link](https://x.com/ShentuChain/status/1998791999928021287) 2025-12-10T16:28Z 89.4K followers, 1716 engagements
[GUEST ACCESS MODE: Data is scrambled or limited to provide examples. Make requests using your API key to unlock full data. Check https://lunarcrush.ai/auth for authentication information.]
@ShentuChain Shentu Chain
Shentu Chain recently held an AMA session with its partner @getblockio, a leading web3 infrastructure provider, and published a blog with key takeaways from the discussion. The project is also promoting its staking feature, with updated guides on how to stake CTK via OKX Wallet. Additionally, Shentu Chain is set to host an upcoming AMA with @validationcloud to discuss web3 infrastructure and AI-powered data.
Engagements: XXXXX #
- X Week XXXXX -XX%
- X Month XXXXXX -XXXX%
- X Months XXXXXXX -XX%
- X Year XXXXXXXXX -XX%
Mentions: XX #
- X Week XX -XX%
- X Month XX -XXXX%
- X Months XXX -XX%
- X Year XXX -XX%
Followers: XXXXXXX #
- X Week XXXXXX +0.13%
- X Month XXXXXX -XXXX%
- X Months XXXXXX -XX%
- X Year XXXXXX -XX%
CreatorRank: XXXXXXXXX #
Social Influence
Social category influence cryptocurrencies finance countries stocks
Social topic influence math #2462, decentralized #1088, certik #14, $ctk #4, onchain #1602, the first, if you, blockchain #1886, cosmos, solve
Top accounts mentioned or mentioned by @binance @validator247 @cosmonautstakes @wallet @tttcapital @nvirworld @validationcloud @stakelyio @hoangtheduc1234 @b3yondfi @stakely_io @certik @mridulrastogi1 @openbountyio @getblockio @praxisonchain @multimike01 @shentuintern @bitcowamm @cryptopower26
Top assets mentioned Shentu (CTK) Solana (SOL) Ethereum (ETH) Celo (CELO) Celestia (TIA) Monad (MON) StarkNet (STRK) Mastercard, Inc. (MA)
Top Social Posts
Top posts by engagements in the last XX hours
"Were excited to see the launch of the first Theorem Proving Competition powered by OpenMath the worlds first decentralized mathematical platform developed by Shentu Chain and @CertiK "
X Link 2025-11-25T08:54Z 89.4K followers, 3681 engagements
"Upgrade Countdown: 📰The Release: #Shentu $CTK #BlockchainUpgrade #Governance #Cosmos"
X Link 2025-10-23T12:47Z 89.4K followers, XXX engagements
"1024. The number behind the digital world. For the ones who build who ship who make code real 1024 isnt just power. Its proof. At OpenMath code speaks. Math tells the truth. #ProgrammersDay #OpenMath"
X Link 2025-10-24T05:43Z 89.4K followers, 4025 engagements
"🔥Announcement: Shentu Mainnet v2.16.0 is Live Shentu v2.16.0 marks a successful upgrade at block # 26267300. Massive props to all validators and node operators for the coordinated rollout and seamless transition LFG What's new: OpenMath: Add Theorem Reference Bumped Cosmos-sdk v0.50.14 This is how the upgrade is done: The Proposal: The Release: #Shentu $CTK #BlockchainUpgrade #Governance #Cosmos"
X Link 2025-10-24T12:52Z 89.4K followers, 2094 engagements
"For those ready to jump into OpenMath and make an impact heres a quick video walkthrough. Learn how to connect wallet find theorems solve problems and get things done faster and smoother. Lets make decentralized math easy and fun Also if you are a text person this links got what you need"
X Link 2025-10-27T13:10Z 89.4K followers, 1288 engagements
"New Feature Uploaded: Theorem Citation on OpenMath Users can now publish and prove theorems on OpenMath. Once verified each theorem becomes immutable on-chain knowledge: open reusable and ready to power the next layer of proofs. This transforms proven logic into shared infrastructure that cuts computation lowers costs and rewards those who build the logic others rely on. What It Brings You - Save Gas: Reference verified theorems to streamline verification and lower costs. - Earn Over Time: When others build on your logic you share in the gas saved. Turning proofs into assets. Experience how"
X Link 2025-11-05T07:19Z 89.4K followers, 1725 engagements
"🚨 Open Theorems Alert #01 0x0001 :: Transitivity of Equality The equality relation (=) is transitive. If x is equal to y and y is equal to z then x is equal to z. This theorem forms the backbone of substitution and logical reasoning a foundation for countless proofs to come. Suggested Difficulty: Low / Foundational Reward: XX $CTK Submit your proof or contribute funding. Verify truth on-chain: 🔗 #OpenMath"
X Link 2025-11-07T16:48Z 89.4K followers, XXX engagements
"🚨Open Theorems Alert #02 0x0002 :: Four square sum A cornerstone of number theory. For every natural number n there exist integers a b c d such that n = a + b + c + d. Suggested Difficulty: High / Advanced Reward: XXX $CTK Submit your proof or contribute funding. Verify truth on-chain: #OpenMath #OpenTheorems"
X Link 2025-11-12T03:33Z 89.4K followers, 1152 engagements
"We are thrilled to announce that OpenMath now officially supports Lean building on our existing foundation with Rocq (formerly Coq). This expansion gives more flexibility lowers collaboration barriers and strengthens verifiable math knowledge. Check out the new Lean support submit your proofs and see how your work can contribute to an open reliable DeSci infrastructure:"
X Link 2025-11-25T08:35Z 89.4K followers, 4497 engagements
"⚠OpenMath is now live on Skynet Arena Running until Nov XX 8:00 PM PST. Jump in here and claim your rewards. 👉🏼17750 CTK up for grabs"
X Link 2025-11-25T22:04Z 89.4K followers, 1641 engagements
"Massive gratitude to our community fam validators delegators node operators builders researchers and partners everyone who keeps us moving. In math we say progress is the sum of many small proofs. On-chain same story every vote every commit and every signal pushes us forward"
X Link 2025-11-27T16:36Z 89.4K followers, XXX engagements
"We are still early but we are walking to the right direction tgt. Happy Thanksgiving Shentu fam. 🧡"
X Link 2025-11-27T16:36Z 89.4K followers, XXX engagements
"The Theorem Proving Contest at CCF ChinaSoft 2025 wrapped up smoothly today. Powered by OpenMath the competition cultivate the next generation of formal verification talent and strengthen the broader research community. 🧡 Proud to support the technical backbone of the event together with @CertiK . Congratulations to everyone on a smooth and successful competition"
X Link 2025-11-30T09:41Z 89.4K followers, XXX engagements
"OpenMath now officially supports Lean building on our existing foundation with Rocq (formerly Coq). Check out at"
X Link 2025-12-01T05:25Z 89.4K followers, 1510 engagements
"The first Theorem Proving Competition organized by the Formal Methods Committee of the China Computer Federation (CCF) has successfully concluded. OpenMath takes center stage as a key technical supporter. 📝Check out our blog for more details"
X Link 2025-12-02T05:44Z 89.4K followers, XXX engagements
"OpenMath the worlds 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"
X Link 2025-10-13T13:03Z 89.4K followers, 17.6K engagements
"New blog: Proving Fermats Little Theorem on the Blockchain. In an earlier article we explained how to prove that X + X = X on the blockchain. Today we take on a more challenging task: using OpenMath to construct a proof of Fermats Little Theorem from scratch. Full article: Previous article: How to Prove 1+1=2 on the Blockchain with Rocq:"
X Link 2025-12-02T15:59Z 89.4K followers, XXX engagements
"@web3score @feliciawangone @JeanX0331 @RonghuiGu Hey thanks for flagging this. The DNS issue has been fully resolved and the site is accessible. We appreciate your patience and notice fam"
X Link 2025-12-09T12:06Z 89.4K followers, XX engagements
"@Stakely_io @AleoHQ @Algorand @Noah_HQ @coinify @Aptos @solana @ethereum @avax @GoKiteAI @youmio_ai @thirdweb @turf_network @AvailProject @aztecnetwork @Celo @celestia @gateway_eth @Concordium @Covalent_HQ @LidoFinance @ssv_network @monad @namada @NEARProtocol @near_intents @Ledger @osmosis @PersistenceOne @Polkadot @SecretNetwork @Mastercard @Somnia_Network @SonicLabs @Starknet @Anchorage This is huge congrats 🙌🏽 @Stakely_io"
X Link 2025-12-09T17:40Z 89.4K followers, XXX engagements
"⚠Researchers are moving quick: XX theorems already proved on OpenMath. If you havent checked the theorem board yet NOW the time. Plenty of open ones still up for grabs. Pick your theorem write your proof and ship it on-chain. Lets see who proves the next set. ⚡"
X Link 2025-12-10T16:28Z 89.4K followers, 1716 engagements