From 348bce45b9bf5d1f52903150695d99f4cfdec909 Mon Sep 17 00:00:00 2001
From: Colin Roberts <colin@autoparallel.xyz>
Date: Tue, 11 Mar 2025 17:00:43 -0600
Subject: [PATCH 1/3] Update README.md

---
 README.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 79056d1..8c47505 100644
--- a/README.md
+++ b/README.md
@@ -16,9 +16,9 @@
 
 ## Features
 - Supernova NIVC folding scheme implementation
-- Support for both Noir and Circom circuit frameworks
-- Client-side proving capabilities through native ARM & WebAssembly
-- Recursive proof generation and verification
+- Support for Noir circuit DSL
+- Client-side proving capabilities through native x86, aarch64, and WASM
+- End-to-end proof setup, running, and verification
 
 ## Project Structure
 The repository contains several key components:
@@ -103,4 +103,4 @@ This project is licensed under the Apache V2 License - see the [LICENSE](LICENSE
 
 ## Acknowledgements
 > [!NOTE]
-> This repository is a fork of the original hosted at [https://github.com/microsoft/nova](https://github.com/microsoft/nova) and also forked from [https://github.com/argumentcomputer/arecibo](https://github.com/argumentcomputer/arecibo).
\ No newline at end of file
+> This repository is a fork of the original hosted at [https://github.com/microsoft/nova](https://github.com/microsoft/nova) and also forked from [https://github.com/argumentcomputer/arecibo](https://github.com/argumentcomputer/arecibo).

From abfca19a5411307ca493c77c028d8537a103742d Mon Sep 17 00:00:00 2001
From: Colin Roberts <colin@autoparallel.xyz>
Date: Tue, 11 Mar 2025 17:30:14 -0600
Subject: [PATCH 2/3] Update README.md

---
 README.md | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 8c47505..0a5e89f 100644
--- a/README.md
+++ b/README.md
@@ -25,6 +25,7 @@ The repository contains several key components:
 - `edge-prover`: Backend implementation of Supernova NIVC folding scheme
 - `edge-frontend`: Frontend adapters for Noir to use `edge-prover`
 - `demo`: A demo application for the `edge-frontend` and `edge-prover`
+- `nivc`: A Noir package to use with the NIVC folding scheme
 
 ### Prerequisites
 Before running the demo, ensure you have:
@@ -83,9 +84,20 @@ ERROR demo: ❌ Proof verification failed: NovaError
 Error: NovaError(ProofVerifyError)
 ```
 
-
 ## Usage
-This repository and its crates are **not** production ready. Do not use them in production. No audits have been done and none are planned.
+You can use the `edge-frontend` crate to use the NIVC folding scheme for your own Noir programs. In your `Cargo.toml`, add the following:
+```
+[dependencies]
+edge-frontend = { git = "https://github.com/pluto/edge", branch = "main" }
+```
+and then add the following to your `Nargo.toml`:
+```
+[dependencies]
+nivc = { tag = "v0.1.0", git = "https://github.com/pluto/edge" }
+```
+
+> [!WARNING]
+> This repository and its crates are **not** production ready. Do not use them in production. No audits have been done and none are planned.
  
 With that said, work has been done to make the implementation here work with an offline setup phase. Therefore, this can be used run proofs on an edge device which can later be verified by a remote server.
 

From 67df0db1e729d9eddb2e743b28796438e2eb74e0 Mon Sep 17 00:00:00 2001
From: Colin Roberts <colin@autoparallel.xyz>
Date: Tue, 11 Mar 2025 17:31:44 -0600
Subject: [PATCH 3/3] Update README.md

---
 README.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.md b/README.md
index 0a5e89f..e433a5a 100644
--- a/README.md
+++ b/README.md
@@ -95,6 +95,7 @@ and then add the following to your `Nargo.toml`:
 [dependencies]
 nivc = { tag = "v0.1.0", git = "https://github.com/pluto/edge" }
 ```
+The `edge-frontend` assumes that the structure provided by the `nivc` crate is used. Please see the `demo` crate for an example of how to use the `edge-frontend` with the `nivc` crate and the `examples` directory for examples of Noir programs that use the `nivc` crate inside of other tests (see `frontend/tests/nivc/`).
 
 > [!WARNING]
 > This repository and its crates are **not** production ready. Do not use them in production. No audits have been done and none are planned.