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.
See here for the rust documentation.
At the time of this writing:
Proving time
| number of gates | seconds |
|---|---|
| 2^11 | 0.6s |
| 2^15 | 3.3s |
| 2^16 | 6.3s |
Verification time
| number of gates | seconds |
|---|---|
| 2^15 | 0.1s |
| 2^16 | 0.1s |
The project is organized in the following way:
- book/. The mina book, RFCs, and specifications.
- cairo/. A Cairo runner written in rust.
- circuit-construction/. Circuit writer.
- curves/. The elliptic curves we use (for now just the pasta curves).
- groupmap/. Used to convert elliptic curve elements to field elements.
- hasher/. Interfaces for mina hashing.
- kimchi/. Our proof system.
- ocaml/. Ocaml bindings generator tool.
- oracle/. Implementation of the poseidon hash function.
- poly-commitment/. Polynomial commitment code.
- signer/. Interfaces for mina signature schemes.
- tools/. Various tooling to help us work on kimchi.
- utils/. Collection of useful functions and traits.
Check CONTRIBUTING.md if you are interested in contributing to this project.