Releases · Consensys/linea-constraints

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 (...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Contributors

Releases: Consensys/linea-constraints

beta-v1.2-rc3

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

beta-v1.2/v0.1.0-rc3

beta-v1.2/v0.1.0-rc2

beta-v1.2/v0.1.0-rc1

Contributors

pre-beta-v1: v0.8.0-rc8

pre-beta-v1: v0.8.0-rc7