Search results

blobhash

Status: Open.

#670 In Consensys/linea-constraints;

· letypequividelespoubelles opened on Jun 19, 2025

EIP-6780 selfdestruct changes

Status: Open.

#667 In Consensys/linea-constraints;

· letypequividelespoubelles opened on Jun 17, 2025

<code>MISC</code> flag soundness bug fix in the <code>HUB</code>

Status: Open.

#663 In Consensys/linea-constraints;

· OlivierBBB opened on Jun 11, 2025

feat: replace WCP modules with assembly implementation

zkasmRelating to the use of zkASM constraintsRelating to the use of zkASM constraints

Status: Open.

#650 In Consensys/linea-constraints;

· DavePearce opened on May 21, 2025

EIP-2537: Precompile for BLS12-381 curve operations

Status: Open.

#648 In Consensys/linea-constraints;

· lorenzogentile404 opened on May 19, 2025

<code>GAS_COST</code> over-constrained for <code>CALL</code>'s/<code>CREATE</code>'s

veridise audit

Status: Open.

#456 In Consensys/linea-constraints;

· OlivierBBB opened on Oct 15, 2024

Unconstrained column in module<code>EXT</code>

veridise audit

Status: Open.

#394 In Consensys/linea-constraints;

· OlivierBBB opened on Sep 21, 2024

More descriptive names for MMU preprocessing constraints

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#389 In Consensys/linea-constraints;

· OlivierBBB opened on Sep 20, 2024

Use short aliases in constraints

Status: Open.

#330 In Consensys/linea-constraints;

· OlivierBBB opened on Sep 9, 2024

Update the <code>(set-MMU-inst-right-padded-word-extraction ... )</code> function interface

Status: Open.

#215 In Consensys/linea-constraints;

· OlivierBBB opened on May 28, 2024