From 9609ece37af4a8345e6afd06436a4fba1c693826 Mon Sep 17 00:00:00 2001
From: Daniel Tehrani <contact@dantehrani.com>
Date: Mon, 31 Jul 2023 14:17:10 -0700
Subject: [PATCH] chore: add bench results

---
 README.md | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 557ad03..632d029 100644
--- a/README.md
+++ b/README.md
@@ -25,7 +25,13 @@ We use the zero-knowledge sum-check protocol from [Libra](https://eprint.iacr.or
 
 ## Benchmarks
 
-TBD
+| R1CS constraints | Proof gen | Proving key gen |
+| --- | --- | --- |
+| 2^12 | 60ms | 83ms |
+| 2^15 | 477ms | 85ms |
+| 2^18 | 4s | 169ms |
+
+_Measured on a M1 MacBook Pro_
 
 ## Future work
 - [ ]  Employ *self-recursion* techniques from [Vortex](https://eprint.iacr.org/2022/1633.pdf)/[Orion](https://eprint.iacr.org/2022/1010.pdf) to make the proofs smaller.
@@ -35,3 +41,8 @@ TBD
 ```bash
 cargo test
 ```
+
+## Run benchmarks
+```bash
+cargo bench
+```