DO NOT MERGE - PROD tracking - Beta v4.0 prod constraint branch#806

Open

amkCha wants to merge 9 commits intomasterfrom

beta-v4.0-rc13-constraint-branch

Commits on Oct 13, 2025

feat: prover column constraints for TXN_DATA

OlivierBBB
authored and
amkCha
committed
feat: prover TXN_DATA columns (Cancun)

OlivierBBB
authored and
amkCha
committed
feat: same for Prague/Osaka

OlivierBBB
authored and
amkCha
committed
feat: new USER_TXN_NUMBER_MAX column in RLP_TXN

OlivierBBB
authored and
amkCha
committed
feat: include the USER_TXN_MAX columns into RLP_TXN -> TXN_DATA lookup

OlivierBBB
authored and
amkCha
committed
cleaning

OlivierBBB
authored and
amkCha
committed
cleaning

OlivierBBB
authored and
amkCha
committed

Commits on Oct 14, 2025

Prover column after `TXN_DATA` redesign (#796)

OlivierBBB
authored and
amkCha
committed

Commits on Oct 20, 2025

Prover columns revision (#810)
OlivierBBB
committed