feat: add shared lockbox invariants#15

agusduha merged 6 commits into

sc-feat/add-shared-lockboxdefi-wonderland/specs:sc-feat/add-shared-lockboxfrom

feat/add-shared-lockbox-invariantsdefi-wonderland/specs:feat/add-shared-lockbox-invariantsCopy head branch name to clipboard