linea-monorepo
linea-monorepo copied to clipboard
The aggregation circuit test fails on CI but not locally
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.