Search results

adapterSupplySharesIsLessThanActualSupplyShares rule fails when run on Certora-8.6.3

Status: Open.

#878 In morpho-org/vault-v2;

· bhargavbh opened on Jan 8, 2026

Permanent Interest Freeze via maxRate and elapsed Manipulation

Status: Open.

#876 In morpho-org/vault-v2;

· gelenbedalen-art opened on Jan 6, 2026

Inconsistent Asset Valuation in totalAssets() vs _totalAssets update

Status: Open.

#875 In morpho-org/vault-v2;

· gelenbedalen-art opened on Jan 6, 2026

Fee Accrual Dilution via accrueInterestView Rounding Asymmetry

Status: Open.

#874 In morpho-org/vault-v2;

· gelenbedalen-art opened on Jan 6, 2026

[marketV2 adapter] durations hardcoding

Status: Open.

#858 In morpho-org/vault-v2;

· adhusson opened on Dec 5, 2025

[Certora] Formal verification wish list

to-check-by-certora

Status: Open.

#137 In morpho-org/vault-v2;

· QGarchery opened on Apr 30, 2025