All vaults / Euler EVK (eVault)
EVK Vault evUSD-1
None of the 30 properties apply to this vault at block 111,461,666.
No property applies. The asset only moves between allowed parties, so test users cannot be funded and moved around as both suites require. Nothing here is attributed to the vault.
Known to the watcher from a backfill scan in block 109,195,820, 2026-09-30 08:20 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.
- CheckedNot applicable
0 pass, 0 fail, 0 inconclusive, 30 not applicable at block 111,461,666, 15 s. Report
Why: scheduled re-check.
- Queued
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.
| 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 | assettest_assetEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: asset() does not revert Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 1 | totalAssetstest_totalAssetsEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: totalAssets() does not revert Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 2 | convertToSharestest_convertToSharesEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: convertToShares gives the same result for any caller Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 3 | convertToAssetstest_convertToAssetsEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: convertToAssets gives the same result for any caller Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 4 | maxDeposittest_maxDepositEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: maxDeposit does not revert Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 5 | previewDeposittest_previewDepositEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: deposit mints at least the shares previewDeposit quoted Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 6 | deposittest_depositEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: deposit moves assets from the caller, credits shares to the receiver and spends allowance Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 7 | maxMinttest_maxMintEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: maxMint does not revert Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 8 | previewMinttest_previewMintEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: mint pulls at most the assets previewMint quoted Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 9 | minttest_mintEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: mint moves assets from the caller, credits shares to the receiver and spends allowance Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 10 | maxWithdrawtest_maxWithdrawEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: maxWithdraw does not revert Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 11 | previewWithdrawtest_previewWithdrawEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: withdraw burns at most the shares previewWithdraw quoted Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 12 | withdrawtest_withdrawEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: withdraw burns owner shares, pays the receiver and spends share allowance Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 13 | withdraw-zero-allowancetest_withdraw_zero_allowanceEIP-4626 SHOULD | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: withdraw on behalf of an owner without allowance reverts Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 14 | maxRedeemtest_maxRedeemEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: maxRedeem does not revert Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 15 | previewRedeemtest_previewRedeemEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: redeem pays at least the assets previewRedeem quoted Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 16 | redeemtest_redeemEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: redeem burns owner shares, pays the receiver and spends share allowance Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 17 | redeem-zero-allowancetest_redeem_zero_allowanceEIP-4626 SHOULD | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: redeem on behalf of an owner without allowance reverts Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 18 | RT-deposit-redeemtest_RT_deposit_redeemEIP-4626 SHOULD | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: redeem(deposit(a)) returns no more than a Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 19 | RT-deposit-withdrawtest_RT_deposit_withdrawEIP-4626 SHOULD | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: withdraw(a) burns at least the shares deposit(a) minted Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 20 | RT-redeem-deposittest_RT_redeem_depositEIP-4626 SHOULD | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: deposit(redeem(s)) mints no more than s Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 21 | RT-redeem-minttest_RT_redeem_mintEIP-4626 SHOULD | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: mint(s) costs at least the assets redeem(s) paid Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 22 | RT-mint-withdrawtest_RT_mint_withdrawEIP-4626 SHOULD | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: withdraw(mint(s)) burns at least s shares Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 23 | RT-mint-redeemtest_RT_mint_redeemEIP-4626 SHOULD | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: redeem(s) pays no more than mint(s) cost Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 24 | RT-withdraw-minttest_RT_withdraw_mintEIP-4626 SHOULD | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: mint(withdraw(a)) costs at least a Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 25 | RT-withdraw-deposittest_RT_withdraw_depositEIP-4626 SHOULD | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). Checks: deposit(a) mints no more than the shares withdraw(a) burned Raw resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| Specfirst max-honored properties, MIT, each on one EIP-4626 MUST sentence about a max function | |||
| 26 | sf-maxDeposit-honoredtest_sf_maxDeposit_honoredEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). 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 resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 27 | sf-maxMint-honoredtest_sf_maxMint_honoredEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). 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 resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 28 | sf-maxWithdraw-honoredtest_sf_maxWithdraw_honoredEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). 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 resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |
| 29 | sf-maxRedeem-honoredtest_sf_maxRedeem_honoredEIP-4626 MUST | Not applicable | Not applicable: the asset restricts transfers, through an allowlist or similar, and both suites need test balances that move freely. The test transfer was refused with 0x82b42900, Unauthorized(). 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 resultreason: asset token restricts transfers (allowlist or similar); both suites need freely transferable test balances (selector 0x82b42900) |