risc0 / risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Home Page:https://risczero.com

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

[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