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