Reentrancy guard on external-calling functions

Morpho V1 (Morpho Blue + MetaMorpho)'s assessment for RD-F-014 — scored green on the v1.7.0 rubric. The evidence below is the curator's reasoning for this score.

Evidence summary #

Certora formal verification (reentrancySafe rule) explicitly proves Morpho Blue is not vulnerable to reentrancy attacks via storage-call-storage pattern analysis; no standard nonReentrant modifier but formal proof provides stronger assurance.

Sources #

URL
https://mixbytes.io/blog/modern-defi-lending-protocols-how-its-made-morpho-blueretrieved 2026-04-27
URL
https://morpho.org/blog/formally-verifying-morpho-blue-with-certorav/retrieved 2026-04-27

Methodology #

Determine whether all state-mutating functions that perform external calls carry `nonReentrant` or an equivalent reentrancy guard.

See the full factor methodology and distribution across all protocols →

rubric_version v1.7.0 protocol morpho-v1 factor RD-F-014 score green collected_at 2026-04-30 21:19:13