From 3b9ef76ac91586592aa1a56c5a06bffc93776283 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?= Date: Tue, 16 Jul 2024 15:34:01 -0400 Subject: [PATCH] feat: Binyi's talk at zkStudyClub --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 31167b0..192aa8b 100644 --- a/README.md +++ b/README.md @@ -141,6 +141,7 @@ Extensions to the Nova proof system that explore PCS in terms of linear codes, f - [LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems](https://eprint.iacr.org/2024/257) The first lattice-based folding scheme that leads to post-quantum secure IVC/PCD/SNARKs. Surprisingly, we estimate the performance to be competitive with top pre-quantum folding schemes. - [Presentation](https://www.youtube.com/watch?v=DVHfukc35xk) + - [zkStudyClub presentation](https://www.youtube.com/watch?v=-k8s7vVUx6s) - [Proofs for Deep Thought: Accumulation for large memories and deterministic computations](https://eprint.iacr.org/2024/325) We break through the "witness barrier" and go beyond the "lookup singularity". We show how to do reads AND writes to memory by committing to just 4 small elements. We also show how to avoid committing to intermediate witnesses. - [Mangrove: A Scalable Framework for Folding-based SNARKs](https://eprint.iacr.org/2024/416)