Overview of the Halo2 Challenge API and Random Linear Combinations (RLC) - HackMD

We introduce the concept of the Challenge API in vanilla (PSE) Halo2 and then discuss an important application of this API to a technique around random linear combinations (RLC). This is a new feature only introduced in the Privacy Scaling Exploration’s fork of Halo2.

Overview of the Halo2 Challenge API and Random Linear Combinations (RLC) - HackMD # Overview of the Halo2 Challenge API and Random Linear Combinations (RLC) ###### tags: `explainers` We introduce the concept of the **Challenge API** in vanilla (PSE) Halo2 and then discuss an important application of this API to a technique around **random linear combinations (RLC)**. This is a new feature only introduced in the Privacy Scaling Exploration's fork of Halo2. ## Recap of "basic" Halo2 We start by reviewing the basic idea around Halo2 with PLONKish arithmetization. The Prover supplies a bun

related reading

• Explaining Halo 2 - Electric Coin Companyelectriccoin.co
• Technical explainer: Halo on Zcash - Electric Coin Companyelectriccoin.co
• ZK-Friendly Hash Functions | Zellic — Researchzellic.io
• Honey I SNARKED the GPT - EZKL Blogblog.ezkl.xyz
• Halo2 Circuit Development: Sin7Y Tech Review (20) | HackerNoonhackernoon.com
• 370.pdfeprint.iacr.org
• ZKML Research Initiatives - HackMDhackmd.io
• Lookup argument - The halo2 Bookzcash.github.io
• 0xPARC0xparc.org
• Halo and more: exploring incremental verification and SNARKs without pairingsvitalik.eth.limo
• The Spartan zkSNARK framework - Alin Tomescualinush.github.io
• ProofsArgsAndZK.pdfpeople.cs.georgetown.edu