@CertoraInc The Maker Protocol's contracts needed some changes and updates in preparation for deployment on other chains (including L2 solutions).
On the security side of these changes and updates, the Certora Prover was used to perform formal verification on the modified contracts.
4/
@CertoraInc The Maker Protocol的合同需要一些更改和更新，以便在其他链（包括L2解决方案）上部署。
在这些更改和更新的安全方面，Certora Prover用于对修改后的合同执行正式验证。
4/