CertiK 致力于通过全球领先的形式化验证技术,提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。 该公司是由三位计算机科学领域的自身教授创立的公司,团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉,项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授,拥有 20 余年安全领域经验;顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
为您找到相关结果约 81 个:
CoinVoice 最新获悉,DeFi 协议 Zoo Finance 宣布完成 800 万美元战略轮融资,Bitrise Capital 领投,Signum Capital、Certik Ventures、TOP、CGV Funds 和 Cryptomeria 等参投。
CoinVoice最新获悉,据Sui 生态流动性平台 Cetus 官方宣布正式发布动态流动性做市商(DLMM),助力 Sui 生态 DeFi 迈入新阶段。该功能已通过 MoveBit、CertiK 审计,现处 beta 测试阶段并集成至 Cetus 聚合器。
DLMM 可与现有 CLMM 互补,核心亮点包括:
- 离散价格区间设计实现近零滑点与高效资金利用
- 动态费率随市场自动调整保障收益与稳健
- 支持阶梯部署等多元 LP 策略
预计将为 Sui 生态拓展 DeFi 场景、吸引优质资产,同时为 LP 和社区开辟新收益来源。目前用户可体验测试并反馈。
CoinVoice 最新获悉,对冲基金 Coatue Management 计划募资 10 亿美元,以增加对人工智能和科技创新的投资,据悉这是该公司几年来首次为旗舰基金寻求募集资金。
Coatue Management 是一家总部位于纽约、专注于科技公司的对冲基金,曾领投了 OpenSea 的 3 亿美元 C 轮融资,其在加密领域里的投资组合包括:区块链安全公司 CertiK、比特币矿企 Hut 8、加密支付平台 MoonPay、加密分析平台 Dune Analytics 等。[原文链接]
CoinVoice最新获悉:Certik 监测显示,Sei Network 官方 Discord 服务器遭入侵,在团队确认已重获对服务器的控制之前,请勿点击任何链接。
CoinVoice最新获悉:2023年8月3日,全球知名安审独角兽CertiK于香港数码港(Cyberport)举办Web3.0线下沙龙,现场聚集了近百位大湾区Web3.0从业者,讨论气氛十分热烈。CertiK 联合创始人、新加坡金管局国际技术咨询委员会委员、香港Web3.0发展专责小组成员顾荣辉教授发从智能分析与审计实践的角度切入,谈Web3.0代码安全。他表示安全审计并不能从代码层面避免一切风险,CertiK推出了如Skynet for Community的系列产品,通过灵活运用智能分析技术帮助开发者和用户更高效地发现和修复漏洞,使Web3.0安全审计发挥真正的价值。
CertiK首席安全官李康教授则通过对多方计算(MPC)技术的安全揭秘,分析安审公司应如何应对和克服MPC钱包实施中的安全威胁,从而提高Web3.0生态系统中的信任度和透明度。随着Web3.0安全的刚性属性日益凸显,CertiK作为安全赛道的头部先行者,还将不断推动与蚂蚁集团等大厂的合作,力争打破普通用户或开发者踏入Web3.0世界的安全顾虑。

CoinVoice最新获悉:加密KOL foobar发推称,跨链解决方案Nomad遭到黑客攻击。WETH和WBTC正以每次百万美元的频次转出,合约中仍有1.26亿美元可能存在风险。黑客在最近的交易中已盗取1万枚WETH(约合1600万美元),Nomad桥还有8000万美元的USDC正在流出。
对此,Nomad官方表示,已知晓涉及Nomad代币桥的事件,目前正在调查中。
此外,根据CertiK监测数据,Nomad Bridge早期的损失估计在1.65亿美元左右。目前攻击的全部细节尚不清楚,建议暂时不要与Nomad及其相关项目交互。
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 上线的时间表。