Update README.md

README.md

@@ -15,6 +15,55 @@ Zero-Knowledge and Validity Proofs have gained a lot of attention over the last
 
 So, we decided to build our library, focusing on performance, with clear documentation and developer-focused. Our core team is a group of passionate people from different backgrounds and different strengths; we think that the whole is greater than just the addition of the parts. We don't want to be a compilation of every research result in the ZK space. We want this to be a library that can be used in production, not just in academic research. We want to offer developers the main building blocks and proof systems so that they can build their applications on top of this library.
 
+## Provers and Polynomial Commitment Schemes using LambdaWorks
+- [Cairo STARK LambdaWorks prover](https://github.com/lambdaclass/lambdaworks_cairo_prover/tree/main)
+- [Plonk LambdaWorks prover](https://github.com/lambdaclass/lambdaworks_plonk_prover)
+- [CairoVM Trace Generation using LambdaWorks](https://github.com/lambdaclass/cairo-rs/pull/1184)
+- [ABI compatible KZG commitment scheme - EIP-4844](https://github.com/lambdaclass/lambdaworks_kzg)
+
+## Main crates
+
+- [Finite Field Algebra](https://github.com/lambdaclass/lambdaworks/tree/main/math/src/field)
+- [Polynomial operations](https://github.com/lambdaclass/lambdaworks/blob/main/math/src/polynomial.rs)
+- [Fast Fourier Transform](https://github.com/lambdaclass/lambdaworks/tree/main/fft)
+- [Elliptic curves](https://github.com/lambdaclass/lambdaworks/tree/main/math/src/elliptic_curve)
+- [Multiscalar multiplication](https://github.com/lambdaclass/lambdaworks/tree/main/math/src/msm)
+
+Finite Field crate fully supports no-std with `no-default-features`
+
+Both Math and Crypto support wasm with target `wasm32-unknown-unknown` by default, with `std` feature.
+## Exercises and Challenges
+- [Lambdaworks exercises and challenges](https://github.com/lambdaclass/lambdaworks_exercises/tree/main)
+
+If you use ```Lambdaworks``` libraries in your research projects, please cite them using the following template:
+
+``` bibtex
+@software{Lambdaworks,
+  author={Lambdaworks contributors},
+  title={Lambdaworks},
+  url={https://github.com/lambdaclass/lambdaworks},
+  year={2023}
+}
+```
+
+### Gadgets
+
+## Fuzzers
+
+Run a specific fuzzer from the ones contained in **fuzz/fuzz_targets/** folder with`cargo`, for example to run the one for the target `field_from_hex`:
+
+```bash
+make run-fuzzer FUZZER=field_from_hex
+```
+
+## Documentation
+
+To serve the documentation locally, first install both [mdbook](https://rust-lang.github.io/mdBook/guide/installation.html) and the [Katex preprocessor](https://github.com/lzanini/mdbook-katex#getting-started) to render LaTeX, then run
+
+``` shell
+make docs
+```
+
 ## 📊 Benchmarks
 
 Benchmark results are hosted [here](https://lambdaclass.github.io/lambdaworks/bench).
@@ -64,138 +113,3 @@ make benchmark BENCH=field
 ```
 
 You can check the generated HTML report in `target/criterion/reports/index.html`
-
-## Provers and Polynomial Commitment Schemes using LambdaWorks
-- [Cairo STARK LambdaWorks prover](https://github.com/lambdaclass/lambdaworks_cairo_prover/tree/main)
-- [Plonk LambdaWorks prover](https://github.com/lambdaclass/lambdaworks_plonk_prover)
-- [CairoVM Trace Generation using LambdaWorks](https://github.com/lambdaclass/cairo-rs/pull/1184)
-- [ABI compatible KZG commitment scheme - EIP-4844](https://github.com/lambdaclass/lambdaworks_kzg)
-
-## Main crates
-
-- [Finite Field Algebra](https://github.com/lambdaclass/lambdaworks/tree/main/math/src/field)
-- [Polynomial operations](https://github.com/lambdaclass/lambdaworks/blob/main/math/src/polynomial.rs)
-- [Fast Fourier Transform](https://github.com/lambdaclass/lambdaworks/tree/main/fft)
-- [Elliptic curves](https://github.com/lambdaclass/lambdaworks/tree/main/math/src/elliptic_curve)
-- [Multiscalar multiplication](https://github.com/lambdaclass/lambdaworks/tree/main/math/src/msm)
-
-Finite Field crate fully supports no-std with `no-default-features`
-
-Both Math and Crypto support wasm with target `wasm32-unknown-unknown` by default, with `std` feature.
-## Exercises and Challenges
-- [Lambdaworks exercises and challenges](https://github.com/lambdaclass/lambdaworks_exercises/tree/main)
-
-If you use ```Lambdaworks``` libraries in your research projects, please cite them using the following template:
-
-``` bibtex
-@software{Lambdaworks,
-  author={Lambdaworks contributors},
-  title={Lambdaworks},
-  url={https://github.com/lambdaclass/lambdaworks},
-  year={2023}
-}
-```
-
-## Building blocks
-
-- Finite Field Algebra
-- Elliptic curve models
-- Elliptic curve operations
-- Arithmetization schemes
-- Polynomial commitment schemes
-- PIOP
-- Cryptographic tools
-- Advanced tools: aggregation, recursion, accumulation
-- Protocols
-- Gadgets
-
-## Blocks
-
-### Finite Field Algebra
-
-- Big integer representation
-- Basic algebra: addition, multiplication, subtraction, inversion, square root (Tonelli–Shanks) ✔️
-- Field extensions ✔️
-- Number theoretic transform ✔️
-- Polynomial operations ✔️
-- Fast Fourier Transform ✔️
-- Montgomery ✔️ and Barrett
-
-### Elliptic curve models
-
-- BLS12-381 ✔️
-- BLS12-377 (H)
-- secp256k1 (H)
-- Ed25519 (H)
-- Jubjub (M)
-- BN254 (M)
-- Pasta: Pallas and Vesta (L)
-- Forms:
-  1. Affine ✔️
-  2. Projective ✔️
-  3. Montgomery (M)
-  4. Twisted Edwards (H)
-  5. Jacobi (L)
-
-### Elliptic curve operations
-
-- Add, double, scalar multiplication. ✔️
-- Multiscalar multiplication (Pippenger) ✔️
-- Weyl, Tate and Ate pairings. ✔️
-
-### Arithmetization
-
-- R1CS - gadgets (H)
-- AIR ✔️
-- Plonkish ✔️
-- ACIR (L)
-
-### Polynomial commitment schemes
-
-- KZG and variants ✔️
-- Hashing / Merkle trees ✔️
-- Inner product arguments
-- Dory (L)
-
-### PIOP/PCS
-
-- Groth16
-- Plonk ✔️
-- Marlin
-- FRI ✔️
-
-### [Crypto primitives](https://github.com/RustCrypto)
-
-- Pseudorandom generator
-- Hashes
-- Blake2
-- Keccak
-- Poseidon
-- Pedersen
-- Encryption schemes
-- AES
-- ChaCha20
-- Rescue
-- ElGamal
-
-### Protocol
-
-- Fiat-Shamir ✔️
-
-### Gadgets
-
-## Fuzzers
-
-Run a specific fuzzer from the ones contained in **fuzz/fuzz_targets/** folder with`cargo`, for example to run the one for the target `field_from_hex`:
-
-```bash
-make run-fuzzer FUZZER=field_from_hex
-```
-
-## Documentation
-
-To serve the documentation locally, first install both [mdbook](https://rust-lang.github.io/mdBook/guide/installation.html) and the [Katex preprocessor](https://github.com/lzanini/mdbook-katex#getting-started) to render LaTeX, then run
-
-``` shell
-make docs
-```