CertiK 致力于通过全球领先的形式化验证技术,提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。 该公司是由三位计算机科学领域的自身教授创立的公司,团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉,项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授,拥有 20 余年安全领域经验;顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
为您找到相关结果约 75 个:
CoinVoice最新获悉:6 月 28 日,Axie Infinity 官方宣布 Ronin Bridge 已正式开放,用户拥有的所有 wETH 和 USDC 都由新桥 1:1 完全支持。Ronin Bridge 在推出之前已进行一次内部审计和两次外部审计(Verichains 和 Certik)。另外,Axie Infinity 可能会在本周发布土地质押功能。[原文链接]
CoinVoice最新获悉:6 月 24 日,据 The Block 报道,Polygon 首席信息安全官 Mudit Gupta 表示用于部署 Harmony 跨链桥的多签钱包被黑客控制是此次 Harmony 与以太坊间跨链桥 Horizon 遭到攻击的主要原因。Gupta 发现,该跨链桥的钱包资金需要获得全部五个私钥中至少两个的许可,因此黑客可能已经获得了至少两个私钥的控制权。此外,智能合约安全公司 Certik 在其报告中也证实了这一点。 此前报道,6 月 24 日,Harmony 公告表示,其开发的以太坊与间的资产跨链桥 Horizon 遭到攻击,损失金额约为 1 亿美元。目前 Harmony 正在积极与黑客进行沟通,但还未对攻击事件发表进一步评论。[原文链接]
消息,据 InvestorPlace 报道,CertiK 安全团队表示,本周早些时候,美国网络安全与基础设施安全局(CISA)在微软的 Office 产品套件中发现了一个关键的零日漏洞「Follina」(编号 CVE-2022-30190),攻击者可使用微软的微软支持诊断工具(MSDT),从远程 URL 检索并执行恶意代码。 据悉,由于该漏洞允许攻击者绕过密码保护,黑客能够查看并获得受害者的系统和个人信息,并允许黑客提升在受害者系统里的权限,以获得对本地系统和运行进程的额外访问,包括目标用户的互联网浏览器和浏览器插件(如 Metamask)。CertiK 安全团队强调了离线存储私钥的重要性,建议使用像 Trezor 这样的硬件钱包。[原文链接]
消息,6 月 1 日,区块链安全公司 CertiK 在社交媒体发文表示,据其统计,2022 年初至今 Web3 领域由于漏洞利用、黑客攻击和诈骗造成的重大事件合计损失约 17.6 亿美元。[原文链接]
消息,6 月 1 日,据 cryptopolitan 报道,加密项目孵化服务去中心化自治组织 UpLift 宣布与安全审计公司 CertiK 达成合作伙伴关系,旨在构建一个安全可靠的 Launchpad 服务,CertiK 将对在 UpLift 上启动的项目的智能合约和区块链代码进行渗透测试、手动代码审查和全面的安全评估。截止目前,UpLift DAO 共筹集了 1,211,158.57 BUSD,用于 DeFi、GameFi 和 NFT 领域的项目扩展。[原文链接]
l CoinVoice最新获悉:5 月 27 日,NFT 游戏 Axie Infinity 侧链 Ronin Network 宣布 Ronin Bridge 已完成由 Verichains Lab 主导的一项内部审计和一项外部审计,为加强安全,正在进行由区块链安全公司 CertiK 主导的第二次外部审计,此次审计预计需要 15 天,若通过该审计,将能够在 6 月中旬重新开放 Ronin Bridge。[原文链接]
CoinVoice最新获悉:5 月 6 日,OpenSky 宣布已获得 Aave Grants DAO 和 Rarible protocol 的 grant,并于 2021 年完成了种子轮融资,SnapFingers DAO、FBG Capital、SNZ Holding、Collinstar Capital、Atlas Capital、Link VC、Oneboat Capital、Rebase D. Ventures 等参投。OpenSky 近期开启了他们的战略轮融资,并获得了 Metacartel Ventures 的投资。 OpenSky 智能合约已准备好部署,PeckShield 和 Certik 参与智能合约安全审计。其中 PeckShield 已完成审计,CertiK 审核还在进行。据了解,OpenSky 将于 5 月在以太坊主网上启动。 此前报道,OpenSky Finance 是建立在 Aave 生态系统之上的 peer-to-pool NFT 借贷协议。OpenSky 协议会将所有贷方的存款存入 Aave,贷方将获得双重收益(Aave 利息加上 NFT 贷款利息)。NFT HODLers 可以质押他们的蓝筹 NFT 立即借款。 官网链接:https://opensky.finance[原文链接]
CoinVoice最新获悉:5 月 3 日,据区块链安全公司 CertiK 监测,Ronin Network 攻击者已于近 24 小时内再次转移被盗资产,其中将 6,600 ETH(约合 1870 万美元)转移至 Tornado Cash,将 8,721 ETH 转移至新钱包(0x002c93452d54b6d64bfa9879fcab14a74f1bdd44)。[原文链接]
CoinVoice最新获悉:4 月 22 日,Web3 和区块链安全公司 CertiK 宣布完成 6,000 万美元融资,SoftBank Vision Fund II 与 Tiger Global 参投,标志着软银首次涉足 Web3 安全领域。CertiK 的营销副总裁 Monier Jalal 表示:「随着 Web3 开发的势头强劲,随之而来的黑客攻击事件也在增加,这种巨大的影响推动了对 Web3 安全的需求。」 此前报道,4 月 7 日,CertiK 宣布近日完成 8,800 万美元 B3 轮融资,估值达到 20 亿美元,此次融资由 Insight Partners、Tiger Global 和 Advent International 领投,高盛、 红杉资本和 Lightspeed Venture Partners 等参投。[原文链接]
CoinVoice最新获悉:4 月 7 日,区块链安全公司 CertiK 宣布完成 8800 万美元融资,Insight Partners、Tiger Global 和 Advent International 领投,高盛、 Sequoia Capital 和 Lightspeed Venture Partners 等参投,投后估值达到 20 亿美元。CertiK 表示,本轮所融资金将用于构建新产品和 Web3 世界的一站式安全平台。 此前报道,CertiK 曾于 2021 年 11 月 30 日宣布完成 8000 万美元的 B2 轮融资,曾刷新区块链安全赛道单笔最大融资额。[原文链接]
CoinVoice最新获悉:4 月 1 日,SEC 文件显示,区块链安全公司 CertiK 通过股票发行完成近 8800 万美元融资。本次发行的首次销售日期为 3 月 23 日,发行总金额为 87,999,975 美元,来自 15 位投资者,具体细节暂未披露。 此前报道,区块链安全公司 CertiK 于 2021 年 11 月 30 日,宣布完成 8000 万美元的 B2 轮融资,估值达到近 10 亿美元。该轮融资由红杉资本领投,Tiger Global、高瓴创投、Coatue Management、顺为资本等老股东持续跟投。[原文链接]
CoinVoice最新获悉:1 月 4 日,OpenDAO 官方在社交媒体上发文表示,SOS 质押将于北京时间 1 月 5 日 10 时上线(届时将开放充值),质押奖励从当日 19 时开始发放。质押以自动复利形式进行,质押智能合约已通过 CertiK 安全审计。[原文链接]
CoinVoice最新获悉:区块链安全公司CertiK于2021年11月30日宣布完成8000万美元的B2轮融资,再次刷新区块链安全赛道单笔最大融资额。该轮融资由红杉资本领投,Tiger Global、高瓴创投、Coatue Management、顺为资本等老股东持续跟投。CertiK在四个月内共完成三轮融资,总融资额超过1.4亿美元,估值近10亿美元。
在过去一年中,CertiK完成了20倍的收入增长,员工人数增加了4倍。此外,CertiK为超过1800家企业级客户提供区块链安全服务,挖掘了超过31000个代码漏洞、保护了超过3000亿美元的数字资产安全。
CoinVoice最新获悉:DeFi 风险管理市场和保险协议 Risk Harbor 将接管 Terra 生态去中心化保险协议 Ozone Protocol,Ozone 在 Terra DeFi 生态系统出现技术故障的情况下提供保障,覆盖 Terra 生态中的多种风险。目前 Ozone 正在接受审计公司 Oak Security 和 Certik 审计,Risk Harbor 计划将该协议的核心代码开源,并将于近期发布 Ozone 上线的时间表。
CoinVoice最新获悉:流动性提供平台 WOO Network 推出币安智能链(BSC)上去中心化交易平台 WOOFi Swap,该平台使用 sPMM (Synthetic Proactive Market Making)链上做市商算法,可以以模拟中心化交易所订单簿的价格、滑点和深度的方式提供链上流动性。此外,WOOFi Swap 的交易费用设置为 0.1%,并通过桥接中心化交易所的流动性和对冲策略来降低流动性提供者的无常损失。目前,Kronos Research 已成为第一个做市商。
目前 WOOFi Swap 已部署智能合约并处于 alpha 测试阶段,智能合约已通过 CertiK 审计。WOOFi Swap 还额外推出了最高奖励 5 万 USDT 漏洞赏金计划。
CoinVoice最新获悉:去中心化游戏聚合平台 PlanckX 宣布,代码审计公司 Certik 已完成对其项目的代码审计工作,并在以太坊上完成部署。
PlanckX 是基于元宇宙概念和区块链技术打造的去中心化游戏聚合平台,旨在解决高昂的分发成本和游戏资产所有权归属不明的问题,帮助游戏开发者打破传统分发平台垄断的同时,为用户提供丰富的一站式游戏体验。
CoinVoice最新获悉:算法固定利率借贷协议 Dank Protocol 于 2021 年 10 月 13 日 18:30 上线 Arbitrum,目前支持 USDT、USDC、DAI、ETH、WBTC 资产的存取借贷,上线后会开放 DANK 代币的流动性挖矿。此前,Dank Protocol 已经通过了审计机构 CertiK 的两轮审计。
CoinVoice最新获悉:算法固定利率借贷平台 Dank 协议通过 Certik 安全审计,团队表示项目预计将于近期在 Arbitrum 上启动主网。Dank 是一个基于以太坊的去中心化开源借贷协议,推出了「算法固定利率」产品,丰富了固定收益市场的可选项,提升了资金利用效率。
CoinVoice最新获悉:元宇宙资产抵押借贷平台 XCarnival 宣布通过 CertiK 四轮安全审计。XCarinval 是一款针对元宇宙资产的抵押借贷平台,提供包括各类 NFT 资产以及长尾资产的抵押借贷服务。
CoinVoice最新获悉:Kava Labs 宣布与区块链安全审计机构 CertiK 合作以提高 Kava 生态安全性,CertiK 将定期对 Kava 平台进行安全评估,并通过其「Security Leaderboard」提供对生态系统项目安全性和风险的评估。此外,CertiK 将获得 Kava Ignition Fund 提供的资金,从而为 Kava 生态降低风险并为用户提供额外的保护。