Over the past days I’ve been working on formally verifying the C-SPL design. C-SPL will be most powerful token standard ever conceived on a public ledger. gMPC-SPL☂️