programming in zero-knowledge (A New HOPE)
https://docs.google.com/presentation/d/12snTuht-TUvQjLKLpLOibCEsd2OR5CEkv67yWJxufJA/edit#slide=id.g13eb41c8ca9_0_557
https://github.com/therealyingtong/halo2-hope