En 2001, en el Technion – Instituto de Tecnología de Israel, Eli Ben-Sasson @EliBenSasson se enfrentaba a una pregunta fundamental:
¿Cómo podemos lograr pruebas de conocimiento cero a gran escala sin depender de ninguna configuración de confianza?
Para responderla, inventó zk-STARKs (Scalable Transparent Arguments of Knowledge) — un sistema que no requiere ninguna configuración de confianza, ofrece mayor eficiencia y proporciona una seguridad más sólida.
Sentó las bases para la computación de confianza descentralizada.