Mantej Rajpal
Mantej Rajpal
Of course! I was playing around with displaying R1CS in a format you had mentioned, ``` @ v_0=1 @ pub=v_1 to v_3 ``` and I ran into an issue when...
For now, Public Inputs for R1CS are identical to Kimchi; for the [array.no](https://github.com/zksecurity/noname/blob/main/examples/array.no) example from above: ``` @ noname.0.7.0 @ public inputs: 2 ╭──────────────────────────────────────────────────────────────────────────────── │ 0 │ 1 == (v_1)...
Updated newlines so public inputs is right below the version, and the additional newline is after the public inputs: ``` @ noname.0.7.0 @ public inputs: 2 ╭──────────────────────────────────────────────────────────────────────────────── │ 0 │...
@katat just manually updated the asm files, waiting on the build to complete to ensure output looks okay. how does look to you? any suggestions?
@katat all tests are passing locally
@katat I pushed the `cargo fmt` commit, but I don't have write access to merge.