proofbug, branch HEAD halo2 proof bug f763ed3078449208cf24a84799f9e0ca2710b532 2022-04-30T22:50:30Z 2022-04-30T22:50:30Z Isolation attempt parazyd parazyd@dyne.org commit f763ed3078449208cf24a84799f9e0ca2710b532 Author: parazyd <parazyd@dyne.org> Date: Sun, 1 May 2022 00:50:30 +0200 Isolation attempt