Cryptography researcher focusing on zero-knowledge proof systems and verifiable computation