イーライ・ベン＝サッソン（Eli Ben-Sasson）
確率的検証可能証明（PCP）を計算複雑性理論の奥からブロックチェーンへ運び出した、テクニオンの研究者。最初はZerocash、次はStarkWareを通じて。
長年のベン＝サッソンは純粋なPCP理論家で、検証者がランダムに選んだ数ビットしか調べない場合に証明をどこまで短くできるかを研究していた。2014年にはアレッサンドロ・キエーザ、マシュー・グリーン、エラン・トロメルらとZerocashの論文を共著し、これがZcashとそのシールド取引の土台になった。
zk-SNARKに信頼できるセットアップの儀式が必要なことに不満を持った彼は、2018年にハッシュ関数だけに依拠するzk-STARKを発表した。このため量子耐性があるとも見なされる。同年、これをEthereumのスケーリングに使うためStarkWareを共同創業した。研究者が起業するのはよくあるが、自分が発明した証明方式の上で会社が動いている例は珍しい。