Specify protected addresses and Receiving authorization in Dijkstra - #1348

Specify protected addresses and Receiving authorization in Dijkstra#1348

colll78 wants to merge 9 commits into

IntersectMBO:masterIntersectMBO/formal-ledger-specifications:masterfrom

colll78:codex/cip-160-receivingcolll78/formal-ledger-specifications:codex/cip-160-receivingCopy head branch name to clipboard