Issues

• code scanning checks

  Consensys-inc-archive/linea-constraints#864 · Filter by author letypequividelespoubelles opened on Jan 9, 2026

• feat: apply unsafe casts

  Consensys-inc-archive/linea-constraints#862 · Filter by author DavePearce opened on Dec 19, 2025
  

• Readme needs update to fix staleness

  Consensys-inc-archive/linea-constraints#851 · Filter by author m4sterbunny opened on Dec 10, 2025

• zkASM RLPAUTH

  Consensys-inc-archive/linea-constraints#848 · Filter by author lorenzogentile404 opened on Dec 4, 2025
  

• ZkAsm BlockData

  Consensys-inc-archive/linea-constraints#840 · Filter by author letypequividelespoubelles opened on Dec 1, 2025
  

• Harmonize types across modules

  cleaning
  Consensys-inc-archive/linea-constraints#752 · Filter by author OlivierBBB opened on Sep 10, 2025

• Type correction in TXN_DATA

  cleaning
  Consensys-inc-archive/linea-constraints#751 · Filter by author OlivierBBB opened on Sep 10, 2025
  1

  

• RLP constants renaming

  cleaning
  Consensys-inc-archive/linea-constraints#723 · Filter by author OlivierBBB opened on Aug 11, 2025

• Review typing of columns

  beta v4.1 - small fieldsperf
  Consensys-inc-archive/linea-constraints#722 · Filter by author letypequividelespoubelles opened on Aug 7, 2025
  1

• Remove obsolete storage/ columns

  Consensys-inc-archive/linea-constraints#707 · Filter by author OlivierBBB opened on Jul 25, 2025

• Dual-license to match mono repo

  Consensys-inc-archive/linea-constraints#690 · Filter by author JustinDrake opened on Jul 10, 2025

• GAS_COST over-constrained for CALL's/CREATE's

  veridise audit
  Consensys-inc-archive/linea-constraints#456 · Filter by author OlivierBBB opened on Oct 15, 2024
  

• Unconstrained column in module EXT

  veridise audit
  Consensys-inc-archive/linea-constraints#394 · Filter by author OlivierBBB opened on Sep 21, 2024
  

• More descriptive names for MMU preprocessing constraints

  documentation
  Consensys-inc-archive/linea-constraints#389 · Filter by author OlivierBBB opened on Sep 20, 2024

• Use short aliases in constraints

  Consensys-inc-archive/linea-constraints#330 · Filter by author OlivierBBB opened on Sep 9, 2024

• Update the (set-MMU-inst-right-padded-word-extraction ... ) function interface

  Consensys-inc-archive/linea-constraints#215 · Filter by author OlivierBBB opened on May 28, 2024