MakerDAO's Protocol Engineering Core Unit (PECU) uses the @CertoraInc Prover as part of its suite of techniques to keep DAI and Maker Vaults safe.
How is this tool boosting the formal verification of our systems?
🔒👇
1/
MakerDAO的协议工程核心单元（PECU）使用@CertoraInc Prover作为其成套技术的一部分，以确保DAI和Maker Vault的安全。
这个工具是如何促进我们系统的正式验证的？
🔒👇
1/