# Crypto

This folder groups cryptography-relevant packages.

```
crypto/ 
├── kimchi_backend/   # the glue between kimchi and snarky/pickles (TODO: move to a kimchi/ folder)
├── kimchi_bindings/  # the glue between ocaml and kimchi (the proof system in rust) # TODO: rename to kimchi
└── proof-systems     # a submodule pointing to the Rust implementation of kimchi
```
