BTC/USD+1.38%
ETH/USD+2.41%
LTC/USD+1.06%
DOT/USD+0.75%
ADA/USD+3.38%
SOL/USD+3.44%
XRP/USD+9.04%
DOGE/US+0.86%
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。
该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
【Kava旗下应用Harvest.io通过Certik的代码审计】区块链安全公司CertiK对Kava旗下应用Harvest.io模块的代码系统进行了审计，未发现重大或关键漏洞，验证了应用的可信度。 Harvest.io是一个跨链货币市场，也是首批搭建在Kava区块链上的应用之一。Harvest支持加密用户能够使用主流加密货币进行借贷和赚取收益。
【ECOC DEFI板块生态产品EFG通过CERTIK机构安全检测】据官方消息，ECOC生态借贷型DAPP EFG采用行为金融基础理论与借贷套保型金融模型，研发的一款新型的DEFI产品，该产品预计在12月7日面向社区正式开始运营。同时该产品融入了ECOC官方研发的神谕系统，也是ECOC官方首次在DAPP 中融入了神谕系统。
【Aave V2版本已在主网上线】金色财经报道，Aave协议V2版本已经在主网上线。在V2版本中，被用作抵押品的资产可以进行自由的交易，新功能还包括闪电贷升级、抵押品直接还款、闪电贷清算、批量处理闪电贷、债务代币化、本地信贷授权、Gas优化、稳定利率及浮动利率切换。Aave V2已通过了MixBytes、CertiK、ConsenSysDiligence及PeckShield的审计。
【yearn.finance（YFI）已上传所有历史审计报告】yearn.finance（YFI）发推称，现已上传所有历史审计报告，感谢以下提供帮助的机构或人士：Quantstamp、Certik、CryptoManiacsZone、Martinet Lee、orbxball以及samczsun。
标签：CertiK
首发|WarpFinance闪电贷款攻击事件分析。 100元纸币,能做的事非常多,买早餐,买菜,炒股,旅行,折纸飞机,壁纸贴在墙上。 功能太多,反而产生了各种形式的钱。 例如,存储在银行卡中的数字,存储在支付宝等应用程序中的数字,存储在股票基金中的数字,或者借书中的一句话。 闪电贷款作为新的金融产品,被认为是金融领域块链应用的一大跳跃进步。
2/1/2021 6:15:53 PM首先,|加密钱包安全审计清单:你的钱包安全吗？ 本文由Certik团队编写,授权金色财经开始。 在过去的一个月里,比特币的价值从18,000美元到20,000美元不等。货币圈宣布圣诞节前,比特币一定会上涨。 昨天晚上,BTC冲上了23000的上位。
2/1/2021 6:15:32 PM在即将过去的四月中,OKEx展现出了十分强劲的发展态势,各种动作接连不断：市价委托、场外交易通功能,及小额资产兑换OKB功能陆续上线,OKEx Jumpstart第十一期项目DEP和八折OKB先后完成认购。
以太坊交易
