风险提示:请理性看待区块链,树立正确的货币观念和投资理念,不要盲目跟风投资,本站内容不构成投资建议,请谨慎对待。 免责声明:本站所发布文章仅代表个人观点,与CoinVoice官方立场无关

CertiK

CTK

分享

项目简介

CertiK 致力于通过全球领先的形式化验证技术,提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。 该公司是由三位计算机科学领域的自身教授创立的公司,团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉,项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授,拥有 20 余年安全领域经验;顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。

标签

为您找到相关结果约 75 个:

Ronin Bridge已正式开放

CoinVoice最新获悉:6 月 28 日,Axie Infinity 官方宣布 Ronin Bridge 已正式开放,用户拥有的所有 wETH 和 USDC 都由新桥 1:1 完全支持。Ronin Bridge 在推出之前已进行一次内部审计和两次外部审计(Verichains 和 Certik)。另外,Axie Infinity 可能会在本周发布土地质押功能。[原文链接]

XCarnival已追缴1467个ETH,安全机构已初步判定攻击者的地理位置
CoinVoice最新获悉:6 月 27 日,据 Peck Shield 公开分析,XCarnival 于 6 月 26 日被黑客利用合约漏洞,通过创建多个质押订单将 BAYC 重复抵押借出 ETH。本着对用户资产负责的态度,官方在第一时间关闭合约以及存款、借款功能,并立即分析出攻击者的 ETH 地址,与攻击者就赎回资产进行多轮谈判。截止北京时间 6 月 27 日 13:45 分,攻击者先期退还了 1467 个 ETH。据了解,多家安全机构、警方已开展深度合作,初步判定攻击者的地理区域位置。 此次事件中,XCarnival 被质押的 NFT 及其他链上资产未受影响,目前其产品研发和市场运营继续正常推进。后续,XCarnival 将会继续邀请更多的安全审计机构和白帽社区,对合约代码进行全部复查——据悉 XCarnival 此前合约均已通过 Certik 审计。
安全专家:用于部署Harmony桥的多签钱包被黑客控制导致资产被盗

CoinVoice最新获悉:6 月 24 日,据 The Block 报道,Polygon 首席信息安全官 Mudit Gupta 表示用于部署 Harmony 跨链桥的多签钱包被黑客控制是此次 Harmony 与以太坊间跨链桥 Horizon 遭到攻击的主要原因。Gupta 发现,该跨链桥的钱包资金需要获得全部五个私钥中至少两个的许可,因此黑客可能已经获得了至少两个私钥的控制权。此外,智能合约安全公司 Certik 在其报告中也证实了这一点。 此前报道,6 月 24 日,Harmony 公告表示,其开发的以太坊与间的资产跨链桥 Horizon 遭到攻击,损失金额约为 1 亿美元。目前 Harmony 正在积极与黑客进行沟通,但还未对攻击事件发表进一步评论。[原文链接]

KiKi Finance(KIKI)即将上线LBank
CoinVoice最新获悉:6 月 14 日,据官方报道,由知名矿池团队打造的多链质押聚合平台 KiKi Finance Token 将于 6 月 14 日 22:00(UTC+8) 在 LBank 开放交易。KiKi Finance 平台和 LBank 交易平台即将开启 KiKi 单币质押。 据悉,KiKi 合约已通过 Certik 和 PeckShield 的双审计,并获得知名矿池、FBG Capital、NGC Ventures 等投资。KiKi Finance 致力于打破公链屏障的多链聚合 Staking 协议,增加传统 Staking 的收益。
CertiK:微软新的零日漏洞允许黑客访问浏览器插件,建议用户使用硬件钱包

消息,据 InvestorPlace 报道,CertiK 安全团队表示,本周早些时候,美国网络安全与基础设施安全局(CISA)在微软的 Office 产品套件中发现了一个关键的零日漏洞「Follina」(编号 CVE-2022-30190),攻击者可使用微软的微软支持诊断工具(MSDT),从远程 URL 检索并执行恶意代码。 据悉,由于该漏洞允许攻击者绕过密码保护,黑客能够查看并获得受害者的系统和个人信息,并允许黑客提升在受害者系统里的权限,以获得对本地系统和运行进程的额外访问,包括目标用户的互联网浏览器和浏览器插件(如 Metamask)。CertiK 安全团队强调了离线存储私钥的重要性,建议使用像 Trezor 这样的硬件钱包。[原文链接]

CertiK:年初至今Web3领域由黑客造成的损失约17.6亿美元

消息,6 月 1 日,区块链安全公司 CertiK 在社交媒体发文表示,据其统计,2022 年初至今 Web3 领域由于漏洞利用、黑客攻击和诈骗造成的重大事件合计损失约 17.6 亿美元。[原文链接]

UpLift DAO与安全审计公司CertiK达成合作,已募集超120万BUSD

消息,6 月 1 日,据 cryptopolitan 报道,加密项目孵化服务去中心化自治组织 UpLift 宣布与安全审计公司 CertiK 达成合作伙伴关系,旨在构建一个安全可靠的 Launchpad 服务,CertiK 将对在 UpLift 上启动的项目的智能合约和区块链代码进行渗透测试、手动代码审查和全面的安全评估。截止目前,UpLift DAO 共筹集了 1,211,158.57 BUSD,用于 DeFi、GameFi 和 NFT 领域的项目扩展。[原文链接]

Ronin:正在进行第二次外部审计,若通过将在6月中旬重新开放Ronin Bridge

l CoinVoice最新获悉:5 月 27 日,NFT 游戏 Axie Infinity 侧链 Ronin Network 宣布 Ronin Bridge 已完成由 Verichains Lab 主导的一项内部审计和一项外部审计,为加强安全,正在进行由区块链安全公司 CertiK 主导的第二次外部审计,此次审计预计需要 15 天,若通过该审计,将能够在 6 月中旬重新开放 Ronin Bridge。[原文链接]

由Aave提供支持的NFT借贷协议OpenSky已完成200万美元融资,将于5月在主网启动

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[原文链接]

Ronin攻击者已将6,600枚ETH转移至Tornado Cash

CoinVoice最新获悉:5 月 3 日,据区块链安全公司 CertiK 监测,Ronin Network 攻击者已于近 24 小时内再次转移被盗资产,其中将 6,600 ETH(约合 1870 万美元)转移至 Tornado Cash,将 8,721 ETH 转移至新钱包(0x002c93452d54b6d64bfa9879fcab14a74f1bdd44)。[原文链接]

CertiK宣布完成6,000万美元融资,SoftBank Vision Fund II与Tiger Global参投

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 等参投。[原文链接]

Binance将于14日对比特币、以太坊、Cosmos等网络进行钱包维护,并暂停对应网络提款
CoinVoice最新获悉:4 月 11 日,据 Binance 公告,其将于北京时间 4 月 14 日 13:30 对 Ambrosus Network、Cosmos Network、AVAX C-Chain Network、BNB Chain、Bitcoin Network、CELO Network、Chiliz Chain、Cortex Network、Dash Network、Doge Network、Polkadot Network、Ethereum Classic Network、Ethereum Network、EOS Network、Fetch.AI Network、Fantom Network、GoChain Network、Klaytn Network、Kusama Network、Litecoin Network、Terra Network、Moonriver Network、Neo N3 Mainnet、Polygon Network、POA Network、Ripple、Ronin Network、Secret Network、Songbird Network、Stellar Network、Theta Network、TomoChain Network、Tron Network、VeChain Network、Wanchain Network、WAX Network、Walton Network、Edgeware Network、Parallel Finance Network、Kadena Network、Astar Network、CertiK Network、Lisk Network、Bitcoin Cash Network、Ravencoin Network、eCash Network、Zcash Network、Moonbeam Network、KAVA Network、Arbitrum One Network、Injective Protocol Network 进行钱包维护。 维护大约需要三个小时,受影响网络上的提现将从北京时间 4 月 14 日 13:25 开始暂停。
区块链安全公司CertiK完成8800万美元B3轮融资,Tiger Global等领投

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 轮融资,曾刷新区块链安全赛道单笔最大融资额。[原文链接]

SEC文件显示CertiK通过股票发行完成近8800万美元融资

CoinVoice最新获悉:4 月 1 日,SEC 文件显示,区块链安全公司 CertiK 通过股票发行完成近 8800 万美元融资。本次发行的首次销售日期为 3 月 23 日,发行总金额为 87,999,975 美元,来自 15 位投资者,具体细节暂未披露。 此前报道,区块链安全公司 CertiK 于 2021 年 11 月 30 日,宣布完成 8000 万美元的 B2 轮融资,估值达到近 10 亿美元。该轮融资由红杉资本领投,Tiger Global、高瓴创投、Coatue Management、顺为资本等老股东持续跟投。[原文链接]

元宇宙生态平台GiiiO即将登陆Binance NFT板块
CoinVoice最新获悉:3 月 19 日,据官方消息,元宇宙生态平台 GiiiO 即将登陆 Binance NFT 板块。此前,GiiiO 已经通过全球权威审计机构 Certik 的审计,此次上线的 NFT 分为普通 NFT 和创世 NFT,用户可以登录 Binance NFT 参与抢购。 GIIIO 星人 NFT 是 GIIIO 元宇宙的重要资产,是参与 GIIIO 星球游戏的身份符号,以及参与游戏,生产和建设的重要角色。其 1.0 生态是一款 3D 星际主题游戏「GIIIO 星际·探索者」,旨在让大量的玩家了解并成为 GIIIO 星球的探索者;未来将开放编辑模式,让更多玩家实现 X To Earn。
去中心化链游平台DPK正式上线DeFi功能
CoinVoice最新获悉:1 月 18 日,据官方消息,去中心化链游平台 DontPlaywithKitty(DPK)DeFi 功能现已正式上线,其中包括 BNB-Usdt;Busd-Usdt 两个 Stablecoin LP 质押 1 池、DPK 单币质押池和 DPK-Usdt;KIT-Usdt;LP 质押的 2 池,共计 5 个池子。同时上线特色 3 池,将给予 2 池用户 3 至 180 天不等的额外长期质押奖励。 DPK 的 DeFi 合约已通过 CertiK 审计,目前 TVL 达 450 万。此外,项目团队将持有的团队、市场及顾问费用等 DPK Token 份额以及提供的 KIT 和 DPK 流动性 LP 已全部打入锁仓合约,并公示所有合约地址。
OpenDAO:SOS质押将于1月5日上线

CoinVoice最新获悉:1 月 4 日,OpenDAO 官方在社交媒体上发文表示,SOS 质押将于北京时间 1 月 5 日 10 时上线(届时将开放充值),质押奖励从当日 19 时开始发放。质押以自动复利形式进行,质押智能合约已通过 CertiK 安全审计。[原文链接]

区块链安全公司CertiK以近10亿美元估值完成8000万美元B2轮融资,红杉资本领投

CoinVoice最新获悉:区块链安全公司CertiK于2021年11月30日宣布完成8000万美元的B2轮融资,再次刷新区块链安全赛道单笔最大融资额。该轮融资由红杉资本领投,Tiger Global、高瓴创投、Coatue Management、顺为资本等老股东持续跟投。CertiK在四个月内共完成三轮融资,总融资额超过1.4亿美元,估值近10亿美元。
在过去一年中,CertiK完成了20倍的收入增长,员工人数增加了4倍。此外,CertiK为超过1800家企业级客户提供区块链安全服务,挖掘了超过31000个代码漏洞、保护了超过3000亿美元的数字资产安全。

Risk Harbor 将接管 Terra 生态去中心化保险协议 Ozone Protocol

CoinVoice最新获悉:DeFi 风险管理市场和保险协议 Risk Harbor 将接管 Terra 生态去中心化保险协议 Ozone Protocol,Ozone 在 Terra DeFi 生态系统出现技术故障的情况下提供保障,覆盖 Terra 生态中的多种风险。目前 Ozone 正在接受审计公司 Oak Security 和 Certik 审计,Risk Harbor 计划将该协议的核心代码开源,并将于近期发布 Ozone 上线的时间表。

来源链接

流动性提供平台 WOO Network 推出 BSC 上去中心化交易平台 WOOFi Swap

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 漏洞赏金计划。

来源链接

去中心化游戏聚合平台 PlanckX 在以太坊上完成部署,并通过 Certik 安全审计

CoinVoice最新获悉:去中心化游戏聚合平台 PlanckX 宣布,代码审计公司 Certik 已完成对其项目的代码审计工作,并在以太坊上完成部署。

PlanckX 是基于元宇宙概念和区块链技术打造的去中心化游戏聚合平台,旨在解决高昂的分发成本和游戏资产所有权归属不明的问题,帮助游戏开发者打破传统分发平台垄断的同时,为用户提供丰富的一站式游戏体验。

算法固定利率借贷协议 Dank Protocol 在 Arbitrum 上启动主网,同时开启 DANK 流动性挖矿

CoinVoice最新获悉:算法固定利率借贷协议 Dank Protocol 于 2021 年 10 月 13 日 18:30 上线 Arbitrum,目前支持 USDT、USDC、DAI、ETH、WBTC 资产的存取借贷,上线后会开放 DANK 代币的流动性挖矿。此前,Dank Protocol 已经通过了审计机构 CertiK 的两轮审计。

来源链接

算法固定利率借贷平台 Dank 协议通过 Certik 安全审计,将上线 Arbitrum

CoinVoice最新获悉:算法固定利率借贷平台 Dank 协议通过 Certik 安全审计,团队表示项目预计将于近期在 Arbitrum 上启动主网。Dank 是一个基于以太坊的去中心化开源借贷协议,推出了「算法固定利率」产品,丰富了固定收益市场的可选项,提升了资金利用效率。

来源链接

元宇宙资产抵押借贷平台 XCarnival 通过 CertiK 安全审计

CoinVoice最新获悉:元宇宙资产抵押借贷平台 XCarnival 宣布通过 CertiK 四轮安全审计。XCarinval 是一款针对元宇宙资产的抵押借贷平台,提供包括各类 NFT 资产以及长尾资产的抵押借贷服务。

来源链接

Kava Labs 与区块链安全审计机构 CertiK 合作以提高 Kava 生态安全性

CoinVoice最新获悉:Kava Labs 宣布与区块链安全审计机构 CertiK 合作以提高 Kava 生态安全性,CertiK 将定期对 Kava 平台进行安全评估,并通过其「Security Leaderboard」提供对生态系统项目安全性和风险的评估。此外,CertiK 将获得 Kava Ignition Fund 提供的资金,从而为 Kava 生态降低风险并为用户提供额外的保护。

来源链接

最新收录

更多

GEODNET

GEODNET 的任务是使用新型屋顶空间气象站从地球及其大气层收集密集的实时地理空间数据。区块链的使用将促进一个强大而有弹性的网络,该网络提供用于农业、交通和金融等关键经济部门的安全和可信的地理空间数据产品,以及 Autonomy、AR/VR 和 Metaverse 的新兴应用程序。

Plena

Plena Wallet 是一个支持帐户抽象的多链自我托管钱包,并提供加密资讯和见解。

SendingNetwork

Sending.Network 是一个高性能、开放的 Web3 通信协议,其中从消息数据、用户 ID 到社交图谱的每个组件都是去中心化的。它旨在帮助开发人员构建社交去中心化应用程序,并帮助社区访问加密的去中心化群聊平台。

Saakuru

Saakuru 是一种以消费者为中心的 L2 协议,使用 OP Stack 开发,具有零交易费用,并利用委托模型消除用户的 Gas 费,为构建在 Saakuru 之上的任何应用程序创建无摩擦的体验,并通过 Saakuru 开发套件进行增强,支持嵌入复杂的内容 数字产品在 1 天内升级为 Web3。 以 Saakuru 区块链为中心的强大且对开发人员友好的产品套件可实现从 Web2 到 Web3 的经济高效且无缝的连接。

Circle of Games

Circle of Games 是一个由 COG-DAO 拥有和管理的区块链上的游戏平台。