```
cargo run --bin blake --release
```

```
cargo run --bin sha256 --release
```

```
cargo run --bin mimc --release
```

```
cargo run --bin zec --release
```

# Compiler

```
python scripts/parser.py proofs/sapling3.prf | rustfmt
```