Related PR's: - [ ] https://github.com/Consensys/linea-constraints/pull/813 - [ ] HUB - [ ] https://github.com/Consensys/linea-constraints/pull/812 - [ ] https://github.com/Consensys/linea-constraints/pull/814
