zksecurity / noname

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

better log output #226

Closed mimoo closed 1 week ago

mimoo commented 1 week ago

this adds some problem when we will split the run into compile and run commands. Right now we have access to the sources BECAUSE we produce the witness in the same command that compiles the circuit.

If we compile the circuit in one command (producing a compiled circuit artifact), then try to generate a witness in another command we might not have access to Sources anymore.

The solution will probably be to precompute what we need from sources in advance and add that to the debug_info