Lucas Xia
Lucas Xia researches zero-knowledge proofs at NYU. With collaborators, he has developed techniques for proving integer computations efficiently, reducing the overhead of arithmetic that does not fit a proof system's native field.
Lucas Xia researches zero-knowledge proofs at NYU. With collaborators, he has developed techniques for proving integer computations efficiently, reducing the overhead of arithmetic that does not fit a proof system's native field.