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.