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(exp): add finalization constraint #334

Closed lorenzogentile404 closed 1 week ago

lorenzogentile404 commented 1 week ago

https://veridise.notion.site/Missing-finalization-constraints-in-exp-99bc15c9a35843db92101ae41e866f3c

OlivierBBB commented 1 week ago

The domain of the finalization constraint was wrong @lorenzogentile404