Partly checked

August USDC V2

Morpho Vault V2Asset USDC0x80017bF0f793EBbE9679Cd61ff0e395B62CAbB59Monad mainnet

26 of 30 properties passed and none failed at block 111,202,434. 4 could not be exercised.

Known to the watcher from a backfill scan in block 109,195,820, 2026-09-30 08:11 UTC. First deposit seen in block 110,401,430.

Request a re-checkRuns the same 30 properties at the latest block and attests the new report.

What the watcher saw

Every event the watcher recorded for this vault, newest first. Each check is a statement about one block; a re-check with the same outcome is recorded here without a new attestation.

02:18:1810-07Checked
Partly checked
26 pass, 0 fail, 0 inconclusive, 4 not applicable at block 111,202,434, 1 min. Report
Why: first deposit after its last check.
12:50:1610-06Queued
Waiting for a check: first deposit after its last check.

JSON: this vault's history

All 30 properties

In report order. Bit i is the bit the registry's passedBitmap and failedBitmap use for that property.

Bit	Property	Result	What was found
a16z/erc4626-tests at ac48546, 26 properties: 16 on EIP-4626 MUST sentences, 10 on SHOULD guidance (the round trips and the allowance checks)
0	`asset`test_assetEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: asset() does not revert
1	`totalAssets`test_totalAssetsEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: totalAssets() does not revert
2	`convertToShares`test_convertToSharesEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: convertToShares gives the same result for any caller
3	`convertToAssets`test_convertToAssetsEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: convertToAssets gives the same result for any caller
4	`maxDeposit`test_maxDepositEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: maxDeposit does not revert
5	`previewDeposit`test_previewDepositEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: deposit mints at least the shares previewDeposit quoted
6	`deposit`test_depositEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: deposit moves assets from the caller, credits shares to the receiver and spends allowance
7	`maxMint`test_maxMintEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: maxMint does not revert
8	`previewMint`test_previewMintEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: mint pulls at most the assets previewMint quoted
9	`mint`test_mintEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: mint moves assets from the caller, credits shares to the receiver and spends allowance
10	`maxWithdraw`test_maxWithdrawEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: maxWithdraw does not revert
11	`previewWithdraw`test_previewWithdrawEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: withdraw burns at most the shares previewWithdraw quoted
12	`withdraw`test_withdrawEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: withdraw burns owner shares, pays the receiver and spends share allowance
13	`withdraw-zero-allowance`test_withdraw_zero_allowanceEIP-4626 SHOULD	Pass	No counterexample in 16 fuzz runs at this block. Checks: withdraw on behalf of an owner without allowance reverts
14	`maxRedeem`test_maxRedeemEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: maxRedeem does not revert
15	`previewRedeem`test_previewRedeemEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: redeem pays at least the assets previewRedeem quoted
16	`redeem`test_redeemEIP-4626 MUST	Pass	No counterexample in 16 fuzz runs at this block. Checks: redeem burns owner shares, pays the receiver and spends share allowance
17	`redeem-zero-allowance`test_redeem_zero_allowanceEIP-4626 SHOULD	Pass	No counterexample in 16 fuzz runs at this block. Checks: redeem on behalf of an owner without allowance reverts
18	`RT-deposit-redeem`test_RT_deposit_redeemEIP-4626 SHOULD	Pass	No counterexample in 16 fuzz runs at this block. Checks: redeem(deposit(a)) returns no more than a
19	`RT-deposit-withdraw`test_RT_deposit_withdrawEIP-4626 SHOULD	Pass	No counterexample in 16 fuzz runs at this block. Checks: withdraw(a) burns at least the shares deposit(a) minted
20	`RT-redeem-deposit`test_RT_redeem_depositEIP-4626 SHOULD	Pass	No counterexample in 16 fuzz runs at this block. Checks: deposit(redeem(s)) mints no more than s
21	`RT-redeem-mint`test_RT_redeem_mintEIP-4626 SHOULD	Pass	No counterexample in 16 fuzz runs at this block. Checks: mint(s) costs at least the assets redeem(s) paid
22	`RT-mint-withdraw`test_RT_mint_withdrawEIP-4626 SHOULD	Pass	No counterexample in 16 fuzz runs at this block. Checks: withdraw(mint(s)) burns at least s shares
23	`RT-mint-redeem`test_RT_mint_redeemEIP-4626 SHOULD	Pass	No counterexample in 16 fuzz runs at this block. Checks: redeem(s) pays no more than mint(s) cost
24	`RT-withdraw-mint`test_RT_withdraw_mintEIP-4626 SHOULD	Pass	No counterexample in 16 fuzz runs at this block. Checks: mint(withdraw(a)) costs at least a
25	`RT-withdraw-deposit`test_RT_withdraw_depositEIP-4626 SHOULD	Pass	No counterexample in 16 fuzz runs at this block. Checks: deposit(a) mints no more than the shares withdraw(a) burned
Specfirst max-honored properties, MIT, each on one EIP-4626 MUST sentence about a max function
26	`sf-maxDeposit-honored`test_sf_maxDeposit_honoredEIP-4626 MUST	Not applicable	Nothing to honor: maxDeposit returned 0 for every test user. EIP-4626 allows a max to underestimate, so there was no advertised amount to hold the vault to. Checks: deposit does not revert for amounts up to maxDeposit (EIP-4626: maxDeposit is the most deposit accepts without reverting) Raw result reason: maxDeposit returned 0 for every test user; there is no max value to honor (EIP-4626 allows underestimating) runs: 0
27	`sf-maxMint-honored`test_sf_maxMint_honoredEIP-4626 MUST	Not applicable	Nothing to honor: maxMint returned 0 for every test user. EIP-4626 allows a max to underestimate, so there was no advertised amount to hold the vault to. Checks: mint does not revert for shares up to maxMint (EIP-4626: maxMint is the most mint accepts without reverting) Raw result reason: maxMint returned 0 for every test user; there is no max value to honor (EIP-4626 allows underestimating) runs: 0
28	`sf-maxWithdraw-honored`test_sf_maxWithdraw_honoredEIP-4626 MUST	Not applicable	Nothing to honor: maxWithdraw returned 0 for every test user. EIP-4626 allows a max to underestimate, so there was no advertised amount to hold the vault to. Checks: withdraw does not revert for assets up to maxWithdraw (EIP-4626: maxWithdraw MUST return 0 when withdrawals are disabled) Raw result reason: maxWithdraw returned 0 for every test user; there is no max value to honor (EIP-4626 allows underestimating) runs: 0
29	`sf-maxRedeem-honored`test_sf_maxRedeem_honoredEIP-4626 MUST	Not applicable	Nothing to honor: maxRedeem returned 0 for every test user. EIP-4626 allows a max to underestimate, so there was no advertised amount to hold the vault to. Checks: redeem does not revert for shares up to maxRedeem (EIP-4626: maxRedeem MUST return 0 when redemptions are disabled) Raw result reason: maxRedeem returned 0 for every test user; there is no max value to honor (EIP-4626 allows underestimating) runs: 0

Onchain attestation

Not attested yet.

CheckAttestationRegistry 0x3754...daF7 on Monad testnet holds no erc4626 attestation for this vault as of 2026-10-08.

Watch this vault

Pay per day for an alert when this vault's result changes, in your inbox and at your webhook if you register one, and for a shorter re-check cadence (the watcher's default is every 60 minutes for subscribed vaults, at most once a day for the rest). Every result stays public either way; a subscription buys delivery and freshness.

Reading the fee.

No wallet extension found in this browser. Install MetaMask or Rabby, or switch to the testnet burner above.

Connect a wallet first.

Replay this check

specfirst check 0x80017bF0f793EBbE9679Cd61ff0e395B62CAbB59 \
  --standard erc4626 \
  --block 111202434 \
  --runs 16 \
  --seed 0xa6751425416ec84e691704fcdbfb7070c796c3a46782949ae28c8a4a0bf4802d

Same block, runs and seed. The CLI draws a fresh random sender each run; the seed also salts the 16-user pool.

Report JSON

reportHash 0xabb798...540dec is keccak256 of the report's canonical JSON (RFC 8785), the value the registry stores.

Badge and API

The badge and the JSON read the registry when they are loaded, so they follow new attestations without a rebuild.

[![Specfirst ERC-4626 check](/badge/check/143/0x80017bf0f793ebbe9679cd61ff0e395b62cabb59.svg)](/v/143/0x80017bf0f793ebbe9679cd61ff0e395b62cabb59)

JSON API Badge SVG

Implementation

Proxy: Not a proxy
Implementation key: 0x8d799902b0635b2aa79f2f0b05f64fa8c43e6c19ab91658e72c3d9a5b3ce2662
Key from: The vault's own code: same code with immutables masked, no compiler metadata
Code hash: 0xeb6251a872adcfdd6b5036ad10262a33c865433a9e3ae71bf084174be445f3be
Code size: 21,808 bytes
Same key: 68 other vaults on this board

Run

Block: 111,202,434, Monad mainnet
Seed: 0xa6751425416ec84e691704fcdbfb7070c796c3a46782949ae28c8a4a0bf4802d
Sender: 0xEdcaEa23d188b43A864945209Ea1F8fbcc190136
Runs: 16 per property
Delta: 0 base units
Forge: forge Version: 1.5.1-Homebrew
forge-std: bf647bd6046f
Reject limit: 4096
Harness: 0x5b48d4...a08890
sf properties: 0x612e00...26991e
suiteHash: 0xc4ee5c...1a6c0d
Started: 2026-10-07 02:17 UTC, 66 s
Report: schemaVersion 3

Same implementation

Same code, different vaults. Their results can still differ through parameters, caps and assets.

and 8 more