From 8559f639ece9d80b911be36d68e831a1fe226264 Mon Sep 17 00:00:00 2001
From: Martin Allen <31280145+martyall@users.noreply.github.com>
Date: Sun, 2 Jun 2024 09:45:02 -0700
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 1bd206f..a492bdb 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,7 @@
 
 The hello world app of ZK: prove you know a factorization without revealing the factors. 
 
-This repo serves as a guide to show how to plug a ZK Haskell program into existing proving software. In this case we want to build a browser based proving application with an Ethereum smart contract verifier, and we will make use of the [snarkjs](https://github.com/iden3/snarkjs) proving library. There are similar integrations for [arkworks](https://github.com/arkworks-rs) and more to come.
+This repo serves as a guide to show how to plug a ZK Haskell program into existing proving software. In this case we want to build a browser based proving application with an Ethereum smart contract verifier, and we will make use of the [snarkjs](https://github.com/iden3/snarkjs) proving library. There are similar integrations for [arkworks](https://github.com/arkworks-rs), the [nova](https://github.com/microsoft/Nova) folding scheme and more to come.
 
 ## Setup