Gadgets - The halo2 Book
When implementing a circuit, we could use the features of the chips we've selected directly. Typically, though, we will use them via gadgets. This indirection is useful because, for reasons of efficiency and limitations imposed by PLONKish circuits, the chip interfaces will often be dependent on low-level implementation details. The gadget interface can provide a more convenient and stable API that abstracts away from extraneous detail. For example, consider a hash function such as SHA-256. The interface of a chip supporting SHA-256 might be dependent on internals of the hash function design such as the separation between message schedule and compression function. The corresponding gadget interface can provide a more convenient and familiar update/finalize API, and can also handle parts of the hash function that do not need chip support, such as padding. This is similar to how accelerated instructions for cryptographic primitives on CPUs are typically accessed via software libraries, r
Gadgets - The halo2 Book Keyboard shortcuts Press ← or → to navigate between chapters Press S or / to search in the book Press ? to show this help Press Esc to hide this help Auto Light Rust Coal Navy Ayu The halo2 Book Gadgets When implementing a circuit, we could use the features of the chips we’ve selected directly. Typically, though, we will use them via gadgets . This indirection is useful because, for reasons of efficiency and limitations imposed by PLONKish circuits, the chip interfaces will often be dependent on low-level implementation details. The gadget interface can provide a more
related reading
- Chips - The halo2 Bookzcash.github.io
- Meta harness makes 10 times better Kimi K3 chipluoluo.ai
- ZK-Friendly Hash Functions | Zellic — Researchzellic.io
- Halo2 Circuit Development: Sin7Y Tech Review (20) | HackerNoonhackernoon.com
- PLONKish Arithmetization - The halo2 Bookzcash.github.io
- Please Build More Silly Things - by Varun Shenoyvarunshenoy.substack.com
- Chip design from the bottom up – Reiner Popeyoutube.com
- A very concrete explanation of how a cache worksparksb.github.io
- A Gentle Introduction to Yao's Garbled Circuitsweb.mit.edu
- Explaining Halo 2 - Electric Coin Companyelectriccoin.co
- Overview of the Halo2 Challenge API and Random Linear Combinations (RLC) - HackMDhackmd.io
- Honey I SNARKED the GPT - EZKL Blogblog.ezkl.xyz