Too Long; Didn't Read
Halo 2 is the upgraded version of Halo, which is developed by ECC using PLONK technology. It makes full use of the features of PLONk, such as custom gate, PLONKEup, etc., making it more efficient and convenient to develop zero-knowledge proof circuits with Halo 2. In this article, we will take a simple example to introduce how to develop Halo 2 circuits. We need to use halo 2::dev::MockProver to debug the circuit development process.