Halo2 Circuit Development: Sin7Y Tech Review (20) | HackerNoon
In the previous article, we discussed how to use halo2 for circuit development. In this article, we 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. As usual, when developing circuits, we need to implement this trait: As a result of the preceding 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. Let’s take a closer look at what happens in detail during circuit development in this article. As a starting point, let’s use the official simple-example. According to the declaration of the configure function, when defining a circuit, the ConstraintSystem will be modified and it will return to
728 reads Halo2 Circuit Development: Sin7Y Tech Review (20) by Sin7Y by Sin7Y | @ sin7y Sin7Y is a tech team that explores layer 2, cross-chain, ZK, and privacy computing. #WHAT IS HAPPENING IN BLOCKCHAIN# Subscribe March 7th, 2022 TLDR Your browser does not support the audio element. Speed 1x Voice Dr. One Ms. Hacker Madam Beckham Ali Mohat by Sin7Y @ sin7y by Sin7Y | @ sin7y Sin7Y is a tech team that explores layer 2, cross-chain, ZK, and privacy computing. #WHAT IS HAPPENING IN BLOCKCHAIN# Subscribe by Sin7Y | @ sin7y Sin7Y is a tech team that explores layer 2, cross-chain, ZK, and privacy
related reading
- Overview of the Halo2 Challenge API and Random Linear Combinations (RLC) - HackMDhackmd.io
- Circuit Tracing: Revealing Computational Graphs in Language Modelstransformer-circuits.pub
- Chips - The halo2 Bookzcash.github.io
- Honey I SNARKED the GPT - EZKL Blogblog.ezkl.xyz
- Meta harness makes 10 times better Kimi K3 chipluoluo.ai
- PLONKish Arithmetization - The halo2 Bookzcash.github.io
- Explaining Halo 2 - Electric Coin Companyelectriccoin.co
- A Guide to Claude Code 2.0 and getting better at using coding agents – sankalp's blogsankalp.bearblog.dev
- A half-hour to learn Rustfasterthanli.me
- Harness design for long-running application developmentanthropic.com
- A primer on digital circuit synthesisyosyshq.readthedocs.io
- Google's Fully Homomorphic Encryption Compiler — A Primer || Math ∩ Programmingjeremykun.com