ArkLib's development is informed by the, amongst others, the following standard references:
- 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
TODO: give a comparison of ArkLib's notion of