zksecurity / noname

Noname: a programming language to write zkapps
https://zksecurity.github.io/noname/
179 stars 46 forks source link

Feat: noname cli: read input/output JSON from file #110

Closed ibkisthere closed 3 months ago

ibkisthere commented 4 months ago

Closes #92 There's a lot of changes - i'll briefly summarize what i did

Here are some example commands to test the new changes to the cli

cargo run test --backend r1cs-bn254 --path examples/arithmetic.no --private-inputs '{"private_input": "2"}' --public-inputs '{"public_input": "2"}' --debug

cargo run test --backend r1cs-bn254 --path examples/arithmetic.no --private-inputs examples/json/inputs1/private_input.json --public-inputs examples/json/inputs1/public_input.json --debug

ibkisthere commented 3 months ago

Oh i understand you , i only tested the inputs manually by writing commands to the paths to the files, i didn't write actual tests , i'm just seeing a test folder in the repo just now, i can do that.

mimoo commented 3 months ago

we ended up merging this one: https://github.com/zksecurity/noname/pull/111 but if you want to add your comments to the CLI usage that would still be great!

ibkisthere commented 3 months ago

Will do !

mimoo commented 3 months ago

I'll close this one for now!