SpecfirstMonad ERC-4626 board

Request a check / Desk

Request #1

EVK Vault eUSDC-7

Euler EVK (eVault)Asset USDC0x5792753b66Eb5213E416755546abBcC1AEF1008AMonad 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,366,208, 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 0x5bacd4...43cd7d

  6. Fulfilled, done

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

    tx 0x14b6cc...c6dbde

All passed

The result

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

Open the vault pageReport JSON

Onchain attestation

Attestation #19 Valid, isCompliant true.

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

Attest tx 0x5bacd4...43cd7d 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/0x5792753b66eb5213e416755546abbcc1aef1008a.svg)](/v/143/0x5792753b66eb5213e416755546abbcc1aef1008a)

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/0x5792753b66eb5213e416755546abbcc1aef1008a | jq '{status: .report.status, maxHonored, compliant: .attestation.isCompliant}'

Replay it yourself

specfirst check 0x5792753b66Eb5213E416755546abBcC1AEF1008A --standard erc4626 --block 109366208 --runs 16 --seed 0xb1704224011b2c4849d82ba1e3e2d60409c73341c7722165b62e83ef358d30a0

Report hash 0x2beae9...7d87c0, block 109366208.