add authors & years to schemes, add a pre-sketch of the 'development'…

… section

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