Releases: Consensys/linea-specification
Releases · Consensys/linea-specification
Cancun and Prague-v1
What's Changed
- update workflow by @OlivierBBB in #142
MXPredesign by @lorenzogentile404 in #103- EIP-1153: Transient storage opcodes by @OlivierBBB in #135
- EIP-3651: warm coinbase by @letypequividelespoubelles in #143
- fix(typo): make hub tx init compile by @letypequividelespoubelles in #149
- fix: make spec compile again by @OlivierBBB in #150
- EIP-3855:
PUSH0instruction by @OlivierBBB in #145 - clean: simplify pc new formula for push X by @letypequividelespoubelles in #156
- EIP 3860: Limit and meter initcode by @OlivierBBB in #144
- EIP-4399: Supplant
DIFFICULTYopcode withPREVRANDAOby @OlivierBBB in #151 - EIP-6780:
SELFDESTRUCTonly in same transaction by @OlivierBBB in #147 - EIP-5656:
MCOPY- Memory copying instruction by @OlivierBBB in #140 SYSTEMtransactions in the HUB by @OlivierBBB in #159- Minor
USER_TXN_DATAmodule refactoring by @OlivierBBB in #169 MXPredesign fixes by @OlivierBBB in #172- Clean up by @OlivierBBB in #174
MXPredesign clean up by @OlivierBBB in #176- Fix
xcolorimport by @OlivierBBB in #177 - EIP-2537: Precompiles for BLS12-381 curve operations by @lorenzogentile404 in #129
- Add
TRANSIENTinstruction family flag toHUB -> IDlookup by @OlivierBBB in #184 - EIP-2537 HUB side by @OlivierBBB in #180
- clean: sub/dom offset increment by @letypequividelespoubelles in #154
- EIP-7516:
BLOBBASEFEEinstruction by @OlivierBBB in #167 - Add
CS_POINT_EVALUATION_FAILUREtoBLSmodule by @lorenzogentile404 in #187 - Constrain
TOTAL_SIZEin theBLSmodule by @lorenzogentile404 in #190 - feat: blobhash opcode by @letypequividelespoubelles in #195
- Add missing shorthands in mxp_v3 and other minor fixes by @lorenzogentile404 in #204
- EIP-6780:
SELFDESTRUCTsemantics: typo fixes by @letypequividelespoubelles in #198 - fix: computed columns was negative in case of SUX by @letypequividelespoubelles in #207
- fix: remove offset from
ct_max_sumwhen setting(next CT_MAX)from a scenario row by @OlivierBBB in #209 MISCflag soundness bug fix in theHUBby @OlivierBBB in #185- typo(hub): system transaction by @letypequividelespoubelles in #210
HUBheartbeat overhaul related fixes by @OlivierBBB in #213EXP: make plateau constraint hold unconditionally under computation by @lorenzogentile404 in #212RLPredesign by @letypequividelespoubelles in #137- OOB: add constraint to disallow the BLS precompiles from EIP-2537: Precompile for BLS12-381 curve operations use in Cancun by @lorenzogentile404 in #179
- Fix Makefile Targets for "log_data" and "log_info" by @Yasith867 in #227
- 218 rlp txn typo by @letypequividelespoubelles in #219
- fix: max1 and max2 in mxp when sizes are 0 by @amkCha in #231
- feat: update MMIO for BLS by @letypequividelespoubelles in #223
- Fix
BLSrelated packages and macros by @OlivierBBB in #235 - Renaming before SYSI refactoring by @OlivierBBB in #237
SYSItransaction fix in theHUBby @OlivierBBB in #238- Enable empty blocks by @OlivierBBB in #241
- fix(SYSI): check for code, not for existence for nontrivial sysi tx by @letypequividelespoubelles in #244
BLOCK_DATAupdate of upper limits for bothTIMESTAMPandNUMBERby @OlivierBBB in #251- Fix typo related to rounding by @lorenzogentile404 in #224
- 218 rlp txn typo (suite) by @OlivierBBB in #230
- feat(wcp): make ct max deterministic by @letypequividelespoubelles in #171
TXN_DATAredesign by @OlivierBBB in #173- Arithmetization team authorship by @OlivierBBB in #257
OOBmoduleG1/G2MSMpricing fix by @OlivierBBB in #260- Cancun and Prague release clean up by @OlivierBBB in #280
Prague vs Prague-v1
Prague-v1 is Prague save for EIP-7702
New Contributors
- @Yasith867 made their first contribution in #227
- @amkCha made their first contribution in #231
Full Changelog: beta-v2...Cancun-and-Prague-v1
Shanghai
What's Changed
- EIP-3855: PUSH0 instruction @OlivierBBB in #145
- EIP 3860: Limit and meter initcode by @OlivierBBB in #144
- EIP-3651: Warm COINBASE by @letypequividelespoubelles
in #143
Full Changelog: Paris...Shanghai
Paris
What's Changed
- update workflow by @OlivierBBB in #142
MXPredesign by @lorenzogentile404 in #103- EIP-4399: Supplant
DIFFICULTYopcode withPREVRANDAOby @OlivierBBB in #151
Full Changelog: beta-v2...Paris
London release `beta-v2`
What's Changed
- CALL related HUB and STP fixes by @OlivierBBB in #5
- STP call cost fix by @OlivierBBB in #10
- Compute the account creation cost in STP only for CALL by @OlivierBBB in #7
- Only CALL may actually transfer value by @OlivierBBB in #9
- Rationalization of
REFUNDincrements forSSTOREby @OlivierBBB in #22 - Provide HUB -> RLPADDR with the correct
init_code_hashby @OlivierBBB in #17 - TXN instrutions write the result to the stack only if unexceptional by @OlivierBBB in #26
- New
scenario/CREATEshorthand by @OlivierBBB in #24 - docs: refine terminology and clarify procedural details by @intls in #13
- fix: Correct description lines of the code by @Anon-im in #20
- fix: correct multiple typos around files by @antews in #25
- IDENTITY typo correction by @OlivierBBB in #27
- Remove double negative from
ICPXtransferHUB -> MMUby @OlivierBBB in #29 - Fix typos 'instrution' → 'instruction' around whole repo by @EricNorberg in #31
- docs: Fix/typos in columns.tex by @vsu727 in #32
- Correct post commands typos and spelling errors by @huperts in #28
ROMLEXflag setting macro by @OlivierBBB in #34- Only unexceptional
ACCOUNTinstructions thattouchForeignAddressupdate its warmth by @OlivierBBB in #38 <value to be set>macro change by @OlivierBBB in #39undoDepStatusAndNumberUpdatewrong constraint fix by @OlivierBBB in #37EXTCODECOPYrequires theCFIas itsMMU_SRC_IDonly for addresses not currently under deployment by @OlivierBBB in #40- BLOCKDATA redesign by @OlivierBBB in #19
- Make the spec compile and amend authors list by @OlivierBBB in #41
- docs: Fix typos and erorrs in initialize.tex by @vsu727 in #36
- TX_INIT and TX_FINL redesign by @OlivierBBB in #12
BLOCKHASHredesign by @OlivierBBB in #43- Fix stack output for
SLOADby @OlivierBBB in #45 - guidelines for non code and trivial contributions by @letypequividelespoubelles in #82
- typo fix by @letypequividelespoubelles in #80
- Reintroduce
acp_EXISTS/acp_EXISTS_NEWcolumns for state manager by @OlivierBBB in #97 - feat:
CONTEXT_NUMBERvanishes outside ofTX_EXECby @OlivierBBB in #98 - feat:
CN = 0 <=> TX_EXEC = 0enforced by explicit constraint by @OlivierBBB in #99 - fix(CFI): guard for strict lex order by @letypequividelespoubelles in #101
- Context consistency argument fix to accommodate for iso-
HUB_STAMPread and update by @OlivierBBB in #96 - Fixed CS for ECPAIRING by @lorenzogentile404 in #108
- Add workflow dispatch button for compiling the spec by @OlivierBBB in #113
- Fix constancy of
TRIVIAL_PAIRINGby @lorenzogentile404 in #110 - Add
FIRSTandFINALaccount existence columns into account and storage consistency arguments by @OlivierBBB in #105 - Hub consistency arguments clean up by @OlivierBBB in #49
- clean: rm dep infty columns by @letypequividelespoubelles in #95
- feat: delete unused columns by @letypequividelespoubelles in #89
- Metadata for dealing with various "Shomei-invisible" storage operations in state manager by @OlivierBBB in #128
- Fixed ECPAIRING typo by @lorenzogentile404 in #130
- 46 fixecdata calltoc1membershipwcp by @lorenzogentile404 in #47
- Revert "46 fixecdata calltoc1membershipwcp" by @lorenzogentile404 in #131
- build: update jetbrain font by @letypequividelespoubelles in #112
- feat: TRM redesign by @letypequividelespoubelles in #106
- Remove duplicate
\firstLaTeX macro by @OlivierBBB in #136
New Contributors
- @letypequividelespoubelles made their first contribution in #82
- @lorenzogentile404 made their first contribution in #108
Full Changelog: https://github.com/Consensys/linea-specification/commits/beta-v2