# References

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](https://eprint.iacr.org/2019/1230.pdf) (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](https://snargsbook.org/)

**TODO:** give a comparison of ArkLib's notion of $$\mathcal{F}$$-IOR with existing definitions in the literature