一项新的高接触智能合约审计：@AragonProject x Spearbit 我们审查了 Aragon 的 EVM Snap - 使 MetaMask 能够进行链上 DAO 执行的基础设施。核心逻辑的正确性、可升级性和隔离保证进行了评估。 报告如下。