0xPolygonHermez / zkevm-node

Go implementation of a node that operates the Polygon zkEVM Network
Other
511 stars 649 forks source link

[Aggregator] Recursive proof not eligible to be verified: not containing complete sequences #3703

Closed DNK90 closed 2 weeks ago

DNK90 commented 3 weeks ago

Hi team,

I am running zkevm on my own network.

I got the following error when aggregator trying to verify final proof that does not match with the sequence data.

Recursive proof 189-189 not eligible to be verified: not containing complete sequences

It occurred when a sequence contains more than 1 batch.

I've checked the sequence sender and there is not any limitation 1 batch within a sequence. https://github.com/0xPolygonHermez/zkevm-node/blob/develop/sequencesender/sequencesender.go#L280

While aggregator only get 1 virtual batch every time regardless of the sequence. https://github.com/0xPolygonHermez/zkevm-node/blob/develop/aggregator/batch.go#L178

Usually, all of the sequences contain only 1 batch. however, when there is 1 sequence contains more than 1 batch. This error occurred and it is stuck here forever.

image

Please help me how to solve this issue, thank you