From 79f09fc23c4e7b744309d8eba2f3c1327409716c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?= Date: Mon, 5 Feb 2024 08:55:23 -0500 Subject: [PATCH] feat: Add Zator, Reef --- README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/README.md b/README.md index 2d9ee21..0d75e86 100644 --- a/README.md +++ b/README.md @@ -217,3 +217,7 @@ Code implementations and explorations related to the Nova proof system, includin - [Nova-SHA256](https://github.com/avras/nova-sha256) - This repository provides a SHA-256 implementation utilizing Nova to repeatedly apply the SHA-256 compression function at each step. - The implementation utilizes SHA-256 from the [bellperson](https://github.com/filecoin-project/bellperson) library +- [Zator: Verified inference of a 512-layer neural network using recursive SNARKs](https://github.com/lyronctk/zator) +- [Reef: Fast Succinct Non-Interactive Zero-Knowledge Regex Proofs](https://eprint.iacr.org/2023/1886) + - A system for generating zero-knowledge proofs that a committed document matches or does not match a regular expression. + - [Github repo](https://github.com/eniac/Reef)