Nos últimos dias, estive a trabalhar na verificação formal do design do C-SPL. O C-SPL será o padrão de token mais poderoso já concebido em um livro-razão público. gMPC-SPL☂️