search

Consensys / linea-tracer

Part of the Linea stack responsible for extracting data from the execution of an EVM client in order to construct large matrices called execution traces.
https://linea.build
Other
35 stars 22 forks source link

`3108622-3108633` 0.5.3-beta mmu constraints issue #1121

Closed letypequividelespoubelles closed 1 month ago

letypequividelespoubelles commented 1 month ago

Ranges

3108622-3108633
3175608-3175636
3432730-3432768
4392225-4392280
4477086-4477226

There seems to be, from @gusiri 's logs, a single constraint that is failing

mmu.modexp-mmio-instruction-writting#9

from #1111

OlivierBBB commented 1 month ago

Could you please apply the standard format for ranges issues @letypequividelespoubelles

OlivierBBB commented 1 month ago

Did the 4 ranges start working @letypequividelespoubelles ?

letypequividelespoubelles commented 1 month ago

I don't remember this particular issue, but there is a linked PR that closed the issue , so I guess yes, everything was fixed.

OlivierBBB commented 1 month ago

The associated PR (https://github.com/Consensys/linea-tracer/pull/1123) only contains the following replay test @letypequividelespoubelles 

  @Test
  void modexpTriggeringNonAlignedFirstLimbSingleSourceMmuModexp() {
    replay("3108622-3108633.json.gz", false);
  }