Security and Agility of Compound Smart Contracts via Continuous Formal Verification

Proposals
2

It seems that you don’t need to re-initiate discussions for this proposal. :slightly_smiling_face:

https://www.comp.xyz/t/continuous-formal-verification
https://www.comp.xyz/t/certora-formal-verification-proposal/

2 Likes