From AIRs to RAPs - how PLONK-style arithmetization works - HackMD
hackmd.io · 2,212 words · saved by 1 readers
# From AIRs to RAPs - how PLONK-style arithmetization works We explain in this post how to think
From AIRs to RAPs - how PLONK-style arithmetization works - HackMD --- tags: Ariel - blog posts --- # From AIRs to RAPs - how PLONK-style arithmetization works We explain in this post how to think about and leverage the type of arithmetization used in PLONK. In its most general form, we refer to such an arithmetization as a *Randomized Air with Preprocessing*, RAP for short. However, in practice it will usually be convenient to work with restricted cases of RAPs, that we call turbo-Plonk and ultra-Plonk programs. We will explain all these terms! Our starting point is Algebraic Intermediate Rep
related reading
- Arithmetization I. Stark Math part 2: execution trace and… | by StarkWare | StarkWare | Mediummedium.com
- Arithmetization II. “We Need To Go Deeper” | by StarkWare | StarkWare | Mediummedium.com
- Binius: highly efficient proofs over binary fieldsvitalik.eth.limo
- eSTARK: Extending STARKs with Argumentseprint.iacr.org
- Thinking like Transformersrush.github.io
- 552.pdfeprint.iacr.org
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- The Spartan zkSNARK framework - Alin Tomescualinush.github.io
- PLONKish Arithmetization - The halo2 Bookzcash.github.io
- ZK-Friendly Hash Functions | Zellic — Researchzellic.io
- P lonK: Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge[0.72cm]eprint.iacr.org
- QAPzeroknowledgeblog.com