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

EXP issue #1125

Closed OlivierBBB closed 1 month ago

OlivierBBB commented 1 month ago

Ranges

// 3108622-3108633
// 3175608-3175636
// 3290673-3290679
// 3290746-3290752
// 3315684-3315690
// 3374278-3374284
// 3385404-3385411
// 3410170-3410240
// 3423488-3423521
// 3424829-3424864
// 3429701-3429735
// 3431193-3431232
// 3431567-3431601
// 3432730-3432768
// 4323962-4324012
4343434-4343473
// 4392225-4392280
// 4477086-4477226
// 4519246-4519309
// 4556007-4556115
// 4583379-4583463

After looking more carefully it seems that only one range creates EXP issues. The other ranges were involved in OOB / MMU failures with constraint names containing the string exp

AFAICT the failing EXP constraints are

exp.allowed-transitions
exp.binary-constraints#5
exp.bit-decompositions#1
exp.byte-decompositions#0
exp.byte-decompositions#1
exp.byte-decompositions#2
exp.byte-decompositions#3
exp.computation-constancy#1
exp.counter-constancy#0
exp.counter-constancy#1
exp.counter-constancy#2
exp.counting-nonzeroness-msb#0
exp.counting-nonzeroness-msb#2
exp.counting-nonzeroness-msb#3
exp.counting-nonzeroness-trim#0
exp.counting-nonzeroness-trim#1
exp.counting-nonzeroness-trim#2
exp.flag-sum-perspective-padding-non-padding#1
exp.instruction-decoding-exp-inst
exp.justify-hub-prediction-exp-log#0
exp.justify-hub-prediction-modexp-log#1
exp.justify-hub-prediction-modexp-log#2
exp.justify-hub-prediction-modexp-log#4
exp.linking-constraints-modexp-log#0
exp.linking-constraints-modexp-log#1
exp.linking-constraints-modexp-log#3
exp.linking-constraints-modexp-log#4
exp.linking-constraints-modexp-log#6
exp.maxct
exp.most-significant-byte-middle
exp.preprocessing-1-exp-log#0
exp.preprocessing-1-exp-log#1
exp.preprocessing-1-modexp-log#0
exp.preprocessing-1-modexp-log#1
exp.preprocessing-1-modexp-log#2
exp.preprocessing-1-modexp-log#3
exp.preprocessing-2-modexp-log#0
exp.preprocessing-2-modexp-log#1
exp.preprocessing-2-modexp-log#2
exp.preprocessing-2-modexp-log#3
exp.preprocessing-2-modexp-log#5
exp.preprocessing-3-modexp-log#0
exp.preprocessing-3-modexp-log#1
exp.preprocessing-3-modexp-log#2
exp.preprocessing-3-modexp-log#3
exp.preprocessing-3-modexp-log#5
exp.preprocessing-4-modexp-log#0
exp.preprocessing-4-modexp-log#1
exp.preprocessing-4-modexp-log#2
exp.preprocessing-4-modexp-log#3
exp.preprocessing-5-modexp-log#0
exp.preprocessing-5-modexp-log#1
exp.preprocessing-5-modexp-log#2
exp.preprocessing-5-modexp-log#3
exp.stamp-increments
exp.unallowed-transitions

exp-into-wcp

Note. There is even a lookup !

lorenzogentile404 commented 1 month ago

I see only Java issues now, no constraints failing @OlivierBBB.

lorenzogentile404 commented 1 month ago
Screenshot 2024-09-08 at 22 22 01
letypequividelespoubelles commented 1 month ago

I see only Java issues now, no constraints failing @OlivierBBB.

You have to put a false after giving the range in the replay Test. I just did it, you'll see.

letypequividelespoubelles commented 1 month ago

@lorenzogentile404 @OlivierBBB can we close this as there was no issue after all ?

OlivierBBB commented 1 month ago

I guess so @letypequividelespoubelles.