Harjasleen Malvai
Harjasleen Malvai researched the performance tradeoffs among arithmetic representations used in zero-knowledge proof systems. This work compared approaches such as AIR, R1CS and PLONK to help developers choose a representation for their applications.