From 77128925343aec2877b97f0ca57ca4eb1f826578 Mon Sep 17 00:00:00 2001 From: arnaucube Date: Mon, 29 Jan 2024 12:14:27 +0100 Subject: [PATCH] readme: sketch sections: offchain & onchain decider, add todo for references --- README.md | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 52770c28..3308176f 100644 --- a/README.md +++ b/README.md @@ -41,7 +41,15 @@ Now we plug it into the library: // ``` -### Generating the final proof (decider), and verifying it in Ethereum +### Final proof (decider proof) +Two options: +- offchain mode +- onchain (Ethereum's EVM) mode + +#### Offchain Decider + +#### Onchain Decider +Generating the final proof (decider), and verifying it in Ethereum's EVM ### Swapping curves and proving schemes Additionally, let's suppose that for the final proof (decider), instead of using Groth16 over the BN254 curve, we want to use Marlin+IPA over the Pasta curves, so we can enjoy of not needing a trusted setup. @@ -62,3 +70,9 @@ In each of the implementations of the folding dir, there are mainly 3 blocks plu ## License https://github.com/privacy-scaling-explorations/folding-schemes/blob/main/LICENSE + +[TODO: add references to +- Espresso code +- arkworks +- KZG & Groth16 original adapted code +]