免责声明: 金色财经作为开放的资讯分享平台,所提供的所有资讯仅代表作者个人观点,与金色财经平台立场无关,且不构成任何投资理财建议。

CertiK Chain 现已正式开源

4qzs180ggnab8f2d

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

jinse.com
好文章,需要你的鼓励
jinse.com
好文章,需要你的鼓励
了解更多区块链一线报道,与作者、读者更深入探讨、交流,欢迎添加小助手微信:jinsecaijing666, 进入[金色财经读者交流群]。
发表评论
0/140
发布评论
评论
文章作者: / 责任编辑: 我要纠错

声明:本文由入驻金色财经的作者撰写,观点仅代表作者本人,绝不代表金色财经赞同其观点或证实其描述。

提示:投资有风险,入市须谨慎。本资讯不作为投资理财建议。

金色财经 > 区块链 > CertiK Chain 现已正式开源