Eli Ben-Sasson
Investigador del Technion que sacó las pruebas verificables probabilísticamente de la trastienda de la complejidad computacional y las llevó a las cadenas de bloques, primero con Zerocash y luego con StarkWare.
Durante años Ben-Sasson fue un teórico puro de los PCP: estudiaba lo corta que puede ser una prueba si el verificador solo mira unos pocos bits elegidos al azar. En 2014 firmó el artículo de Zerocash con, entre otros, Alessandro Chiesa, Matthew Green y Eran Tromer. Fue la base de Zcash y sus transacciones blindadas mediante zk-SNARK.
Insatisfecho con que los SNARK exigieran una ceremonia de configuración de confianza, presentó en 2018 los zk-STARK, que solo dependen de funciones hash y por eso se consideran además resistentes a la computación cuántica. Ese mismo año cofundó StarkWare para usarlos en el escalado de Ethereum. Que un académico funde una empresa es habitual; que la empresa viva de un sistema de pruebas inventado por él, bastante menos.