Veridise

订阅后，此标签的相关内容将出现在首页「我的订阅」中.

共搜索到 3 篇相关快讯

Veridise 报告：ZK 项目的安全审计发现关键问题的可能性是其他类型的两倍区块链安全公司 Veridise 报告称，ZK 项目的安全审计发现关键问题的可能性是其他类型审计的两倍。约 55% 的 ZK 审计包含严重问题，而其他 DeFi 审计的比例为 27.5%。Veridise 分析了最近 100 次审计中发现的 1,605 个漏洞，平均每次审计发现大约 16 个问题，而 ZK 审计平均发现问题数略高，为 18 个。在关注严重漏洞时，Veridise 发现 55%（20 次中的 11 次）ZK 审计包含严重问题，而其他审计（包括智能合约、钱包集成、区块链实施和中继器）的比例为 27.5%（80 次中的 22 次）。快讯2024-07-22 17:18 聚焦零知识证明领域的 zkDay Paris 活动将于 7 月 19 日在巴黎举行由 Manta Network、Polychain、Cointelegraph 联合主办的 zkDay Paris 活动将于当地时间 7 月 19 日 EthCC（Ethereum Community Conference）期间在法国巴黎举行，聚焦零知识证明 ZKP 领域前沿技术及应用创新。该活动白金赞助商包括 Foresight Ventures、Polyhedra，黄金赞助商包括 OlaVM、Aleo、QED Protocol，白银赞助商包括 SevenX Ventures、IOSG、LambdaClass、Scroll、Cysic、Veridise、Elusiv、Risc Zero、Celestia，社区合作伙伴包括 Figment Capital、Hyper Oracle、Kontos，其他合作伙伴与演讲嘉宾包括 Worldcoin、Galaxy Digital、1kx、Aztec、CoinFund、Linea、Celer。快讯2023-07-04 12:03 自动化安全审计公司 Veridise 与 StarkWare 合作开发 Cairo 语言符号执行引擎自动化安全审计公司 Veridise 宣布与 StarkWare 合作开发 Cairo 语言符号执行引擎，会在两周之内发布具备基本语言功能的测试版。Veridise 的引擎会为 Cairo 语言提供自动安全检测工具，帮助 StarkNet 生态项目的安全与审计。快讯2022-05-28 08:57