Jakub Nabaglo
Jakub Nabaglo has worked with Polygon Zero on zero-knowledge proof systems. That team developed Plonky2, a recursive proof system whose optimizations include arithmetic over the Goldilocks field and a fast implementation of the Poseidon hash function.