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
Explore this link on the map →related reading
- Chips - The halo2 Bookzcash.github.io
- Chloe's Gardenchloeyan.me
- Honey I SNARKED the GPT - EZKL Blogblog.ezkl.xyz
- Halo2 Circuit Development: Sin7Y Tech Review (20) | HackerNoonhackernoon.com
- GitHub - privacy-ethereum/chiquito: DSL for Halo2 circuits · GitHubgithub.com
- PLONKish Arithmetization - The halo2 Bookzcash.github.io
- A Gentle Introduction to Yao's Garbled Circuitsweb.mit.edu
- tscircuit - Code Electronics with Reacttscircuit.com
- Overview of the Halo2 Challenge API and Random Linear Combinations (RLC) - HackMDhackmd.io
- Puzzles | Paradigmparadigm.xyz
- AI For Hardware Design with Copilot - Flux - Documentationdocs.flux.ai
- GitHub - ByteByteGoHq/system-design-101: Explain complex systems using visuals and simple terms. Help you prepare for system design interviews. · GitHubgithub.com