Em 2001, no Technion – Instituto de Tecnologia de Israel, Eli Ben-Sasson @EliBenSasson estava a lidar com uma questão fundamental:

Como podemos alcançar provas de conhecimento zero em larga escala sem depender de qualquer configuração confiável?

Para responder a isso, ele inventou zk-STARKs (Scalable Transparent Arguments of Knowledge) — um sistema que não requer configuração confiável, oferece maior eficiência e fornece maior segurança.

Ele lançou as bases para a computação de confiança descentralizada.