Shentu（原名为CetiK）由哥伦比亚大学毕业生顾荣辉及其博士导师（毕业于耶鲁大学）于2018年创立，其使命是提升区块链生态系统安全性。顾荣辉和邵中都是计算机科学教授，对编程语言充满热情，寻求减轻区块链技术固有的漏洞。怀揣雄心壮志，他们创立了 CertiK 公司，致力于增强区块链项目的安全性，对其进行监控，并通过开发前、开发中和开发后等各个阶段确保智能合约的安全。

为了实现这一目标，CertiK 推出了一个最初名为 CertiK Chain 的主网，后来更名为 Shentu Chain。此举结合了Shentu安全预言机、DeepSea编程语言和ShentuShield等工具，象征着该平台致力于提供多方面的保护。

什么是 CTK 币？

CTK是Shentu的原生代币，为审计和ShentuShield系统等安全服务提供支持。其总供应量为 132,036,455 枚，全部已在流通中（截至2024年3月）。

CTK为Shentu以安全为中心的区块链平台提供支持，强调智能合约和区块链操作的安全性。 CTK 让一系列基本功能得以实现，从Shentu安全预言机的安全评估到通过ShentuShield池对丢失或无法访问的资产进行补偿。Shentu服务的这种整合凸显了其在生态系统中的价值和实用性。

特征和用例

安全预言机奖励：CTK 激励去中心化网络中的安全运营者评估并验证智能合约代码，从而增强生态系统的安全性。

ShentuShield 池：通过使用 CTK 作为抵押品来提供资金保护，以补偿会员因黑客攻击或合约失败而造成的损失。

Gas 费用和网络操作：在Shentu链上执行交易和智能合约操作时需要 CTK。

质押和治理：持有者能质押CTK来参与网络共识和治理，从而保护网络并影响其发展。

代币经济学和代币分配

币安启动池：1.50%

私募1：29.00%

私募2：9.00%

团队：10.00%

基金会：25.00%

社区池：17.50%

ShentuShield 矿池：8.00%

CTK与Shentu生态系统的集成，为区块链安全和治理提供了多方面的方法。它可以实现动态和去中心化的安全评估，支持针对损​​失的资金保护，并让社区积极参与生态系统的增长和治理成为可能。这种全面的功能确保者Shentu系统内功能的实现并为安全可靠的区块链环境的更广泛愿景做出贡献，使 CTK 成为Shentu平台中不可或缺的资产。

Shentu主要功能

Shentu专注于建立信任和可靠性，因增强动态区块链环境中的安全性而受到认可。其架构集成了有趣的组件和功能，包括创新的 DeepSEA 编程语言、强大的安全预言机架构和以用户为中心的 DeepWallet，每个组件和功能都将提升智能合约和区块链操作的安全性和功能。

DeepSEA：已验证智能合约的语言

DeepSEA 是智能合约开发领域的游戏规则改变者。这种函数式编程语言在 Coq 证明助手的形式验证功能的支持下，使开发人员能够以空前的安全保证水平编写复杂的代码。DeepSEA 的设计原则——等式推理、分层规范、封装和组合——允许构建的智能合约不仅仅作为代码，还是可验证的正确且安全的代码。它简化了正式验证程序的创建，因此而成为一项可消除可避免缺陷并增强区块链生态系统中智能合约完整性的宝贵工具，供开发人员享用。

链组件：安全预言机架构

Shentu的安全预言机架构支撑着能增强 DeFi 项目安全性的去中心化网络。它由几个组件组成：

业务链：由安全预言机支持的区块链平台。

安全预言机接口：促进 DeFi 应用程序的安全查询。

Shentu链：管理安全查询和解决方案的核心区块链。

预言机组合器和安全原语：共同处理智能合约并提供安全评分，以 CTK 奖励做出贡献的参与者。该架构保证了透明、去中心化、全面的安全评估过程，巩固了Shentu作为区块链安全卫士的地位。