what's Shentu?
Shentu is a blockchain ecosystem designed to enhance security in the Web3 space through verifiable computation and decentralized security oracles. Built on the Cosmos SDK, it enables developers to integrate security auditing and verification mechanisms directly into smart contracts and protocols, reducing vulnerabilities and ensuring trustless operations across DeFi, NFTs, and other dApps. The native token, CTK, powers the network by facilitating staking for security validators, governance participation, and payments for oracle services. Shentu's architecture includes the OpenBounty platform for crowdsourced bug bounties and CertiK's formal verification tools, creating a comprehensive framework for proactive blockchain security.
Nansen will sunset Shentu validator support on February 12, 2026.
contract
osmosis
Nansen will sunset validator support for Shentu on 2026-02-12.
The Theorem Proving Contest at CCF ChinaSoft 2025 concludes using OpenMath platform for formal methods verification, demonstrating real-world adoption of the technology at an academic conference.
Network upgrade and hard fork scheduled for October 24, 2025, with Binance exchange support confirmed.
OpenMath launches as a new product combining blockchain and mathematics for verifiable knowledge.
New Binance Futures listing announced, expanding trading options.
Binance launches USDT perpetual futures contract with 75x leverage.
Binance Futures launches USDT-margined perpetual contracts for trading.