A Technion CS professor and founding scientist of Zcash who co-invented STARK zero-knowledge proofs, he co-founded StarkWare in 2018 to commercialize that cryptography for blockchain scalability.