we should figure out a way to display the public input there. For example we could have a pub: prefix in front of the gates that are for the public input, but this is a bit ugly and verbose, or we could have the number of public inputs displayed on the second line (like @ public_inputs: 1)
currently the ASM for kimchi does not display the public input. For example https://github.com/zksecurity/noname/blob/main/examples/arithmetic.asm
we should figure out a way to display the public input there. For example we could have a
pub:
prefix in front of the gates that are for the public input, but this is a bit ugly and verbose, or we could have the number of public inputs displayed on the second line (like@ public_inputs: 1
)for R1CS maybe we could write something like this:
but yeah haven't thought much about this one, open to suggestions