Skip to content

Commit

Permalink
cspell spell spell
Browse files Browse the repository at this point in the history
  • Loading branch information
signorecello committed Oct 9, 2024
1 parent 26a971b commit e5f6027
Show file tree
Hide file tree
Showing 3 changed files with 1 addition and 61 deletions.
39 changes: 0 additions & 39 deletions docs/.netlify/netlify.toml

This file was deleted.

21 changes: 0 additions & 21 deletions docs/.netlify/state.json

This file was deleted.

2 changes: 1 addition & 1 deletion docs/docs/getting_started.md
Original file line number Diff line number Diff line change
Expand Up @@ -101,7 +101,7 @@ bb verify -k ./target/vk -p ./target/proof

Notice that in order to verify a proof, the verifier knows nothing but the circuit, which is compiled and used to generate the verification key. This is obviously quite important: private inputs remain private.

As for the public inputs, you may have noticed they haven't been specified. This behaviour varies with each particular backend, but barretenberg tipically attaches them to the proof. You can see them by parsing and splitting it. For example for if your public inputs are 32 bytes:
As for the public inputs, you may have noticed they haven't been specified. This behavior varies with each particular backend, but barretenberg typically attaches them to the proof. You can see them by parsing and splitting it. For example for if your public inputs are 32 bytes:

```bash
head -c 32 ./target/proof | od -An -v -t x1 | tr -d $' \n'
Expand Down

0 comments on commit e5f6027

Please sign in to comment.