Dan CarmonDan Carmon has worked with StarkWare.1 talk by Dan CarmonZK12: Simulating Modular Arithmetic(s) - Dan Carmon