The proof systems used by Mina
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, or for a lighter introduction in this blogpost.
See here for the rust documentation.
This project comes as is. We provide no guarantee of stability or support, as the crates closely follow the needs of the Mina project.
If you use this project in a production environment, it is your responsibility to perform a security audit to ensure that the software meets your requirements.
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 |
Proof size
number of gates | bytes |
---|---|
2^15 | 4947 |
2^16 | 5018 |
The project is organized in the following way:
Check CONTRIBUTING.md if you are interested in contributing to this project.
An effort is made to have the documentation being self-contained, referring to the mina book for more details when necessary. You can build the rust documentation with
rustup install nightly
RUSTDOCFLAGS="--enable-index-page -Zunstable-options" cargo +nightly doc --all --no-deps
You can visualize the documentation by opening the file target/doc/index.html
.
The CI will build different targets.