Partly checked

EVK Vault eUNDEFINED-3

Euler EVK (eVault)0x0C4a4cCeb011d45c321004833449D6509b7c81EeMonad mainnet

0 of 30 properties passed and none failed at block 111,312,191. 30 could not be exercised.

Known to the watcher from a backfill scan in block 109,195,820, 2026-09-30 08:16 UTC.

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.

11:30:0210-07Checked
Partly checked
0 pass, 0 fail, 28 inconclusive, 2 not applicable at block 111,312,191, 31 s. Report
Why: scheduled re-check.
11:29:2910-07Queued
Waiting for a check: scheduled re-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.



reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0

reason: maxDeposit returned 0 for every test user; there is no max value to honor (EIP-4626 allows underestimating)
runs: 0
reason: maxMint returned 0 for every test user; there is no max value to honor (EIP-4626 allows underestimating)
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0
reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target.
runs: 0

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	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: asset() does not revert Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
1	`totalAssets`test_totalAssetsEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: totalAssets() does not revert Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
2	`convertToShares`test_convertToSharesEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: convertToShares gives the same result for any caller Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
3	`convertToAssets`test_convertToAssetsEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: convertToAssets gives the same result for any caller Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
4	`maxDeposit`test_maxDepositEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: maxDeposit does not revert Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
5	`previewDeposit`test_previewDepositEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: deposit mints at least the shares previewDeposit quoted Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
6	`deposit`test_depositEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: deposit moves assets from the caller, credits shares to the receiver and spends allowance Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
7	`maxMint`test_maxMintEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: maxMint does not revert Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
8	`previewMint`test_previewMintEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: mint pulls at most the assets previewMint quoted Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
9	`mint`test_mintEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: mint moves assets from the caller, credits shares to the receiver and spends allowance Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
10	`maxWithdraw`test_maxWithdrawEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: maxWithdraw does not revert Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
11	`previewWithdraw`test_previewWithdrawEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: withdraw burns at most the shares previewWithdraw quoted Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
12	`withdraw`test_withdrawEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: withdraw burns owner shares, pays the receiver and spends share allowance Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
13	`withdraw-zero-allowance`test_withdraw_zero_allowanceEIP-4626 SHOULD	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: withdraw on behalf of an owner without allowance reverts Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
14	`maxRedeem`test_maxRedeemEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: maxRedeem does not revert Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
15	`previewRedeem`test_previewRedeemEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: redeem pays at least the assets previewRedeem quoted Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
16	`redeem`test_redeemEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: redeem burns owner shares, pays the receiver and spends share allowance Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
17	`redeem-zero-allowance`test_redeem_zero_allowanceEIP-4626 SHOULD	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: redeem on behalf of an owner without allowance reverts Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
18	`RT-deposit-redeem`test_RT_deposit_redeemEIP-4626 SHOULD	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: redeem(deposit(a)) returns no more than a Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
19	`RT-deposit-withdraw`test_RT_deposit_withdrawEIP-4626 SHOULD	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: withdraw(a) burns at least the shares deposit(a) minted Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
20	`RT-redeem-deposit`test_RT_redeem_depositEIP-4626 SHOULD	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: deposit(redeem(s)) mints no more than s Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
21	`RT-redeem-mint`test_RT_redeem_mintEIP-4626 SHOULD	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: mint(s) costs at least the assets redeem(s) paid Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
22	`RT-mint-withdraw`test_RT_mint_withdrawEIP-4626 SHOULD	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: withdraw(mint(s)) burns at least s shares Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
23	`RT-mint-redeem`test_RT_mint_redeemEIP-4626 SHOULD	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: redeem(s) pays no more than mint(s) cost Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
24	`RT-withdraw-mint`test_RT_withdraw_mintEIP-4626 SHOULD	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: mint(withdraw(a)) costs at least a Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
25	`RT-withdraw-deposit`test_RT_withdraw_depositEIP-4626 SHOULD	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: deposit(a) mints no more than the shares withdraw(a) burned Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
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 goes through up to min(maxDeposit, 1e6 tokens); when a smaller amount is refused the bound must go through, and refusals are counted (EIP-4626: maxDeposit MUST NOT be higher than what deposit accepts) 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 goes through up to min(maxMint, shares of 1e6 tokens); when a smaller amount is refused the bound must go through, and refusals are counted (EIP-4626: maxMint MUST NOT be higher than what mint accepts) 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	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: withdraw goes through up to maxWithdraw; when a smaller amount is refused maxWithdraw must go through, and refusals are counted (EIP-4626: maxWithdraw MUST NOT be higher than what withdraw accepts, and MUST be 0 when withdrawals are disabled) Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. runs: 0
29	`sf-maxRedeem-honored`test_sf_maxRedeem_honoredEIP-4626 MUST	Inconclusive	Never exercised: test users could not be given the asset. Its balances are not in a storage slot forge-std can write, which is typical of rebasing or computed-balance tokens. Checks: redeem goes through up to maxRedeem; when a smaller amount is refused maxRedeem must go through, and refusals are counted (EIP-4626: maxRedeem MUST NOT be higher than what redeem accepts, and MUST be 0 when redemptions are disabled) Raw result reason: the asset's balance slot cannot be written, test users cannot be funded (non-standard token): stdStorage find(StdStorage): No storage use detected for target. 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 0x0C4a4cCeb011d45c321004833449D6509b7c81Ee \
  --standard erc4626 \
  --block 111312191 \
  --runs 16 \
  --seed 0x67ab35fdcde1465d766d04e483dca5cf8eab9ed8d3ce7959f68a5312554732b0

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 0xb0a5fb...090d1d 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/0x0c4a4cceb011d45c321004833449d6509b7c81ee.svg)](/v/143/0x0c4a4cceb011d45c321004833449d6509b7c81ee)

JSON API Badge SVG

Implementation

Proxy: eip1967-beacon
Implementation: 0xef17750D3a162E28a302E266c474ff8989d60ECD
Implementation key: 0xdd21af250ff5c7001b35031d24abc55fd472370cf156a4146fe35134139c1901
Key from: Implementation behind the proxy: same compiler metadata and same code with immutables masked
Code hash: 0x91c4224d82f5a8bd8ea868f756337552673dcc7b86fbdb6872e3ca65617c8f9a
Code size: 366 bytes
Same key: 133 other vaults on this board

Run

Block: 111,312,191, Monad mainnet
Seed: 0x67ab35fdcde1465d766d04e483dca5cf8eab9ed8d3ce7959f68a5312554732b0
Sender: 0xE9CCe7905cac7f25e29Cf179c5B0719514F9a670
Runs: 16 per property
Delta: 0 base units
Forge: forge Version: 1.5.1-Homebrew
forge-std: bf647bd6046f
Reject limit: 4096
Harness: 0xf5d1ee...8d0262
sf properties: 0x1d721e...dfa233
suiteHash: 0x67de68...c66d91
Started: 2026-10-07 11:29 UTC, 31 s
Report: schemaVersion 4

Same implementation

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

and 73 more