Rover 团队已通过 Trail of Bits 成功完成了对构成 Rover 代码库的 3 个主要智能合约的智能合约安全评估。