From 2784c045bfcc84aad1acc89ce8b06e0a2fb2310b Mon Sep 17 00:00:00 2001 From: arnaucube Date: Mon, 16 Sep 2024 14:17:42 +0200 Subject: [PATCH] update examples_projects.md --- src/examples_projects.md | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/examples_projects.md b/src/examples_projects.md index d5ccd41..8028254 100644 --- a/src/examples_projects.md +++ b/src/examples_projects.md @@ -4,4 +4,9 @@ - [sonobe-btc](https://github.com/dmpierre/sonobe-btc): implementation of an on-chain Bitcoin light client leveraging Sonobe: uses nova to verify bitcoin's proof of work over 100k blocks and groth16 to land the zkSNARK IVC proof on chain. - [hash-chain-sonobe](https://github.com/arnaucube/hash-chain-sonobe): example using Sonobe & Circom circuits, proving chains of Sha256 and Keccak256 hashes. -- [Mova: Nova folding without committing to error terms](https://eprint.iacr.org/2024/1220): a folding scheme for R1CS instances that does not require committing to error or cross terms. Uses sonobe for example benchmarks, see their repo [here](https://github.com/NethermindEth/sonobe/tree/paper). + + +## Papers + +- [Mova: Nova folding without committing to error terms](https://eprint.iacr.org/2024/1220): a folding scheme for R1CS instances that does not require committing to error or cross terms. It is implemented on top of Sonobe code base, and used for benchmarks, see their repo [here](https://github.com/NethermindEth/sonobe/tree/paper). +- [Eva: Efficient IVC-Based Authentication of Lossy-Encoded Videos](https://eprint.iacr.org/2024/1436): cryptographic protocol for authenticating lossy-encoded videos. Is implemented on top of Sonobe code base.