snapshots
big_map
as follows- big_map %snapshots (pair address nat) (pair (nat %level) (nat %balance))
nat
as the right element of the snapshots pair
key type- represents the index of the snapshot. Indexing was shifted to the key instead of keeping a map
on the value side, based on the warning mentioned in Section-3 of Smartlink's audit report.numSnapshots
big_map
as follows- big_map %numSnapshots address nat