De siste dagene har jeg jobbet med å formelt verifisere C-SPL-designet. C-SPL vil være den mest kraftfulle tokenstandarden som noen gang er utformet på en offentlig hovedbok. gMPC-SPL☂️