In den letzten Tagen habe ich daran gearbeitet, das C-SPL-Design formal zu verifizieren. C-SPL wird der leistungsstärkste Token-Standard sein, der jemals auf einem öffentlichen Ledger konzipiert wurde. gMPC-SPL☂️