message: clean README + add proof sizes
diff: This repository contains **kimchi**, a general-purpose zero-knowledge proof system for proving the correct execution of programs.
  -You can read more about this project on the [Kimchi book](https://o1-labs.github.io/proof-systems).
  +You can read more about this project on the [Kimchi book](https://o1-labs.github.io/proof-systems), or for a lighter introduction in this [blogpost](https://minaprotocol.com/blog/kimchi-the-latest-update-to-minas-proof-system).
  [See here for the rust documentation](https://o1-labs.github.io/proof-systems/rustdoc).
  @@ -28,23 +28,28 @@ At the time of this writing:
  | 2^15 | 0.1s |
  | 2^16 | 0.1s |
  +**Proof size**
  +
  +| number of gates | bytes |
  +| :-------------: | :---: |
  +| 2^15 | 4947 |
  +| 2^16 | 5018 |
  +
  ## Organization
  The project is organized in the following way:
  -* [book/](https://github.com/o1-labs/proof-systems/tree/master/book). The mina book, RFCs, and specifications.
  -* [cairo/](https://github.com/o1-labs/proof-systems/tree/master/cairo). A Cairo runner written in rust.
  -* [circuit-construction/](https://github.com/o1-labs/proof-systems/tree/master/circuit-construction). Circuit writer.
  -* [curves/](https://github.com/o1-labs/proof-systems/tree/master/curves). The elliptic curves we use (for now just the pasta curves).
  -* [groupmap/](https://github.com/o1-labs/proof-systems/tree/master/groupmap). Used to convert elliptic curve elements to field elements.
  -* [hasher/](https://github.com/o1-labs/proof-systems/tree/master/hasher). Interfaces for mina hashing.
  -* [kimchi/](https://github.com/o1-labs/proof-systems/tree/master/kimchi). Our proof system.
  -* [ocaml/](https://github.com/o1-labs/proof-systems/tree/master/ocaml). Ocaml bindings generator tool.
  -* [oracle/](https://github.com/o1-labs/proof-systems/tree/master/oracle). Implementation of the poseidon hash function.
  -* [poly-commitment/](https://github.com/o1-labs/proof-systems/tree/master/poly-commitment). Polynomial commitment code.
  -* [signer/](https://github.com/o1-labs/proof-systems/tree/master/signer). Interfaces for mina signature schemes.
  -* [tools/](https://github.com/o1-labs/proof-systems/tree/master/tools). Various tooling to help us work on kimchi.
  -* [utils/](https://github.com/o1-labs/proof-systems/tree/master/utils). Collection of useful functions and traits.
  +* [book/](book/). The mina book, RFCs, and specifications. [Available here in HTML](https://o1-labs.github.io/proof-systems).
  +* [curves/](curves/). The elliptic curves we use (for now just the pasta curves).
  +* [groupmap/](groupmap/). Used to convert elliptic curve elements to field elements.
  +* [hasher/](hasher/). Interfaces for mina hashing.
  +* [kimchi/](kimchi/). Our proof system based on PLONK.
  +* [poly-commitment/](poly-commitment/). Polynomial commitment code.
  +* [poseidon/](poseidon/). Implementation of the poseidon hash function.
  +* [signer/](signer/). Interfaces for mina signature schemes.
  +* [tools/](tools/). Various tooling to help us work on kimchi.
  +* [turshi/](turshi/). A Cairo runner written in rust.
  +* [utils/](utils/). Collection of useful functions and traits.
  ## Contributing
  