linea-monorepo icon indicating copy to clipboard operation
linea-monorepo copied to clipboard

The aggregation circuit test fails on CI but not locally

Open AlexandreBelling opened this issue 5 months ago • 0 comments

The prover tests fails on the CI with:

--- FAIL: TestAggregationFewDifferentInners (3.70s)
    circuit_test.go:207: 
        	Error Trace:	/home/runner/work/linea-monorepo/linea-monorepo/prover/circuits/aggregation/circuit_test.go:207
        	            				/home/runner/work/linea-monorepo/linea-monorepo/prover/circuits/aggregation/circuit_test.go:81
        	Error:      	Received unexpected error:
        	            	[assertIsEqual] 758922489[133](https://github.com/Consensys/linea-monorepo/actions/runs/10964447635/job/30448336919#step:6:134)44668404688028498277473847923390111727135818904166291220620325199778875968463185934815777228463929461 == 40264641944329955679399768565528652276498180719192893717861434718059610018293286043528745853719604491701104108541
        	            	fields_bls12377.(*E2).AssertIsEqual
        	            		e2.go:194
        	            	fields_bls12377.(*E6).AssertIsEqual
        	            		e6.go:356
        	            	fields_bls12377.(*E12).AssertIsEqual
        	            		e12.go:531
        	            	fields_bls12377.(*E12).AssertFinalExponentiationIsOne
        	            		e12_pairing.go:243
        	            	sw_bls12377.(*Pairing).PairingCheck
        	            		pairing2.go:329
        	            	kzg.(*Verifier[...]).BatchVerifyMultiPoints
        	            		verifier.go:583
        	            	plonk.(*Verifier[...]).AssertDifferentProofs
        	            		verifier.go:1107
        	            	aggregation.verifyClaimBatch
        	            		circuit.go:182
        	            	aggregation.(*Circuit).Define
        	            		circuit.go:109
        	Test:       	TestAggregationFewDifferentInners
    circuit_test.go:207: 
        	Error Trace:	/home/runner/work/linea-monorepo/linea-monorepo/prover/circuits/aggregation/circuit_test.go:207
        	            				/home/runner/work/linea-monorepo/linea-monorepo/prover/circuits/aggregation/circuit_test.go:82
        	Error:      	Received unexpected error:
        	            	[assertIsEqual] 179315920165530773233194910466793979658780440022530515480579291133568182827145899429963328806372133321617094802942 == 70340482065780818433727257089068629556651723455781535194523100009591859442126882944849644649471541890160301851068
        	            	fields_bls12377.(*E2).AssertIsEqual
        	            		e2.go:194
        	            	fields_bls12377.(*E6).AssertIsEqual
        	            		e6.go:356
        	            	fields_bls12377.(*E12).AssertIsEqual
        	            		e12.go:531
        	            	fields_bls12377.(*E12).AssertFinalExponentiationIsOne
        	            		e12_pairing.go:243
        	            	sw_bls12377.(*Pairing).PairingCheck
        	            		pairing2.go:329
        	            	kzg.(*Verifier[...]).BatchVerifyMultiPoints
        	            		verifier.go:583
        	            	plonk.(*Verifier[...]).AssertDifferentProofs
        	            		verifier.go:1107
        	            	aggregation.verifyClaimBatch
        	            		circuit.go:182
        	            	aggregation.(*Circuit).Define
        	            		circuit.go:109
        	Test:       	TestAggregationFewDifferentInners
    circuit_test.go:207: 
        	Error Trace:	/home/runner/work/linea-monorepo/linea-monorepo/prover/circuits/aggregation/circuit_test.go:207
        	            				/home/runner/work/linea-monorepo/linea-monorepo/prover/circuits/aggregation/circuit_test.go:82
        	Error:      	Received unexpected error:
        	            	[assertIsEqual] 233861035831474290045571676986153053198145827226366095293163737770871958360882004[134](https://github.com/Consensys/linea-monorepo/actions/runs/10964447635/job/30448336919#step:6:135)690964954451518318143413378706 == 85971553606597031613959622932161177077797045011117786908547794334881532532620897840696563796563738241662824387257
        	            	fields_bls12377.(*E2).AssertIsEqual
        	            		e2.go:194
        	            	fields_bls12377.(*E6).AssertIsEqual
        	            		e6.go:356
        	            	fields_bls12377.(*E12).AssertIsEqual
        	            		e12.go:531
        	            	fields_bls12377.(*E12).AssertFinalExponentiationIsOne
        	            		e12_pairing.go:243
        	            	sw_bls12377.(*Pairing).PairingCheck
        	            		pairing2.go:329
        	            	kzg.(*Verifier[...]).BatchVerifyMultiPoints
        	            		verifier.go:583
        	            	plonk.(*Verifier[...]).AssertDifferentProofs
        	            		verifier.go:1107
        	            	aggregation.verifyClaimBatch
        	            		circuit.go:182
        	            	aggregation.(*Circuit).Define
        	            		circuit.go:109
        	Test:       	TestAggregationFewDifferentInners

The issue is not reproduced locally on my mac but this is nonetheless stopping the CI from working.

AlexandreBelling avatar Sep 23 '24 03:09 AlexandreBelling