From 0f4cad4db6fa689d0ab0928413e66c70b6005869 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?= Date: Wed, 4 Oct 2023 09:13:40 -0400 Subject: [PATCH] feat: add @Liam-Eagen ProtoGalaxy presentation at PSE --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index bfe930e..00a2b8d 100644 --- a/README.md +++ b/README.md @@ -126,6 +126,7 @@ Extensions to the Nova proof system that explore PCS in terms of linear codes, f - [Presentation](https://www.youtube.com/watch?v=tt00TLFJPpc) - [ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances](https://eprint.iacr.org/2023/1106) Building on ideas from ProtoStar, we construct a folding scheme where the recursive verifier's "marginal work", beyond linearly combining witness commitments, consists only of a logarithmic number of field operations and a constant number of hashes. Moreover, our folding scheme performs well when *folding multiple instances at one step*. + - [Presentation](https://www.youtube.com/watch?v=SpkTvRia1EA) ## Code (software repositories)