SpecfirstMonad ERC-4626 board

Request a check / Desk

Request #0

Node Ag USDC

Morpho MetaMorpho V1.1Asset USDC0xf5BC68C6e5825FEAe99B8018F62a595Cf745e297Monad mainnet

0.1MON
Now
Earned by the desk
From
0x9ea8...E86B
Paid

Where it is

Fulfilled

Result
30 pass, 0 fail, 0 inconclusive
Block
109,365,868, Monad mainnet

You get

Steps

  1. Paid, done

    The fee left escrow when the request was fulfilled.

  2. Queued, done

    The worker picks requests up in order.

  3. Prechecking, done

    Code, proxy and asset() read on Monad mainnet at a fixed block.

  4. Running 30 properties, done

    Forge forks the vault and runs 30 properties with fuzzed amounts.

  5. Attesting onchain, done

    The report hash and results go to CheckAttestationRegistry on Monad testnet.

    tx 0xbaece7...8a66d2

  6. Fulfilled, done

    Attestation recorded; the fee is now earned by the desk.

    tx 0xc0caf0...80d954

All passed

The result

All 30 properties passed at block 109,365,868. No counterexample was found; that is evidence, not a safety guarantee.

Open the vault pageReport JSON

Onchain attestation

Attestation #18 Valid, isCompliant true.

The reportHash stored onchain is the hash of the report above, so anyone can check the two match.

Attest tx 0xbaece7...8a66d2 on testnet.monadscan.com

Badge

Specfirst ERC-4626 check badge for this vaultReads the registry each time it loads, so it changes when the vault is attested again.
[![Specfirst ERC-4626 check](/badge/check/143/0xf5bc68c6e5825feae99b8018f62a595cf745e297.svg)](/v/143/0xf5bc68c6e5825feae99b8018f62a595cf745e297)

API

The latest report summary, the four max-honored flags a router can gate on, and the attestation read live.

curl -s /api/v1/vaults/143/0xf5bc68c6e5825feae99b8018f62a595cf745e297 | jq '{status: .report.status, maxHonored, compliant: .attestation.isCompliant}'

Replay it yourself

specfirst check 0xf5BC68C6e5825FEAe99B8018F62a595Cf745e297 --standard erc4626 --block 109365868 --runs 16 --seed 0xa0d0d7c4232b15a5d9e1fd671266f7d500b193508a357a9a5ce589b4c3a2476f

Report hash 0xa72f17...d1a6b1, block 109365868.