Happy to share this one. I formally verified the Centrifuge core with @Certora Prover: 19 verification scenes, and every rule is backed by a mutation to prove the specs catch real bugs.
Thanks to the Centrifuge team for a great collaboration. Glad to see FV becoming part of their ongoing security process.
Show more
