This file contains paper references that inform the development of ZKLib.
TODO: give a comparison of ZKLib's notion of
Some sources:
- Original IOP paper [BCS16]
- Papers that introduce formalism for Polynomial IOPs (Plonk, Marlin, Dark, Lunar, etc.)
- Linear-Size Constant-Query IOPs for Delegating Computation (introduces IOR)
- Reductions of Knowledge (introduces interactive reductions of knowledge)
- Arc paper (re-introduces IOR)
- WHIR paper (introduces
$$\mathcal{F}$$ -IOP; though the notion has appeared in prior talks & conversations with Dan Boneh) - Chiesa-Yogev textbook Building Cryptographic Proofs from Hash Functions