Sky · Sky savings family
sDAI.vault
0x83F20F44975D03b1b09e64809B757c47f942BEeA
sdai.convertToAssets(1e18) exact, residual 0
- Family
- sky
- Chain
- chain unknown
- Guard
- recomputed
- Mechanism
- Parameter-driven accrual from a governance-set rate, recomputed from the contractual terms and compared with the chain.
Latest decision
ALLOW
none
MODEL_MATCH: sdai.convertToAssets(1e18) exact, residual 0 at block 25885408; bundle a2fe154537e400698e40b50d59310c55ca6241aff1dd13434748ec4b766d0e1b
run 20260910T205941Z · deployment QmeTCucCXDhT27pMMExg2EtDx1t7SA3Abgcw2p4BuZgmdQ · indexed block 25,949,534 · record 77d219fe79b1f948295e9592949ad4542740ee120547189d5226d62c771e422e · consumer policy default · policy-default.json · sha256 84806934fd5b…2c1ab4 · 8 gates
Evidence bundle
root a2fe154537e400698e40b50d59310c55ca6241aff1dd13434748ec4b766d0e1b
Download sky-run-23264565-25885408-20260910T205149Z.tar.gz 189 KB, sha256 82143a0bd409e48eb0afc705a109b5b08b1f6ce226298e5abee91ec6f923f540
crossfoot verify sky-run-23264565-25885408-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
sdai.convertToAssets(1e18) exact, residual 0 at block 25,885,408. The value is rebuilt from the contractual terms and compared field by field with what the chain stored.
| Field | Modeled | Observed | Residual | Equal |
|---|---|---|---|---|
| susds.convertToAssets(1e18) | 1108162724614623666 | 1108162724614623666 | 0 | true |
| sdai.convertToAssets(1e18) | 1180012163563431758 | 1180012163563431758 | 0 | true |
| stusds.convertToAssets(1e18) | 1072222891118653161 | 1072222891118653161 | 0 | true |