issuer unknown · maple (recomputable-accrual)

syrupUSDC.vault

0x80ac24aA929eaF5013f6436cdA2a7ba190f5Cc0b

verdict MODEL_MATCHNAV FULLconsumer action ALLOW

syrupusdc.convertToAssets(1e6) exact, residual 0

Family: maple
Chain: chain unknown
Guard: recomputed
Mechanism: No mechanism description is registered for this target yet.

Latest decision

no decision

Evidence bundle

root deb9cf9b94b47ed6cff1cd4a14a20406136621f9422f6e896b5a016ace8df59f

Download maple-run-25800000-25885541-20260910T205149Z.tar.gz 77 KB, sha256 bcaa1816b73d6f95b2d977337875bc3b3d8622afafb7a7e1080e442054c2dcf4

crossfoot verify maple-run-25800000-25885541-20260910T205149Z.tar.gz
# exit code 0: every file re-hashes to the root above and the verdict replays offline

Install the binary from the Crossfoot README; verify needs no key and no network.

Recomputed against the chain

syrupusdc.convertToAssets(1e6) exact, residual 0 at block 25,885,541. The value is rebuilt from the contractual terms and compared field by field with what the chain stored.

Residual table
Field	Modeled	Observed	Equal
syrupusdc.loanManager.assetsUnderManagement()	965551429376226	965551429376226	true
syrupusdc.totalAssets()	965709626102356	965709626102356	true
syrupusdc.convertToAssets(1e6)	1181091	1181091	true
syrupusdt.loanManager.assetsUnderManagement()	394113689617240	394113689617240	true
syrupusdt.totalAssets()	396908422893109	396908422893109	true
syrupusdt.convertToAssets(1e6)	1141373	1141373	true