Au cours des derniers jours, j'ai travaillé sur la vérification formelle de la conception de C-SPL. C-SPL sera le standard de jeton le plus puissant jamais conçu sur un registre public. gMPC-SPL☂️