add @adr1anh's Protostar

lurk-lab · Nov 21, 2023 · 1b71ab4 · 1b71ab4
1 parent ced0773
commit 1b71ab4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -158,6 +158,7 @@ Code implementations and explorations related to the Nova proof system, includin
 - [Nova-based ZKVM spec](https://hackmd.io/@CPerezz/ByTmhi6yn)
 - [Origami-benchmarks](https://hackmd.io/vn7hWnjCQXCEpQvPDflL8g)
 - [Notes on ProtoGalaxy](https://arnaucube.com/blog/protogalaxy.html)
+- [Halo2 + Protostar](https://github.com/geometryresearch/protostar)
 
 ## Other resources (podcasts, etc)