Hack VC：项目 TGE 时需着重考虑的 10 个注意事项

撰文：Ed Roman，Hack VC 管理合伙人

编译：马赫，Foresight News

协议的安全性至关重要。如果你的协议遭到黑客攻击，那么这将是你记录上的永久污点，并可能会阻止用户参与。需要遵循的几个关键步骤：

• 考虑提前选择有助于降低智能合约黑客风险的技术。例如：使用 Move 语言进行编程，该语言经过形式验证且类型安全，通常比 Solidity 更安全（例如，通过 MovementLabs.xyz）。另一种方法是在交易完成时引入延迟，以提供一个截获智能合约黑客的窗口（例如，通过 UseFirewall.com）。通过 AlignedLayer.com 等技术使用代码的零知识形式验证（例如，在桥的情况下）。
• 在协议上线之前执行多次智能合约审核，以向用户和团队传达你的代码是可靠的。请注意，这并不能保证你不会被利用，但这是正确的一步。示例包括 Trail of Bits 和 Quantstamp。
• 建立一个代码更改流程，如果你随着时间的推移对智能合约进行其他更改，你可以通过轻量级审计重新检查每个代码增量。这是团队经常忽视的一步，对于捕获仓促代码提交中产生的漏洞至关重要。
• 考虑使用形式验证或模糊测试。形式验证是对代码系统进行详尽的数学验证。它提供全面的覆盖率分析，可以增强你抵御攻击的信心。模糊测试是一个稍微改变系统输入的过程，以发现可能被利用的极端情况。 Veridise 是提供形式验证和模糊测试的供应商的一个例子。
• 考虑投资漏洞赏金计划。这可以激励白帽黑客通过给予他们的奖励来发现漏洞。目前 Web3 漏洞赏金的市场领导者是 ImmuneFi。