feat: add specs for some tricky functions#7

abentkamp wants to merge 2 commits into

maincryspen/rust-core-models:mainfrom

specscryspen/rust-core-models:specsCopy head branch name to clipboard