Paul Gafni
Paul Gafni works on zero-knowledge proof systems and has contributed technical insights to research on zkVMs through his work with RISC Zero. His public technical work covers FRI-based recursion and the use of Groth16 wrappers to connect different proof systems.