Im compiling the risc0 stark verify circuit and im getting :
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 error: fixup value out of range
675.4 fatal error: too many errors emitted, stopping now [-ferror-limit=]
Ive tried this on mac m2, on linux in docker bothe virtualized and native and im getting the same issue.
The circuit is over a million lines of code.
Im compiling the risc0 stark verify circuit and im getting :
Ive tried this on mac m2, on linux in docker bothe virtualized and native and im getting the same issue. The circuit is over a million lines of code.
The circuit is here https://github.com/risc0/risc0/blob/main/compact_proof/groth16/stark_verify.circom The build of the compiled circuit is here https://github.com/risc0/risc0/blob/main/compact_proof/scripts/build.sh