search

Consensys / linea-constraints

Implementation of the constraint system of Linea, specified in the linea-specification repo.
Other
4 stars 1 forks source link

fix(mmu): add missing constraint #324

Closed letypequividelespoubelles closed 1 week ago

letypequividelespoubelles commented 1 week ago

Can you paste the link to the Veridise issue? The link is in the issue already

letypequividelespoubelles commented 1 week ago

I cannot find where Veridise issue 4a is addressed, the rest LGTM.

Nice catch. It's because it's a trash constraint, I left a comment in the Veridise audit