Criptografía
Trabajamos con la criptografía que usan las blockchains y las aplicaciones construidas sobre ellas: esquemas de firma como ECDSA, EdDSA y BLS, firmas agregadas y de umbral, y pruebas de conocimiento cero. Nos interesa tanto la teoría como la implementación, porque muchos fallos reales aparecen al programar de forma insegura una primitiva que en teoría es correcta. Una parte del trabajo mira hacia adelante: qué piezas del ecosistema dependen de supuestos que la computación cuántica pondría en riesgo y cómo migrarlas.