今天,CertiK基金会在这里向大家郑重宣布:CertiK Chain全面开源!
包括DeepSEA与CertiK安全预言机在内的整个CertiK Chain生态系统关键组件的全面开源将成为我们行业社区、网络协议与区块链生态系统发展的重要里程碑。CertiK基金会鼓励区块链社区、漏洞猎人、白帽黑客、安全工程师以及开源开发者们通过开源代码库各显其能:深入理解CertiK Chain网络的设计概念,通过查找并修复漏洞以及结合运用其他工具,推动CertiK Chain代码库的不断优化。如果你有兴趣加入我们,CertiK基金会不仅会协助你深入了解CertiK Chain代码库,你也将有机会参与到开发的过程中。CertiK基金会拥有对透明与信任的终极追求,其使命是为所有人提供可验证、可信任的服务。致力于让所有人都尽可能便捷地使用我们的技术,并进一步的扩展网络协议的功能和覆盖范围。
因此,CertiK基金会开源技术并为社区提供必要的工具,以推动行业发展共同构建更加安全的区块链生态系统。开源不仅有利于CertiK Chain自身的发展,更是推动构建及开发技术进步的可持续方式。通过开源DeepSEA、CertiK安全预言机和CertiK Chain,可以使CertiK代码得到透彻的审查和测试。从现在开始,任何人都可以开始构建与CertiK集成的去中心化应用程序以及更多服务(如加密钱包、资源管理器和安全原语)。CertiK基金会在此邀请所有社区成员作为CertiK代码的监管者,助力整个社区从而建立更加安全健康的区块链生态环境。区块链社区全体的帮助会使整个社区建设更加强盛、网络协议更加稳健,让去中心化区块链生态系统更加安全。CertiK Chain:以安全为核心的可互操作的区块链,提供内置组件以高效处理来自其他链的安全查询,包含一系列为解决智能合约的各类安全隐患而专门设计的组合器。CertiK安全预言机:基于去中心化,让DeFi智能合约实时连接行业顶尖的安全审查,从而保护链上交易的全新系统。通过使用安全预言机,合约将收到预言机运营者发来的安全情报。由此,智能合约可以对任何即将进行的交易做出稳妥的决策。DeepSEA工具链:用于编写安全智能合约的安全编程语言和编译器工具链,由CertiK团队开发。智能合约可以用一种固有的安全正确的方式完成编写,DeepSEA可运用“Coq验证助手”对程序性能执行形式化验证,以证明整个创建过程的安全性和准确性。此外,DeepSEA编译器既可以将合约编译为EVM字节代码,也可以输出为可供Coq加载的代码形式。CertiK基金会
https://www.certik.foundation/
Github CertiK链
https://github.com/certikfoundation/shentu
CertiK安全预言机
https://www.certik.foundation/blog/securing-defi-with-certik-security-oracle
Github安全预言机
https://github.com/certikfoundation/security-oracle-smart-contracts
CertiKDeepSEA
https://www.certik.foundation/blog/certik-chain-deepseas-native-chain
GithubDeepSEA
https://github.com/certikfoundation/deepsea