polymerdao / plonky2-circom

Apache License 2.0
155 stars 49 forks source link

e2e test failure during circuit compilation #4

Closed onsen-egg closed 1 year ago

onsen-egg commented 1 year ago

Hi, I've been trying to get the e2e test to run, am currently trying to work through the following error (at the end):

(base) [onsen-egg]$ ./e2e_test_recursive_proof_circom_verification.sh 
****GENERATING RECURSIVE PLONKY2 PROOF****
    Finished release [optimized] target(s) in 0.10s
     Running unittests src/lib.rs (target/release/deps/plonky2_circom_verifier-3e6eb321262d2804)

running 1 test
test verifier::tests::test_recursive_verifier ... ok

successes:

---- verifier::tests::test_recursive_verifier stdout ----
######################### recursive verify #########################
######################### recursive verify #########################
Generating Circom files ...
proof size: 127728

successes:
    verifier::tests::test_recursive_verifier

test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 3 filtered out; finished in 14.81s

DONE (0s)
****COMPILING CIRCUIT****
error[T3001]: Component cdouble is created but not all its inputs are initialized
    ┌─ "/home/jolin/Projects/plonky2-circom/circom/circuits/goldilocks_ext.circom":149:5
    │
149 │     cdouble[i] = GlExtSquare();
    │     ^^^^^^^^^^^^^^^^^^^^^^^^^^ found here
    │
    = call trace:
      ->VerifyPlonky2Proof
       ->EvalVanishingPoly
        ->EvalGateConstraints
         ->Poseidon12
          ->GlExtExpN

previous errors were found
DONE (1s)

Have not yet been able to solve this, any suggestions would be very appreciated :)

onsen-egg commented 1 year ago

Turns out this was an issue with circom; I was on the latest version (v2.1.4), switching to v2.1.0 got rid of this problem. v2.1.3 was giving me the same error as well; seems that some kind of breaking change got introduced along the way.

skywllker commented 1 year ago

I am using circom v2.1.5 and I take the same error, how can I change my version to 2.1.0