一項新的高接觸智能合約審計：@AragonProject x Spearbit 我們審查了 Aragon 的 EVM Snap - 使 MetaMask 能夠進行鏈上 DAO 執行的基礎設施。核心邏輯的正確性、可升級性和隔離保證進行了評估。 報告如下。