diff --git a/README.md b/README.md index f9921860..06ffdf0c 100644 --- a/README.md +++ b/README.md @@ -4,15 +4,16 @@ > **Warning**: experimental code, do not use in production. ## Schemes implemented -- [Nova](https://eprint.iacr.org/2021/370.pdf): Recursive Zero-Knowledge Arguments from Folding Schemes + [CycleFold](https://eprint.iacr.org/2023/1192.pdf): Folding-scheme-based recursive arguments over a cycle of elliptic curves +- [Nova: Recursive Zero-Knowledge Arguments from Folding Schemes](https://eprint.iacr.org/2021/370.pdf), Abhiram Kothapalli, Srinath Setty, Ioanna Tzialla. 2021 +- [CycleFold: Folding-scheme-based recursive arguments over a cycle of elliptic curves](https://eprint.iacr.org/2023/1192.pdf), Abhiram Kothapalli, Srinath Setty. 2023 WIP: -- [HyperNova](https://eprint.iacr.org/2023/573.pdf): Recursive arguments for customizable constraint systems -- [ProtoGalaxy](https://eprint.iacr.org/2023/1106.pdf): Efficient ProtoStar-style folding of multiple instances +- [HyperNova: Recursive arguments for customizable constraint systems](https://eprint.iacr.org/2023/573.pdf), Abhiram Kothapalli, Srinath Setty. 2023 +- [ProtoGalaxy: Efficient ProtoStar-style folding of multiple instances](https://eprint.iacr.org/2023/1106.pdf), Liam Eagen, Ariel Gabizon. 2023 ### Frontends available -- [arkworks](https://github.com/arkworks-rs) -- [Circom](https://github.com/iden3/circom) +- [arkworks](https://github.com/arkworks-rs), arkworks contributors +- [Circom](https://github.com/iden3/circom), iden3, 0Kims Association ## Usage @@ -42,6 +43,17 @@ Additionally, let's suppose that for the final proof (decider), instead of using It just requires few line changes on our previous code [...] +## Development +Structure of the code: + +[...] + +In each of the implementations of the folding dir, there are mainly 3 blocks plus 'other': +- circuits +- folding/nifs/nimfs +- ivc/lib +- other + ## License https://github.com/privacy-scaling-explorations/folding-schemes/blob/main/LICENSE