CertiK

CertiK简介

CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。

该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。

【动态 | 通用协议联盟成员同意锁仓UPT一年】区块链组织通用协议联盟（Universal Protocol Alliance）中持有大额通用协议代币（UPT）的成员已同意锁仓UPT一年。据悉，该联盟成员包括Bittrex、Brave、Certik、Omisego、Blockchain at Berkeley、Uphold以及Cred。（Bitcoin.com）}

【动态 | 币安稳定币BGBP已于本月初完成代码审计，由CertiK团队负责】安全公司Certik宣布完成对币安发行的稳定币BGBP的审计。审计报告结果显示，BGBP的智能合约代码遵守着最高标准（best pratice）并给出满分100的高分。据悉，CertiK测试网今年7月成功上线。CertiK旨在从系统层面解决区块链安全问题，为更多的区块链社区提供安全服务。

【KIMCHI即将推出的kimichi置换代币GodKimchi具有减半功能】SushiSwap仿盘项目KIMCHI在推特上透露，即将推出的kimichi置换代币GodKimchi具有“减半”功能。最初的置换在时间和数量上是有限制的。需要注意的是，这并不是迁移计划。KIMCHI CHAD将为GodKimchi带来好处。显然，non-CHAD也可以耕种GodKimchi。 此前消息，北京时间8月31日和9月1日，CertiK安全研究团队发现Sushiswap仿盘的两个项目YUNo Finance（YUNO）与KIMCHI.finance（KIMCHI），其智能合约均存在漏洞。如果利用该漏洞，智能合约拥有者可以无限制地增发项目对应的代币数目，导致项目金融进度通胀并最终崩溃。

【区块链审计公司CertiK与现代子公司Hdac达成合作】区块链审计公司CertiK与现代（Hyundai ）子公司Hdac达成合作，欲将物联网（IoT）设备引入区块链。CertiK的区块链工程师团队正与Hdac紧密合作，审核其代码库的设计和实现，预计结果将在不久的将来发布。Hdac的一位发言人表示，Hdac之前曾委托CertiK对其代码库进行审计，借此机会CertiK了解到了Hdac计划开发的区块链解决方案，这促使该公司寻求正式的合作伙伴关系。（CoinDesk）}

【SushiSwap锁定代币总价值已超7亿美元】未经审计的DeFi协议SushiSwap刚运行3天，其锁定资产总价值（TVL）已超过7亿美元。8月28日晚，SushiSwap宣布启动，在不到12小时内吸金2.7亿美元。据了解，SushiSwap的逻辑很像Uniswap，也是为提供流动性的用户提供奖励，但玩法有一点不同。Uniswap的逻辑是仅在LP（流动性提供者）提供流动性的时候，才能获得0.3%的手续费奖励，一旦Uniswap的LP停止提供流动性，奖励也随之停止。为了鼓励大家使用SUSHI，项目方将SUSHI/ETH这个池子设计为2倍奖励，据此计算，年化暂时高达9500%。 注：CertiK安全研究团队此前曾表示，SushiSwap项目智能合约中存在多个安全漏洞。该漏洞可能被智能合约拥有者利用，允许拥有者进行包括将智能合约账户内的代币在没有授权的情况下取空等操作在内的任意操作。同时该项目智能合约还存在严重的重入攻击漏洞，会导致潜在攻击者的恶意代码被执行多次。（The Block）}

【波卡DeFi公链RioDeFi技术代码通过安全公司Certik审计】网络安全公司Certik刚刚发布了他们对RioDeFi技术代码的审计报告， CertiK还对RioDeFi以及RioDeFi钱包进行全面的审核和渗透测试。在审计中，Certik肯定了RioDeFi执行安全测试的主动性,并表明对RioDeFi安全性价值的赞赏。这项审计工作是从六个月前就开始进行了，经过长达六个月的双方密切合作终于完成了这项审计。RioDeFi是以Substrate和RUST作为底层协议开发跨链型公链，RioDeFi是DeFi基础架构平台，旨在通过桥接传统和去中心化金融来加速数字资产的采用。 这是通过跨链的技术将业务，金融机构和银行与分布式去中心化系统连接起来的解决方案。

标签：CertiK

官方信息

• 

  Facebook

• 

  Twitter

• 

  微博

• 

  YouTube