CertiKChain现已正式开源

今天，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

—-

编译者/作者：CertiK中文社区

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。