PopcornPaws
diff --git a/‎benches/Figures/proofSizes.pdf
-3.78 KB b/‎benches/Figures/proofSizes.pdf
-3.78 KB
diff --git a/‎benches/Figures/proverVerifierTimes.pdf
153 Bytes b/‎benches/Figures/proverVerifierTimes.pdf
153 Bytes
diff --git a/‎benches/ourPlots.ipynb
+41-12 b/‎benches/ourPlots.ipynb
+41-12