Crossfoot

Frankencoin · Frankencoin svZCHF

svZCHF.vault

0xE5F130253fF137f9917C0107659A4c5262abf6b0

verdict MODEL_MATCHNAV FULLconsumer action ALLOW

5 of 5 fields exact, residual 0

Family
frankencoin-svzchf
Chain
chain unknown
Guard
recomputed
Mechanism
Savings vault whose value follows a governance-set rate; recomputed in full from the contractual terms and compared field by field with the chain.

Latest decision

ALLOW

none

MODEL_MATCH: 5 of 5 fields exact, residual 0 at block 25853000; bundle 6cf3893273191578a790a9dba90c165791e9821a1762cf8a6c04f78abaa220b9

run 20260910T205941Z · deployment QmeTCucCXDhT27pMMExg2EtDx1t7SA3Abgcw2p4BuZgmdQ · indexed block 25,949,534 · record e9f6326eb1a21e366a22551907a6f742a3315bf3a5d85ea9be63daef4a2afc45 · consumer policy default · policy-default.json · sha256 84806934fd5b…2c1ab4 · 8 gates

Evidence bundle

root 6cf3893273191578a790a9dba90c165791e9821a1762cf8a6c04f78abaa220b9

Download svzchf-run-24570000-25853000-20260910T205149Z.tar.gz 60 KB, sha256 bc928faf6ce69515862bafacf768e0e366c408ce8b3394b7bdd5379ae5ab511d

crossfoot verify svzchf-run-24570000-25853000-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

5 of 5 fields exact, residual 0 at block 25,853,000. The value is rebuilt from the contractual terms and compared field by field with what the chain stored.

Residual table
FieldModeledObservedResidualEqual
account.saved81761995488279584010351817619954882795840103510true
account.ticks134680002215713468000221570true
vault.totalAssets()81769497488003849675143817694974880038496751430true
vault.price()102176426867358142410217642686735814240true
vault.convertToAssets(1e18)102176426867358142410217642686735814240true