beta-v2.1-rc1

What's Changed

• fix(makefile): typo by @letypequividelespoubelles in #604

Full Changelog: beta-v2.0-rc2...beta-v2.1-rc1

beta-v2.0-rc2

What's Changed

• rm some columns and clean some TODOs by @letypequividelespoubelles in #591
• feat: impose linea block gas limit by @letypequividelespoubelles in #600
• feat: eanble zkevm.bin for old replay tests by @letypequividelespoubelles in #602

Full Changelog: beta-v2.0-rc1.1...beta-v2.0-rc2

beta-v2.0-rc1.1

11a1dc5

beta-v2.0-rc1

linea-tracer: https://github.com/Consensys/linea-tracer/releases/tag/beta-v2.0-rc1

beta-v1.3-rc3

linea-tracer: https://github.com/Consensys/linea-tracer/tree/beta-v1.3-rc3

beta-v1.2-rc3

HUB without consistency arguments

beta-v1.2/v0.1.0-rc3.1

fix: Typo in BLOCKDATA module (wrong constraint for NUMBER for the first block in the conflation (#575)

beta-v1.2/v0.1.0-rc3

linea-tracer: https://github.com/Consensys/linea-tracer/releases/tag/beta-v1.2.0-rc3

beta-v1.2/v0.1.0-rc2

linea-tracer: https://github.com/Consensys/linea-tracer/releases/tag/beta-v1.2.0-rc2

beta-v1.2/v0.1.0-rc1

• Feat/blockdata separate eth linea constants (#560)
• Replace NEGATIVE_OF_BLOCKHASH with a (defun ...) expression (#561)
• fix callToC1Membership function (#558)
• feat: enable build for zkevm.go.bin (#559)
• BLOCKHASH redesign (#555)
• Implementation of TX_INIT and TX_FINL fix (#517)
• 526 blockdata redesign (#543)
• EXTCODECOPY requires the CFI as its MMU_SRC_ID only for addresses not currently under deployment (#554)
• Fix of the fix (Only unexceptional ACCOUNT instructions that touchForeignAddress update its warmth) (#553)
• Only unexceptional ACCOUNT instructions that touchForeignAddress update its warmth (#552)
• Fix mix up between account address / code address when executing CODESIZE / SELFBALANCE (#550)
• fix: undoDepStatusAndNumberUpdate wrong constraint fix (#551)
• Fixed divergence from spec in the "return data size" macro for ECADD/ECMUL/ECPAIRING (#549)
• Fix typos in 'instructions' and 'instruction' keywords (#544)
• File: README.md (#545)
• Include HUB into ZKEVM_MODULES_FOR_REFERENCE_TESTS (#548)
• Remove double negative from ICPX transfer HUB -> MMU (#547)
• CODECOPY sanity check fix (#546)
• SELFDESTRUCT typo fix (#542)
• Typo fix for partialCopyOfReturnData for ECADD/MUL/PAIRING (#541)
• fix: row offset of final context row in success case
• fix: provide OOB_INST_MODEXP_LEAD with ebs
• this corrects a typo where we were providing the OOB module with bbs twice
• MODEXP flag sums and NSR sums fixes (#540)
• Re-enabling certain lookups + TXN instructions fix (#539)
• Fixing PRC related shorthands (plenty of missing products) (#538)
• SELFDESTRUCT offset correction for account undoing operation (#537)
• Removing extraneous files (#536)
• Update daniel_discussion.md (#531)
• Type change for the scenario/XXX_GAS columns (:i32 bit to :i64) (#535)
• Splitting of the setting NSR and peeking flags constraint (#534)
• CREATE typo (#533)
• 527 extra scenario/CREATE shorthand (#528)
• Removing trailing white spaces (#530)
• Update columns.lisp file (#523)
• CREATE pricing in scenario/CREATE_FAILURE cases (#520)
• REFUND increment rationalization for SSTORE (#525)
• Provide HUB -> RLPADDR with correct init_code_hash (#522)
• ras: formatting
• HUB debugging continued (#514)
• The HUB debugging never stops (#512)
• fix: exo sum must be decoded for LIMB_VANISHES MMIO inst (#509)
• remove nbAdded and nbAdded (#511)
• feat(mmio): plug MMIO (#313)
• fix: REVERT was incoherently updating return data twice
• fixes a typo
• ras: renaming and formatting
• More HUB debugging related changes (#507)
• MXP to ID lookup fix 52 (#479)
• fix: splitting "setting-the-CREATE-scenario" into subconstraints
• Implement simplified return data setting for RETURN's from deployments (#505)
• Make the constraints compile again (#503)
• REMAINING TODOs exp and mxp (#487)
• Yet more veridise debugging (#480)
• Remaining todos endgame (#493)
• More HUB debugging (#502)
• Remove (vanishes! 0) (#496)
• Adding HUB constraints (#494)
• feat: update corset to the latest version (#498)
• some HUB constraints debugging (#485)
• fix(logdata): fix nBYTES check only if logs data (#491)
• Duplicate and unused code snippets EXP OOB MXP (#489)
• delete duplicate constraint (#471)
• Update Makefile (#490)
• Adding unpermuted account columns (#482)
• More Veridise debugging (#477)
• revert add HUB constraints (#483)
• add HUB constraints
• typo (#475)
• homogenize lookups rlptxn <-> hub (#473)
• Specification glitches (#466)
• Implementation of HUB / MXP interface bugfix (#469)
• Typo and bug fixes for the ACC instruction family (#462)
• Make HEIGHT and HEIGHT_NEW explicitly hub-stamp-constant (#464)
• Fix order of stack items in lookup HUB -> EXT (#460)
• 363 add gas to makefile (#380)
• No longer impose vanishing of GAS_COST in case of nonOogException (#458)
• Constraints update for GAS columns generalities (#457)
• Using stack/STATIC_GAS rather than GAS_CONST_G_SELFDESTRUCT (#455)
• fix: add CFI to the lookup txnData into rlpTxn (#439)
• RETURNDATACOPY must always load the current execution context (#449)
• Re-introduction of generic constraints for HEIGHT_NEW and HEIGHT in relation to ALPHA and DELTA (#453)
• delete size into nBytes in the lookup mmio into rom (#443)
• Add GAS_LIMIT to HUB -> TXN_DATA lookup (#451)
• MXP Missing Type Annotations (#412)
• EC_DATA Missing Type Annotations (#410)
• fix: typing of columns (#408)
• Createe reverts with child (itself, that is) (#433)
• Lookup selector's for gas-into-wcp hadn't been updated (#435)
• Add missing _NEW's to TX_INIT and TX_SKIP sections (#444)
• MSTORE8 now treated as type 3 instruction in STACKRAM instruction family and typo fix (#445)
• Copy instructions use stack items in the wrong order (#447)
• 424 implicitdebug constraints in implementation (#440)
• fix(constants): correct refund constants (#417)
• Deployment transactions should check more vanishing constraints (#438)
• Various tiny fixes (#437)
• MXP and MMU stamp increments (#432)
• Added missing CALL_FLAG and CREATE_FLAG to HUB -> ID lookup (#431)
• Fix value constraints for EXTCODESIZE / EXTCODECOPY (#419)
• Typing for gas columns in the HUB and STP (#423)
• Fix for type issues in MUL (#421)
• fix(mxp): add constancy constraints for CN and DEPLOYS (#415)
• clean(OOB): delete binary dupliacte constraints + from call_gas to callee_gas (#413)
• fix(rlpTxn): constraint ADDR during AccessList tuple & ChainId (#403)
• TXN_DATA: fix forpriorityFeePerGas (#406)
• TXN_DATA missing constraints + switch to positive conditions (#401)
• BLOCKDATA fixes in the wake of that module blowing up for Leo and Alex (#398)
• fix: make it compile
• fix: splitting of constraints + formatting
• fix(mmio): missing constraint + typo + overconstrained (#371)
• fix(shf): remove unnecessary binary constraint (#367)
• fix(blockData): missing finalization constraint (#374)
• fix(ROM): missing and duplicate constraint (#365)
• fix(rlprcpt): precondition constraint error (#376)
• fix: initializing the EXPONENT_BIT_ACCUMULATOR (#391)
• Implementation of MMU update (#388)
• Implementation of MMIO update (#386)
• fix(txnData): missing constraint (#378)
• fix(BIN): remove unnecessary preconditions (#381)
• fix typo in RLP_TXN phase Beta (#369)
• Constraining the BIT_3 column in the EXT module (#395)
• Fix: type of SHB_k_XX columns (#393)
• fix(lookups): notation for selectors (#383)
• ras
• Fixed HUB typo in (stateless-instruction---precondition) (#362)
• fix(oob): modexp extract and blake params (#360)
• fix(rlpTxn): typo for small signature (#356)
• fix(exp): index lookups (#358)
• fix(exp): remove not necessary computation (#353)
• fix(ecdata): add counter constancy on NOT_ON_G2 and NOT_ON_G2_ACC (#351)
• Remove GAS from ZKEVM_MODULES and ZKEVM_MODULES_FOR_REFERENCE_TESTS (#349)
• fix(lookups): folder structure (#347)
• Lookup fix (#345)
• fix(gas): lookup row 1 (#344)
• delete unwanted file (#342)
• Separate zkevm.bin for reference tests and associated make instruction (#340)
• Fixed the debug constraints (#338)
• fix(mmu): add missing constraint (#324)
• clean: delete unused function containig a typo (#326)
• fix(exp): add finalization constraint (#334)
• fix(exp): use CT_MAX_CMPTN_MODEXP_LOG (#336)
• Consistency argument implementation + FIRST, FINAL now work at the block level for state manager (#310)
• Removing refunds for SELDESTRUCT's (#328)
• fix(oob): inst modexp pricing f of max (#320)
• fix(lookups): source-into-target-... kebab-case (#322)
• feat(constants): more constants (#318)
• fix(mmu): typo (#316)
• Re-enable STP module in constraints (#315)
• feat(TxnData): switch on module constraint (#312)
• fix(hub): BATCH_NUMBER => RELATIVE_BLOCK_NUMBER
• fix(oob): kill not necessary prc hypothesis (#308)
• fix(oob): modexp lead constraints (#306)
• Added new XAHOY column to HUB -> GAS lookup (#272)
• fix(oob): improved notation (for compassion to future ourselves) and remove old constraint OOB_INST_BLAKE_PARAMS (#304)
• fix(oob): oob inst modexp lead (#300)
• Removed deprecated column names (#303)
• Feat/issue 270/relispify gas (#292)
• Implement EIP 3607 (#298)
• SHF: quick and dirty fix (#290)
• fix(txn_data): revert wrong fix (#283)
• HUB update to handle the MAX_NONCE business (#288)
• Fix/issue 295/fix while debuging the hub (#296)
• feat: add EIP2681_MAX_NONCE global constant (#294)
• feat(txn-data): implement max nonce comparaison (#291)
• feat(oob): introduce max_nonce for CREATE (#285)
• docs: retires zk-EVM (#260)
• feat(exp): activate (#281)
• fix(makefile): comment out HUB, EXP and STP (#280)
• fix(txn_data): typo (#278)
• Feat/issue 261/lispify exp revision (#277)
• feat(exp): update constraints (#275)
• fix(mmu): typo in BIN and OUT constancies (#274)
• STP lisp update and review (#269)
• CALL instruction stack pattern related fixes (#267)
• Missing type annotations for EXT (#263)
• Missing type annotations for the MUL module (#265)
• Hub constraints debugging (#224)
• 257 user docs (#259)
• fix(ecdata): turn index to i16 (#256)
• ras
• Fix/issue 253/spliting scenario call abort (#254)
• fix(rlprcpt): index column overflows (#252)
• fix(ecdata): ecdata debug (#251)
• fix(ecdata): refined constraints (#249)
• fix(ecdata): ACCPC (#247)
• MODEXP implementation done
• perf(constants): add MAX_CODE_SIZE constant to constants.lisp (#244)
• fix(ecdata): ecdata debug (#242)
• feat(ecdata): implemented missing ecpairing constraints (#239) (#240)
• feat(ecdata): implemented constraints for ecadd ecmul and ecpairing (#235) (#237)
• Fix loginfo guards (#238)
• Fix build rule for define.go (#234)
• Removed hub.transaction/PRIORITY_FEE_PER_GAS column
• style(loginfo): rewrite verticalisation constraint guard (...