New content (#6)

* new nova paper * new podcast * podcast name formatting * Update README.md Co-authored-by: François Garillot <[email protected]> * Update README.md Co-authored-by: François Garillot <[email protected]> --------- Co-authored-by: François Garillot <[email protected]>
argumentcomputer · Jun 22, 2023 · d4231cd · d4231cd
1 parent c2a9a9e
commit d4231cd
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -56,6 +56,12 @@ The final SNARK used in Nova (only using MSMs)
 - [Scalable Zero Knowledge via Cycles of Elliptic Curves](http://eprint.iacr.org/2014/595)
     - This paper introduces the notion of pairing-friendly cycles of curves, and shows how to use these to construct the first concretely efficient IVC/PCD scheme.
 
+- [Revisiting the Nova Proof System on a Cycle of Curves](https://eprint.iacr.org/2023/969)
+  - This paper analyzes the security of the Nova proving system when implemented on a cycle of curves.
+  The paper exploits a soundness bug in the original implementation (since patched) and produces a
+  convincing proof of $$2^75$$ rounds of the Minroot VDF in 1.46 seconds. A new optimized and secure
+  system is introduced together with a formal security proof.
+
 #### Halo
 
 The prototype of the delayed proving approach which Nova puts on steroids.
@@ -132,7 +138,8 @@ Code implementations and explorations related to the Nova proof system, includin
 ### Podcast episodes
 
 - *Podcast*: [ZK-Podcast Episode 277: Nova and beyond with Srinath Setty](https://www.youtube.com/watch?v=hRza_k8i16s)
-- *Podcast*: [ZK-Podcast Episode 280: Episode 280: ProtoStar with Benedikt Buenz and Binyi Chen](https://zeroknowledge.fm/280-2/)
+- *Podcast*: [ZK-Podcast Episode 280: ProtoStar with Benedikt Bünz and Binyi Chen](https://zeroknowledge.fm/280-2/)
+- *Podcast*: [Zk-Podcast Episode 281: Exploring Lurk: a new Language for Recursive zk-SNARKs with Chhi'mèd Künzang and François Garillot](https://zeroknowledge.fm/281-2/)
 
 ### Talks & Lectures