免责声明:金色财经所有资讯仅代表作者个人观点,不构成任何投资理财建议。请确保访问网址为(jinse.cn) 举报

    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.cn 0
    好文章,需要你的鼓励
    jinse.cn 0
    好文章,需要你的鼓励
    参与评论
    0/140
    提交评论
    文章作者: / 责任编辑:

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

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

    金色财经 > CertiK中文社区 > CertiK Chain 现已正式开源
    • 寻求报道
    • 金色财经中国版App下载
      金色财经APP
      iOS & Android
    • 加入社群
      Telegram
    • 意见反馈
    • 返回顶部
    • 返回底部