[BUG] Parsing Groth16 proofs from JSON is limited to 64 bits per public input
nategraf opened this issue · comments
Bug Report
Due to the following line, parsing a Groth16 proof from JSON is limited to 64-bits per public input. As a result, some proofs will not be verifiable. It does not effect verification of RISC Zero's Groth16 proofs for the zkVM, because we do not use the JSON encoding.
https://github.com/risc0/risc0/blob/main/risc0/groth16/src/data_structures.rs#L246
@capossele , this was solved by #1420, ya? If so, feel free to close this
Addressed in #1420