链闻 ChainNews 诚邀读者共同监督,坚决杜绝各类代币发行、投资推荐及虚拟货币炒作信息。举报

CertiK

CertiK新闻快讯文章, CertiK深度文章, CertiK快讯, 区块链CertiK, CertiK是什么, CertiK介绍, CertiK解读, CertiK项目, 三分钟了解CertiK, 秒懂CertiK, 如何评价CertiK, CertiK怎么样, CertiK创始人, CertiK招聘, CertiK融资, CertiK价格, CertiK技术, CertiK社区, CertiK论坛, CertiK浏览器, CertiK排名, CertiK白皮书, CertiK本质, CertiK意义, CertiK代码, CertiK游戏, CertiK什么意思, CertiK学习, CertiK培训, CertiK教程, CertiK投资, CertiK赚钱, CertiK安全, CertiK漏洞

ForTube 的 Bank 模块经过 Certik 安全审计,未发现主要或次要漏洞

链闻消息,基于以太坊的 DeFi 协议 ForTube 发布 Bank 模块 1.0 版本的智能合约安全审计结果,此次审计由安全团队 Certik 执行。ForTube 表示,CertiK 团队运用动态分析、静态分析和人工复核等方法对 Bank 1.0 进行了安全审计,审计报告结果为:Bank 项目的代码库在设计和细节方面经过了认真的处理,文档规范,所有区域均未发现主要或次要漏洞,经过整体分析,ForTube Bank 通过安全性检验,且在数学层面上验证无误。
·
·
·

区块链安全公司 CertiK 完成对 Kava 的第二次代码安全审计,确认代码处于安全水平

链闻消息,区块链安全公司 CertiK 宣布完成对跨链 DeFi 项目 Kava 的第二次代码安全审计。目标是通过发现和修复可能导致未经授权的访问、资金损失、级联故障等已知漏洞以及其他安全漏洞,帮助 Kava Labs 保护用户的资金安全。在六周的审计后,CertiK 再次确认 Kava 交付的代码处于非常高的安全水平。审计工作严格限定在源代码的具体提交范围内,模块包括 CDP 模块和拍卖模块。链闻注,此前在 2020 年 3 月,CertiK 完成了对 Kava Labs 验证器 Vesting 模块的安全审计,审核结果证实了 Kava 的代码交付了一个安全的优级实施协议。
·
·
·

Taxa Network 智能合约已通过区块链安全公司 CertiK 安全审计

链闻消息,Taxa 团队宣布 TXT 智能合约已通过区块链安全公司 CertiK 安全审计,这将确保 Taxa 主网在今年春天以公开透明、安全、去中心化的方式顺利发布。CertiK 的智能标签对 TXT 智能合约源代码进行了 100% 形式化验证覆盖,并辅以安全专家人工逐行审核。审计结果认为 TXT 智能合约结构坚固,不存在整数溢出、函数错误、缓冲区溢出等漏洞。Taxa 是基于前沿隐私技术,致力于成为分层区块链架构中的通用逻辑层,支持计算能力强大、保护数据隐私的、开发环境友好的应用,助力真实世界中去信任化技术的发展。
·

CertiK 为 staking 服务平台 HashQuark OSP 提供安全审计服务

链闻消息,形式化验证平台 CertiK 宣布作为安全合作伙伴加入 staking 生态服务平台 HashQuark OSP,提供安全审计服务,维护生态安全。HashQuark OSP 为个人、团队与平台机构提供定制化 staking 解决方案,已服务于逾 10 家数字资产平台。CertiK 是智能合约以及区块链生态的形式化验证平台,由耶鲁大学和哥伦比亚大学提供研究支持,称目前已为 200 余家交易所和公链提供安全审计服务,保护了近 62 亿美元的资产。HashQuark 是香港金融科技公司 HashKey Group 旗下专注于 PoS、DPoS 以及其他共识机制公链的 staking 生态服务商,目前支持 Qtum、VET、EOS、Cosmos、IRISnet、IOST、Decred、Tezos、Cybex、ChainX 等十余条公链。
·
·

CertiK 基金会 : 未与 CYBEX 接触合作,也未授权 CYBEX 出售代币

链闻消息,对于 CYBEX 计划上线 CertiK IOU 一事,CertiK 基金会发布公告称对此毫不知情,也未曾与 CYBEX 接触合作,而且 CertiK 基金会称没有授权任何机构出售代币,也不允许二次销售。去中心化交易所 CYBEX 前几日发布公告称将在 7 月 26 日 12:00 以 IOU 方式上线 CertiK 代币 CTK,用户可以按盘面实时价格购买 CTK 期货,还承诺将在 CertiK 主网上线后开放 CTK 充提。

交易所赛贝 CYBEX 计划 7 月 26 日以 IOU 方式上线 CertiK

链闻消息,去中心化交易所赛贝 CYBEX 将于 7 月 26 日 12:00 以 IOU 方式上线 CertiK 代币 CTK,用户可直接通过挂单 CTK/ETH 交易对,按盘面实时价格购买 CTK 期货。CYBEX 承诺将在 CertiK 主网上线后开放 CTK 充提。据 Block123.com,CertiK 由耶鲁大学计算机系系主任邵中教授与哥伦比亚大学顾荣辉教授创立,专注于区块链安全,被称为区块链安全世界的「普华永道」,旨在通过形式化验证技术为智能合约和区块链应用及协议提供代码安全解决方案,包括安全审计、渗透测试以及平台定制服务,曾获得光速中国和币安孵化器投资。截止目前,CertiK 已经安全审计超过约 170 个区块链项目,保护累计超过 43 亿美元的资产,并成功实现盈利。

形式化验证服务商 CertiK 上线 CertiK 公链测试网,称业务已实现盈利

链闻消息,形式化验证服务商 CertiK 宣布上线 CertiK 公链测试网,旨在设计一个数学上可证安全的公链。CertiK 公链由 DeepSEA 语言开发,目标是让普通开发者也可以编写形式化验证的智能合约。该团队表示,将现有区块链和安全功能集成在一起是自身突围激烈公链竞争的优势,「只要有一些 DApp 有很高的安全性要求,即使它们已经在其他公链上运行,也有需求通过跨链技术部署 CertiK 公链 提供的安全功能。」CertiK 团队表示,其安全审计业务作为一个使用场景目前已经实现盈利,这对于一个处于测试网阶段的区块链项目公司尚属少见。据 Block123.com 信息,CertiK 由耶鲁大学计算机系系主任邵中教授与哥伦比亚大学顾荣辉教授创立,曾获得光速中国和币安孵化器投资,通过形式化验证的方法为智能合约和区块链应用提供代码安全服务。
返回页面顶部
返回链闻首页