RT: Want to read about how we discovered that the foundational invariant of the Maker protocol was not, in fact, an invariant using @CertoraInc tech? Well, today you are in luck:
https://hackmd.io/@SaferMaker/...
RT：想了解我们是如何发现Maker协议的基本不变量实际上不是使用@CertoraInc技术的不变量的吗？今天你很幸运：
https://hackmd.io/@安全制造商/。。。