✳flâneur — a map of the web's best reading
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
Explore this link on the map →related reading
- 17 misconceptions about SNARKs - a16z cryptoa16zcrypto.com
- Arithmetization I. Stark Math part 2: execution trace and… | by StarkWare | StarkWare | Mediummedium.com
- PLONKish Arithmetization - The halo2 Bookzcash.github.io
- Pearl Whitepaperpearlresearch.ai
- Arithmetization II. “We Need To Go Deeper” | by StarkWare | StarkWare | Mediummedium.com
- Binius: highly efficient proofs over binary fieldsvitalik.eth.limo
- ProofsArgsAndZK.pdfpeople.cs.georgetown.edu
- ZK-Friendly Hash Functions | Zellic — Researchzellic.io
- Honey I SNARKED the GPT - EZKL Blogblog.ezkl.xyz
- Arithmetic Circuits for ZK | RareSkillsrareskills.io
- The Spartan zkSNARK framework - Alin Tomescualinush.github.io
- A High-Level Technical Overview of Fully Homomorphic Encryption || Math ∩ Programmingjeremykun.com