Eli Ben-Sasson
Pesquisador do Technion que tirou as provas probabilisticamente verificáveis dos fundos da teoria da complexidade e as levou para o blockchain, primeiro com o Zerocash e depois com a StarkWare.
Durante anos, Ben-Sasson foi um teórico puro de PCPs, estudando quão curta pode ser uma prova se o verificador examina apenas alguns bits escolhidos ao acaso. Em 2014, coassinou o artigo do Zerocash com, entre outros, Alessandro Chiesa, Matthew Green e Eran Tromer. Ele virou a base do Zcash e de suas transações blindadas, construídas sobre zk-SNARKs.
Incomodado com o fato de os SNARKs exigirem uma cerimônia de trusted setup, apresentou os zk-STARKs em 2018, que dependem apenas de funções de hash e por isso também são considerados resistentes a computadores quânticos. No mesmo ano, cofundou a StarkWare para usá-los na escalabilidade do Ethereum. Acadêmico abrir empresa é comum; empresa que roda sobre um sistema de provas inventado pelo próprio fundador, nem tanto.