search

noir-lang / noir

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

documenting / extending <Prover.toml> support #5302

Open skaunov opened 3 months ago

skaunov commented 3 months ago

Problem

https://discord.com/channels/1113924620781883405/1113924622031798313/1253417709723717672

After looking at examples I was left with some questions.

Is it possible to feed values with "Struct"/"Vec" syntax like Nargo outputs in execution?

Also docs are telling nothing about usage of quotes.It feels like they're for ranged integers, but I could find no docs.

Happy Case

Having a link to a description of these.

Project Impact

Nice-to-have

Impact Context

I could instantiate struct right in the Prover file.

Workaround

Yes

Workaround Description

Use basic types and instantiate struct inside circuit.

Additional Context

No response

Would you like to submit a PR for this Issue?

Maybe

Support Needs

No response

TomAFrench commented 3 months ago

nargo check generates a Prover.toml file in the correct structure for the current main function including with struct types.