# kimchi bindings

These are bindings to [kimchi](https://github.com/o1-labs/proof-systems) and [arkworks](http://arkworks.rs/).

In this directory you will find:

```
kimchi_bindings/
├── pasta_fp_poseidon # TODO: move this to the automatically-generated stubs
├── pasta_fq_poseidon # TODO: move this to the automatically-generated stubs
└── stubs/       # the rust code that generates the ocaml bindings
```
