github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

Update rng_tutorial.md

Browse source
This commit is contained in:
qbzzt 2020-11-16 18:08:04 -06:00 committed by GitHub
parent daadd8bcc1
commit 48c60ecfcf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
zokrates_book/src/rng_tutorial.md
View file

@ -253,8 +253,8 @@ Proofs give us.
zokrates compile -i reveal_bit.zok -o reveal_bit --light
```
5. Next, Alice creates the `witness` file with the values of all the parameters in the program, and out of it generates a
proof with Bob's `proving.key`
5. Next, Alice creates the `witness` file with the values of all the parameters in the program. Using this `witness`,
Bob's `proving.key`, and the compiled program she generates the actual proof.
```
zokrates compute-witness -i reveal_bit -a 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 510 --light
zokrates generate-proof -i reveal_bit