AlexZoid FV(@alexzoid):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.

AlexZoid FV

@alexzoid

#1🏆# all-time @Certora leaderboard, 30+ formal verification jobs since 2023, EVM/Stellar/Solana. DM for engagement.

가입 June 2023

252 팔로잉 중 797 팬

AlexZoid FV@alexzoid

2026.10.14 13:34

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.