ONE. MILIONE. PROVE. Un milione di prove generate lato client con Cairo M. Un milione di prove verificate e risolte da Hyli. Un milione di prove. In meno di una settimana. Questo è il futuro della crittografia.