Eli Ben-Sasson
Olasılıksal olarak doğrulanabilir ispatları (PCP) karmaşıklık teorisinin arka odalarından blokzincirlere taşıyan Technion araştırmacısı; önce Zerocash, sonra StarkWare ile.
Yıllarca saf bir PCP kuramcısı olan Ben-Sasson, doğrulayıcı yalnızca rastgele seçilmiş birkaç bite baktığında bir ispatın ne kadar kısa olabileceğini inceledi. 2014'te, aralarında Alessandro Chiesa, Matthew Green ve Eran Tromer'in de bulunduğu ekiple Zerocash makalesini yazdı. Makale, zk-SNARK'lara dayanan Zcash ve gizli işlemlerinin temeli oldu.
SNARK'ların güvenilir kurulum (trusted setup) törenine ihtiyaç duymasından rahatsız olarak 2018'de yalnızca özet fonksiyonlarına dayanan, dolayısıyla kuantum dirençli de sayılan zk-STARK'ları ortaya attı. Aynı yıl, bunları Ethereum'u ölçeklemek için kullanmak üzere StarkWare'i kurdu. Akademisyenlerin şirket kurması olağandır; ama kurucusunun icat ettiği bir ispat sistemi üzerinde çalışan şirket daha enderdir.