search

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs
https://noir-lang.org
Apache License 2.0
860 stars 186 forks source link

Readme - hello world example not working #70

Closed nikkolasg closed 3 years ago

nikkolasg commented 3 years ago

Hi there,

I wanted to try out Noir - I installed it correctly, created a hello world example with nargo new hello_world, cd into it, nargo build correctly but nargo prove my_proofsimply fails:

thread 'main' panicked at 'Expected witness values to be integers: ParseIntError { kind: Empty }', crates/noirc_abi/src/input_parser/toml.rs:91:14

What am I missing ? It seems I need to give the witness but there's no indication on how in the CLI.

nikkolasg commented 3 years ago

Ok found it - I need to replace the x and y value in Prove.toml by x = "1"- this should be added to the documentation I believe it's missing.

kevaundray commented 3 years ago

Hi @nikkolasg ,

Sorry about that, there is a tracking issue here: https://github.com/noir-lang/docs/issues/45 for this problem.

Let me know if there is anything else lacking in the documentation.