Prepare Halo2 circuit implementation MVP #2796
Description
Why
We need to prepare the Halo2 circuit which has been prototyped to be ready for production. In this issue, we want to list of all the subjects that need further investigation and refinements.
What
List and address all question related to having the Halo2 circuit in production
How
- Investigate Midnight-zk overhead #2768
- Prepare specifications for the Mithril circuit #2797
- Support test mode for the Halo2 circuit #2798
- Assess constraints on Halo2 circuit verification #2799
- Trusted setup for Mithril Halo2 SNARKs #2800
- Detect an under constrained Halo2 circuit #2801
- Midnight ZK library audit status #2802
- Impact of SNARK on Mithril protocol security #2803