ZK Protocol Researcher
Diseñas e implementas sistemas de pruebas de conocimiento cero, que permiten demostrar que un cálculo es correcto sin revelar los datos con los que se hizo. Se usan para escalar blockchains mediante rollups y para dar privacidad a transacciones e identidades. El trabajo va de la teoría, con nuevos esquemas de prueba y su análisis de seguridad, a la práctica, con circuitos en lenguajes como Circom o Noir y la optimización de su coste de verificación. Exige una base sólida de matemáticas y criptografía.