Tag: verificación formal

El CCSD participó de los workshops de la Ethereum Foundation en Cambridge

Integrantes del Centro participaron de una semana de trabajo sobre criptografía post-cuántica, verificación formal, fast finality y funciones de hash.