In the previous article, we discussed using halo2 for circuit development. This article will illustrate what we need to pay attention to when developing circuits. When writing this article, we referred to the halo2 code, version f9b3ff2aef09a5a3cb5489d0e7e747e9523d2e6e. Before we begin, let’s review the most critical content, namely the circuit definition.

The halo2 circuit development consists of two critical functions: configure and synthesize. The former establishes the gate and defines the constraints, whereas the latter assigns witness and public data to the constraints.In this article, we’ll take a closer look at what happens in detail during circuit development.

Details of this article can be found in Sin7Y’s HackMD channel.

About Sin7Y

Sin7Y is a research community dedicated to delivering insightful research reports and technical reviews of the crypto industry. Powered by top-notch blockchain developers, Sin7Y analyzes the most cutting-edge technologies, including EVM, Layer2, cross-chain, privacy computing, and autonomous payment solutions, etc.

Follow Us

Twitter: https://twitter.com/Sin7Y_Labs

Medium: http://medium.com/@sin7y