Collin Zhang

Results 3 issues of Collin Zhang

**What will you do?** [CirC](https://github.com/circify/circ) is a compiler that compiles high level languages to (state-free, non-uniform, existentially quantified) circuits for SMT solver, zero-knowledge proof, multiparty computations, and more. In the...

proposal

Without commenting out this line, there seems to be a problem when I run `start_game.py`, and this is caused by setting `api_version` to 2. After commenting out this line, everything...