更新日期 | 网址 | 备注 |
2022/09/06 |
www.bian168.net |
验证 |
2022/08/31 |
www.bianreggroup.com |
验证 |
2022/08/31 |
www.bianreg.net |
验证 |
2022/08/31 |
www.binancezh.live |
验证 |
2022/08/31 |
www.binancezh.biz |
验证 |
2022/08/31 |
www.binancezh.top |
验证 |
2022/08/20 |
www.binance.info |
验证 |
2022/08/20 |
www.binancezh.jp |
验证 |
2022/08/20 |
www.binancezh.sh |
验证 |
智能合约安全审计提供对项目智能合约的详细分析。这些对于保护通过它们投资的资金很重要。由于区块链上的所有交易都是最终交易,因此一旦被盗,资金将无法找回。通常,审计人员会检查智能合约的代码,生成报告,并将其提供给项目供他们使用。然后发布最终报告,详细说明任何未解决的错误以及为解决性能或安全问题所做的工作。
智能合约安全审计在去中心化金融(DeFi)生态系统中非常普遍。如果您投资了区块链项目,您的决定可能部分基于智能合约代码审查的结果。
虽然大多数人都了解审计对网络安全的重要性,但没有多少人深入研究代码行。让我们看一下智能合约安全审计中常见的方法、工具和结果,以便您做出更明智的决策。
智能合约安全审计检查和评论项目的智能合约代码。通常,这些合约是用 Solidity 编程语言编写的,并通过GitHub提供。对于期望处理价值数百万美元或大量参与者的区块链交易的DeFi项目,安全审计尤其有价值。审核通常遵循四个步骤:
1. 将智能合约提供给审计团队进行初步分析。
2. 审核小组将他们的发现提交给项目,供他们采取行动。
3、项目组根据发现的问题进行修改。
4. 审核小组发布他们的最终报告,考虑任何新的变化或突出的错误。
对于许多加密用户来说,在投资新的 DeFi 项目时,智能合约审计是必不可少的。它已成为想要认真对待的项目的标准。某些审计提供者也被视为行业领导者,这使得他们的审计在投资者眼中更有价值。
通过智能合约交易或锁定大量价值,它们成为黑客恶意攻击的有吸引力的目标。轻微的编码错误可能导致巨额资金被盗。例如,以太坊区块链上的DAO黑客攻击损失了价值约 6000 万美元的 ETH,甚至导致了以太坊网络的硬分叉。
由于区块链交易是不可逆的,因此确保项目代码的安全至关重要。区块链技术的高度安全性使得在事后难以找回资金和解决问题,因此最好不惜一切代价防止漏洞。
智能合约审计的过程在审计提供者中是相当标准的。虽然每个审计师的方法可能略有不同,但典型的流程如下:
1. 确定审核范围。智能合约和项目规范由项目(其预期目的)和整体架构定义。规范有助于审计团队在编写和使用代码时了解项目的目标。
2. 根据所需工作量提供初始报价。
3. 运行测试。它们的确切性质将根据审计团队、他们的分析工具和他们的方法而改变。通常,手动和自动测试都会进行。
4. 创建发现错误的报告初稿,并将其提供给项目团队以获取反馈和后续修复。
5. 发布最终报告,考虑团队为解决提出的问题而采取的任何行动。
智能合约审计不仅仅关注区块链安全。他们还关注效率和优化。一些合约进行一系列复杂的交易以完成其预期功能。由于以太坊等网络的汽油费相对昂贵,有效的合约可以节省大量交易成本。
优化它们的性能也是开发人员技能的一个指标。低效的步骤提供了更多的失败点,应该避免。当 gas 成本很高时,智能合约可能无法执行,当使用低 gas 限制时更是如此。
审计中的大部分工作都涉及检查合同是否存在安全漏洞。虽然有些问题很容易看出,但许多漏洞利用涉及先进的技术和策略来消耗资金。例如,市场操纵可以与弱智能合约一起使用来进行闪贷攻击。为了发现这些问题,审计人员启动了中断测试过程并模拟了对智能合约的恶意攻击。常见的漏洞包括:
1. 可重入性问题:当智能合约在解决任何影响之前对另一个外部合约进行外部调用时。然后,外部合约可以递归调用原始智能合约并以它不应该的方式与其交互,因为原始合约的余额尚未更新。
2. 整数上溢和下溢:当智能合约进行算术运算,但输出超出存储容量(通常为小数点后 18 位)时。这可能导致计算的金额不正确。
3.抢先机会:结构不良的代码可以提供市场购买或销售的预警。反过来,这可以允许其他人使用这些信息并为自己的利益进行交易。
大多数审计包括查看托管合约的网络,甚至是用于与DApp交互的 API 。一个项目可能容易受到 DDoS 攻击,或者其网站 UI 遭到破坏,这意味着用户实际上会将他们的钱包连接到恶意区块链应用程序。
审计报告在审计过程结束时提供。为了透明度,项目应与社区分享他们的发现。大多数报告按严重程度对问题进行分类,例如严重、主要、次要等。报告还将列出问题的状态,因为项目有时间在最终报告发布之前解决这些问题。
除执行摘要外,标准报告还将包含建议、冗余代码示例以及编码错误所在位置的完整细分。在最终版本发布之前,该项目有时间根据报告的发现采取行动。
许多智能合约审计服务因其服务而闻名。其中两个特别受欢迎,从他们那里获得审计将需要初始报价和信息移交。
在智能合约审计方面,CertiK 是行业领导者。数百个项目已经与他们一起审计了他们的智能合约。BSC 最大的自动做市商(AMM) PancakeSwap就是一个例子。以下是 Certik对 PancakeSwap审计的一部分。
此外,Binance Labs 支持的绝大多数项目都对与 CertiK 的合同进行了审计。CertiK 发布了一个审核项目排行榜,让您可以比较每个项目以及安全分数。请注意,除了以太坊,CertiK 还涵盖 BSC 和 Polygon 项目。
ConsenSys 由以太坊的联合创始人 Joseph Lubin 经营,是加密货币行业在区块链开发方面的知名人士之一。在ConsenSys Diligence下,该公司提供以太坊智能合约审计。他们还提供自动化服务,检查以太坊虚拟机(EVM) 合约中常见的错误。
审计的确切成本取决于要检查的智能合约的数量。通常,审计会花费数千美元。一个特别大的项目很容易花费超过 10,000 美元。进行审计的审计公司及其声誉也会影响您支付的金额。
更新日期 | 网址 | 备注 |
2022/09/06 |
www.bian168.net |
验证 |
2022/08/31 |
www.bianreggroup.com |
验证 |
2022/08/31 |
www.bianreg.net |
验证 |
2022/08/31 |
www.binancezh.live |
验证 |
2022/08/31 |
www.binancezh.biz |
验证 |
2022/08/31 |
www.binancezh.top |
验证 |
2022/08/20 |
www.binance.info |
验证 |
2022/08/20 |
www.binancezh.jp |
验证 |
2022/08/20 |
www.binancezh.sh |
验证 |
下一篇:什么是加密交易中的杠杆?