返回博客

BlockSec 完成 Neo X 安全审计

Code Auditing
2024年8月1日
阅读约 2 分钟

在当今快速发展的区块链领域,各种区块链网络层出不穷。对于项目和用户而言,这些网络的安全对于安全部署和链上交互至关重要,因此安全审计在确保区块链安全方面必不可少。

我们非常激动地宣布,BlockSec 已为 Neo X 完成安全审计。Neo X 是 Neo 的一个兼容 EVM 的侧链,能够消除有毒 MEV。我们通过系统化和注重业务逻辑的方法,提供了全面的安全审计,为 Neo X 生态系统奠定了坚实的第一道防线。

您可以在 此处 查看审计报告。

Neo X 简介:简要概述

Neo X 是一个兼容 EVM 的侧链,融合了 Neo 独特的委托拜占庭容错 (dBFT) 共识机制。它的推出标志着 Neo 在从 Neo Legacy 升级到 Neo N3 之后迈出了重要一步。

Neo X 作为 Neo N3 和广泛使用的 EVM 网络之间的桥梁,将在扩展 Neo 生态系统和为开发人员提供更多创新机会方面发挥至关重要的作用。正如设计文档中所述,dBFT 协议在投票时所需的共识阈值超过一半(即 1/2 而非 2/3)。这意味着 4 个验证者足以达成共识,因为每个时期将选出前 7 名候选者。

BlockSec 对 Neo X 的审计

此次审计重点关注 Neo X 节点的安全性,该节点是基于以太坊协议执行层的 Golang 实现。审计范围涵盖了原始 Geth 实现与分叉部分之间的差异。

总而言之,我们发现了一些需要关注的、不同风险等级的问题。Neo 团队已及时响应并解决了这些问题,确保 Neo X 网络达到高安全标准,并为其未来增长奠定了坚实的基础。

关于 BlockSec

BlockSec 确保区块链生态系统在其整个生命周期中的安全性。

我们提供全面的 EVM 链审计服务,以确保在上线前阶段具有强大的安全性。凭借我们尖端的研发能力和系统化的审计方法,我们在区块链审计方面表现出色。我们在著名会议上发表了多篇区块链安全论文,并报告了无数零日攻击,这都证明了我们的专业知识。

我们的攻击监控和阻止平台 Phalcon 确保在上线后的阶段区块链安全。Phalcon 使支持链上的项目能够检测可疑交易,接收即时警报,并自动阻止黑客攻击。此外,Phalcon 还包含一个增强用户体验的支持工具:Phalcon Explorer,这是一个交易可视化工具,可帮助用户轻松查看和分析可疑交易。

我们尊贵的区块链客户包括 Neo X、Manta、Merlin、Polygon zkEVM、XAI、EOS Network Foundation、Kava、NEAR Foundation、Evmos、Aurora 等。

您可以在 此处 为您的项目安排一次全面的安全审计。

您可以在 此处 预约一次 Phalcon 的快速演示。

订阅最新动态
约940万美元损失:Injective、Aquifer遭利用攻击 | BlockSec Weekly
Security Insights

约940万美元损失:Injective、Aquifer遭利用攻击 | BlockSec Weekly

过去一周(2026/08/31-2026/09/06),Injective、Solana、Ethereum和Flow EVM上发生四起安全事件,损失约940万美元。最大的是Injective漏洞,保险基金标识符与二元期权市场标识符冲突,结算路径未比较其面额,损失约480万美元;Solana上的Aquifer因交换路径调用未验证的调用者提供的Token Program,损失约247万美元;Ethereum上的Notional Finance V1因未检查的uint128转换将债务估值为零,损失约173万美元。Flow EVM上的Ankr FLOW因质押入口跳过暂停保护并按过时比率铸币,损失约41万美元。

超越智能合约:Web3中的域名与DNS运营安全
Security Insights

超越智能合约:Web3中的域名与DNS运营安全

合约审计只审合约本身。我们对DefiLlama TVL前100协议背后的100个域名进行了8项基于SEAL的DNS和注册商检查,共800项检查,只有一个域名全部通过。以下是大多数项目缺失的四项关键控制措施,以及它们在用户入口处为何至关重要。

Web3攻击面:渗透测试概览

Web3攻击面:渗透测试概览

加密机构承载所有传统攻击面,并叠加资金处理链。本文提供系统的实用抽象:应用、授权与签名、区块链交互、基础设施四组件模型,说明各自职责、代表实现及继承的攻击面,并将web3特有覆盖细分为五大攻击面:生产与自动化运维、签名意图、审批与提现链、资金逻辑及链上交易与已部署合约。

Web3 最佳安全审计方

在上线之前验证设计、代码与业务逻辑,对标业内最高安全标准。

BlockSec 审计