Create References.md

References.md

@@ -0,0 +1,14 @@
+# References
+
+This file contains paper references that inform the development of ZKLib.
+
+**TODO:** give a comparison of ZKLib's notion of $$\mathcal{F}$$-IOR with existing definitions in the literature
+
+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](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/)