Eli Ben-Sasson
Onderzoeker aan het Technion die probabilistisch controleerbare bewijzen uit de achterkamers van de complexiteitstheorie naar blockchains bracht, eerst via Zerocash en daarna via StarkWare.
Jarenlang was Ben-Sasson een zuivere PCP-theoreticus, die onderzocht hoe kort een bewijs kan zijn als de verificateur maar een paar willekeurig gekozen bits inspecteert. In 2014 schreef hij mee aan het Zerocash-artikel, onder anderen met Alessandro Chiesa, Matthew Green en Eran Tromer. Dat werd de basis van Zcash en de afgeschermde transacties op basis van zk-SNARKs.
Omdat SNARKs een trusted-setupceremonie nodig hebben, introduceerde hij in 2018 zk-STARKs, die alleen op hashfuncties steunen en daarom ook als quantumbestendig gelden. Hetzelfde jaar richtte hij StarkWare mee op om ze in te zetten voor het schalen van Ethereum. Academici die een bedrijf beginnen komt vaker voor; een bedrijf dat draait op een bewijssysteem van de eigen oprichter is zeldzamer.