Shentu Introduces Inaugural Decentralized Theorem Proving Contest

Shentu Chain, a security-first, delegated proof-of-stake blockchain, for trustworthy execution of mission-critical applications, including DeFi, NFTs, and autonomous vehicles. Shentu Chain prioritizes cross-chain compatibility, built as a Cosmos Hub with full EVM and Hyperledger Burrow compatibility, as well as compatibility with eWASM and Ant Financial’s AntChain. Across protocols, blockchain projects can receive security insights with the Security Oracle, which provides real-time guards of on-chain transactions, identifying and flagging a wide range of malicious vulnerabilities before they occur. Depending on the level of the security score, audited blockchain projects of any protocol may be eligible for a ShentuShield membership, which is a flexible, decentralized reimbursement system for any crypto asset that is irretrievably lost or stolen due to security issues. ShentuShield memberships are open to all community members of these eligible blockchain projects, providing a safety net to holders of crypto assets in case anything unexpected happens.Natively, projects can code in DeepSEA, a hyper-secure programming language supported by the Ethereum Foundation, Qtum Foundation, and IBM. DeepSEA works directly with the Shentu Virtual Machine (SVM), which is fully compatible with EVM. SVM innovatively exposes smart contract and blockchain security information, enabling unprecedented ways to access, check, and incorporate risk into the decisions of smart contracts. CTK is the native digital utility fuel of Shentu Chain, serving as the core utility for on-chain functionalities such as operating the Security Oracle and ShentuShield systems, paying gas consumption of Shentu Chain, and voting for governance decisions within the network.