Post by @colorboy • Hey

Aave 提案： Security and Agility of Aave Smart Contracts via Continuous Formal Verification https://snapshot.org/#/aave.eth/proposal/0x2883dabd44037a92dd41139