Under de senaste dagarna har jag arbetat med att formellt verifiera C-SPL-designen. C-SPL kommer att vara den mest kraftfulla tokenstandarden som någonsin utformats på en offentlig huvudbok. gMPC-SPL☂️