Eli Ben-Sasson
Forscher am Technion, der probabilistisch überprüfbare Beweise aus den Hinterzimmern der Komplexitätstheorie in die Blockchains trug, zuerst mit Zerocash, dann mit StarkWare.
Jahrelang war Ben-Sasson reiner PCP-Theoretiker und erforschte, wie kurz ein Beweis werden kann, wenn der Prüfer nur wenige zufällig gewählte Bits ansieht. 2014 verfasste er gemeinsam mit unter anderem Alessandro Chiesa, Matthew Green und Eran Tromer das Zerocash-Paper. Es wurde zur Grundlage von Zcash und dessen abgeschirmten Transaktionen auf Basis von zk-SNARKs.
Unzufrieden damit, dass SNARKs eine Trusted-Setup-Zeremonie brauchen, stellte er 2018 zk-STARKs vor, die nur auf Hashfunktionen beruhen und daher auch als quantenresistent gelten. Im selben Jahr gründete er StarkWare mit, um sie zur Skalierung von Ethereum einzusetzen. Dass Wissenschaftler Firmen gründen, ist üblich; dass eine Firma auf einem Beweissystem läuft, das ihr Gründer selbst erfunden hat, schon seltener.