From 0643b13edb51d513544d262364003bec507aea56 Mon Sep 17 00:00:00 2001
From: Quang Dao <qvd@andrew.cmu.edu>
Date: Fri, 20 Dec 2024 21:54:57 -0700
Subject: [PATCH] Create `References.md`

---
 References.md | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 References.md

diff --git a/References.md b/References.md
new file mode 100644
index 0000000..2e3a05f
--- /dev/null
+++ b/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/)