Skip to content

Commit

Permalink
update readme
Browse files Browse the repository at this point in the history
  • Loading branch information
John Guibas authored and John Guibas committed Feb 10, 2024
1 parent 34b5ac8 commit adbfe46
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,15 +19,15 @@ Create a new project:
cargo prove new fibonacci
```

Generate a proof:
Build a binary that can be run in the zkVM:

```
cargo prove
cd program && cargo prove build
```

Profile a proof:
Generate and verify the execution of the binary:
```
cargo prove --profile
cd script && cargo run --release
```

Note that the `RUST_LOG` and `RUST_TRACER` enviroment variables can be set to different status levels to get more fine-grained logging and debugging information.
Expand Down

0 comments on commit adbfe46

Please sign in to comment.