 No such file  "../proof.bin"

```bash
error: couldn't read src/../proof.bin: No such file or directory (os error 2)
   --> src/main.rs:110:17
    |
110 |     let proof = include_bytes!("../proof.bin");
    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
```

PLS, how to generate "../proof.bin"?