Prover/dist prover hiercong #1793
Draft
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
…inea-monorepo into prover/multiset-hashfunction
* Ci tweaks (#1382) * ci: revert to showStandardStreams=false * ci: disable state recovery tests * Use Besu plugin Gradle plugin for Sequencer plugin (#1282) Signed-off-by: Fabio Di Fabio <[email protected]> * Fix: Add log4j annotation for GraalVM (#1387) Signed-off-by: Fabio Di Fabio <[email protected]> * coordinator: log BATCHES_LIMIT when blob reaches batches limit (#1389) * [Feat] changeProxyAdmin script (#1358) * add changeProxyAdmin.ts * add hardhat override * Coordiantor add comment (#1390) * coordinator: add comment on log BATCHES_LIMIT when blob reaches batches limit * adjust some log levels * Apply suggestions from code review Co-authored-by: Roman Vaseev <[email protected]> Signed-off-by: Fluent Crafter <[email protected]> --------- Signed-off-by: Fluent Crafter <[email protected]> Co-authored-by: Roman Vaseev <[email protected]> * [1394] Coordiantor - Make the retention of the Prover Reqeust files optional… (#1395) * Coordiantor - Make the retention of the Prover Reqeust files optional.Files are retained by default * Added a configuration test * Simplified the test * coordinator: optimize conflation to skip trace conflation and shomei … (#1397) * coordinator: optimize conflation to skip trace conflation and shomei when proof is already exists * coordinator: fix typing and adds log message * coordinator: small log tweak * fix(bridge-ui): fix bridge issues (#1393) * add token audits (#1401) * Chore - exclude tge folder (#1403) * exclude tge folder * exclude tge folder * add TGE contracts (#1402) * Feat/t 3 4 tx tests (#1351) * add sendtype4tx script * move chainid in sendblob tx * deploy script for TestEIP7702Delegation * fix typo * Update contracts/src/_testing/mocks/base/TestEIP7702Delegation.sol Co-authored-by: The Dark Jester <[email protected]> Signed-off-by: kyzooghost <[email protected]> * add linea_estimategas utility * less params for estimateGas * Update contracts/scripts/testEIP4844/NineInOne/sendBlobTransaction.ts Co-authored-by: Victorien Gauch <[email protected]> Signed-off-by: kyzooghost <[email protected]> * remove chainid: chainid --------- Signed-off-by: kyzooghost <[email protected]> Co-authored-by: The Dark Jester <[email protected]> Co-authored-by: Victorien Gauch <[email protected]> * coordinator: traces-api share same queue for counters and conflation (#1405) * coordinator: allow to use same endoint for traces counters and conflation * coordinator: fix traces config check * use updated cyfrin audit file (#1412) * fix(bridge-ui): fix bridge issue when connect wallet and display difference text when bridging USDC (#1406) * [Feat] - add empty fee vault and lint others (#1408) * add empty fee vault and lint others * remove operator from natspec * fix text in deploy script * coordinator: improve log message (#1421) * style(bridge-ui): add sidebar mobile animation (#1422) * Chore: set arithmetization="beta-v4.0-rc1-CANCUN (#1425) Signed-off-by: Fabio Di Fabio <[email protected]> * ci - fix sequencer trigger for linea-sequencer-plugin (#1428) * [Chore] Local stack deploy scripts for system contracts (#1407) * added predeploy dynamic artifacts * created local stack deployment scripts for predeploy and eip system contracts * success deployEIPSystemContract on anvil * fix: * attempt fix xvbf issue * Revert "attempt fix xvbf issue" This reverts commit 0b295ba0ef4dbd4c5b2477697fefaadf96653c67. * edits for pr comments * Chore: set arithmetization="beta-v4.0-rc6-CANCUN" (#1429) * Chore: set arithmetization="beta-v4.0-rc5-CANCUN" Signed-off-by: Fabio Di Fabio <[email protected]> * Add PRECOMPILE_BLS_FINAL_EXPONENTIATIONS setting Signed-off-by: François Bojarski <[email protected]> * Add PRECOMPILE_BLS_FINAL_EXPONENTIATIONS setting Signed-off-by: François Bojarski <[email protected]> * Update noModuleLimits.toml Signed-off-by: François Bojarski <[email protected]> * Update strictModuleLimits.toml Signed-off-by: François Bojarski <[email protected]> * Add PRECOMPILE_BLS_FINAL_EXPONENTIATIONS setting Signed-off-by: François Bojarski <[email protected]> * Update line-limits.toml Signed-off-by: François Bojarski <[email protected]> * Update arithmetization version to beta-v4.0-rc6-CANCUN Signed-off-by: François Bojarski <[email protected]> * Increase block time for bundle AT Signed-off-by: Fabio Di Fabio <[email protected]> --------- Signed-off-by: Fabio Di Fabio <[email protected]> Signed-off-by: François Bojarski <[email protected]> Co-authored-by: François Bojarski <[email protected]> * Fix: Sequencer release workflow and packaging (#1426) Signed-off-by: Fabio Di Fabio <[email protected]> * Feat: separate denylist for bundles (#1431) * Feat: separate denylist for bundles Signed-off-by: Fabio Di Fabio <[email protected]> * Use generic deny list if none is specified for bundles Signed-off-by: Fabio Di Fabio <[email protected]> --------- Signed-off-by: Fabio Di Fabio <[email protected]> * chore(global): group trivial PRs (#1438) * feat: update besu and plugin versions (#1381) * feat: update besu and plugin versions * feat: update besu images, traces-limits with BLS and POINT_EVAL, and coordinator configs * feat: update coordinator for limitless trace modules, add maru to the local stack, enable limitless on sequencer and besu nodes * fix: spotless * fix: unit test * feat: update coordinator image and remove l2-node-besu from sequencer depends on * feat: add l2-genesis-initialization on gradle localStack * feat: update linea sequencer and tracer version * fix: linea sequencer version typo * feat: added maru follower and update linea-besu-package version for besu nodes and disable limitless tracing * feat: update coordinator version * Implemented confaltion calculators cutting off the hard forks (#1437) * Implemented confaltion calculators cutting off the hard forks * Removed the accidental localhost * Removed FQN * Removed TTD calculators, introduced AggregationTriggerCalculatorByTimestampHardFork calculator * Review comments * Integration of AggregationTriggerCalculatorByTimestampHardFork with GlobalAggregationCalculatorTest * Integration of AggregationTriggerCalculatorByTimestampHardFork with GlobalAggregationCalculatorTest * Restoring the ConflationCalculatorByTimeDeadlineTest * Moved the validation to the toml data class * Restored some total difficulty fields in BlockFactory * feat: add hardfork calculator in GlobalBlockConflationCalculatorIntTest * fix: GlobalBlockConflationCalculatorIntTest * Reverted state root changes * Made the transition from Clique -> Paris * feat: fix ConflationApp, inject hardfork timestamp to coordinator config, etc.. * Revert "feat: fix ConflationApp, inject hardfork timestamp to coordinator config, etc.." This reverts commit 3184571708a6e435cd7de00c42d4fdbc8be0f2c2. * feat: fix ConflationApp --------- Co-authored-by: jonesho <[email protected]> * Removed unneeded comment --------- Co-authored-by: Roman Vaseev <[email protected]> * [Refactor] Remove stale tx history for BridgeUI (#1420) * created deleteCompleteTx function * added unit tests for isBlockTooOld, isTimestampTooOld. Created restoreFromTransactionCache * did fetchERC20BridgeEvents * fix build errors * silence eslint * remove old comments * attempt fix xvbf issue * create saveToTransactionCache * remove early return * chore(bridge-ui): expand content width on mobile (#1440) * Refactor/sendtype4tx (#1430) * mild refactor to sendType4Tx * fix * add comment * fix * Chore: set arithmetization="beta-v4.0-rc7-CANCUN" (#1448) Signed-off-by: Fabio Di Fabio <[email protected]> * Chore: set besu = "25.8.0-linea2" (#1449) Signed-off-by: Fabio Di Fabio <[email protected]> * feat: EIP-7702 Set Code Transactions (Type 4) in the compressor (#1427) * build: update go-ethereum to v1.15.0 * build: upgrade go-ethereum to v1.15.11 * feat: encode set-code transactions * fix: ...es here and there to make it all work * refactor: move type4 test to v1 compressor package * feat: add auth list * fix: %v for panic instead of %w * ci: update runner for blob native lib build * Revert "ci: update runner for blob native lib build" This reverts commit f638c781709decb6f140f5c22ec2571651196424. * ci: update runner for blob native lib build * test: "failing" blob * refactor: move set-code blob test to blob_test * fix: cursor suggestions --------- Co-authored-by: Fluent Crafter <[email protected]> * chore(deps): update dependencies (#1443) * add type 4 tx SetCodeTxType (#1450) * Fix the sticky failing client in LoadBalancingJsonRpcClient (#1414) * Chore: remove SHF_REFERENCE_TABLE from Sequencer tests configuration (#1452) Signed-off-by: Fabio Di Fabio <[email protected]> * EIP7702 Type 4 transaction workaround (#1423) * WIP - Type 4 transaction workaround * Removing unintentional code * Added a test for the Web3j decoder * Fixed equals and hashcode * Fixed recId * use new compressor/decompressor * use new compressor/decompressor * disable test temporarl to allow build * compressor: rename enum to just V2 * coordinator: update to compressor v2.1.0-rc1 * coordinator: decompressor partial support for EIP7702 tx type 4 * coordinator: fix typo --------- Co-authored-by: Fluent Crafter <[email protected]> * feat: add retry for creating aggregation proof request and add metric… (#1433) * feat: add retry for creating aggregation proof request and add metric for consecutive aggregation proofs * fix: spotless * feat: revise findFirstAggregationStartBlockNumber * feat: revise findHighestConsecutiveEndBlockNumber * feat: add info log for when proof generated * feat: revise log for blob compression proof generated * feat: revise error log to warn log * feat: inject lastFinalizedBlockNumberSupplier to ProofAggregationCoordinatorService * fix: use java Supplier and fix unit test * ci: sequencer plugin improv (#1454) * ci: sequencer plugin improv * ci: sequencer plugin test ci improv * Ci improv sequencer plugin deamon enabled (#1455) * ci: sequencer plugin try to speedup Acceptance Test * ci: sequencer plugin try to speedup Acceptance Test * Refactor - Standardize tsconfig.json 'excludes' based on TypeScript documentation (#1451) * fix excludes * fix for postman build tsconfig * some modifications * try nodenext * try fixes * change readme * local stack coordinator update (#1461) * local stack coordinator update * coordinator: fix toString * Chore: set besu = "25.8.0-linea3" (#1460) Signed-off-by: Fabio Di Fabio <[email protected]> * Feat: Support for cancelling bundle selection (#1444) * Feat: Support for cancelling bundle selection Signed-off-by: Fabio Di Fabio <[email protected]> # Conflicts: # gradle/libs.versions.toml # Conflicts: # gradle/libs.versions.toml * Remove the selectionNotInterrupted lambda Signed-off-by: Fabio Di Fabio <[email protected]> * Use nano time for durations and rewording some logs Signed-off-by: Fabio Di Fabio <[email protected]> * Simplify the code to check for thread interrupt Signed-off-by: Fabio Di Fabio <[email protected]> * Always reset the currSelector Signed-off-by: Fabio Di Fabio <[email protected]> --------- Signed-off-by: Fabio Di Fabio <[email protected]> * Chore: set arithmetization="beta-v4.0-rc8-CANCUN" (#1467) Signed-off-by: Fabio Di Fabio <[email protected]> * feat(bridge-ui): add cctp standard and fast options (#1462) * Feat/e2e switch from london to cancun (#1441) * feat: added hardfork switch to Shanghai and then Cancun in local stack * feat: added maru-follower * feat: revise docker compose files for maru-follower * feat: update docker compose files for besu fleet * feat: remove maru-follower and make template coordinator config for hardforks config injection * feat: update linea-besu-package plugin versions * feat: update linea-besu-package plugin versions and plugin-shomei-zktrace-comparison-mode=31 * Re-generating the test data for the integration tests (#1447) * feat: reset target-end-blocks and timestamp-based-hard-forks to empty list for now * feat: revise fleet e2e test and fleet images * feat: update coordinator image and add maru config for finalization state update * feat: revert to enforce strict rules on traces modules * feat: update besu and plugin versions * feat: comment out fleet image in fleet compose file * feat: update linea-besu-package and coordinator image and coordinator config to beta-v4.0-rc8-CANCUN --------- Co-authored-by: Roman Vaseev <[email protected]> * [Fix] Update pnpm version and use minimumReleaseAge (#1469) * update pnpm version and use minimumReleaseAge * add .npmrc setting * revert .npmrc * dod pnpm deploy --legacy * feat: revise liveness for PoS mode and re-enable liveness e2e test (#1479) * feat: revise liveness for PoS mode and re-enable liveness e2e test * feat: add comment and rename var * fix: spotless * fix: unit test * feat: need to disable liveness e2e test until a new linea-besu-package release * chore: update tracer to beta4.0-rc10 (#1477) * update tracer to beta4.0-rc9-CANCUN Signed-off-by: François Bojarski <[email protected]> * Update arithmetization and besu versions Signed-off-by: François Bojarski <[email protected]> --------- Signed-off-by: François Bojarski <[email protected]> * Releasing new linea besu package (#1481) * feat: update maru and linea-besu-package image to beta-v4.0-rc10 and … (#1482) * feat: update maru and linea-besu-package image to beta-v4.0-rc10 and re-eanble liveness e2e test * feat: add depends on l2-genesis-initialization for coordinator in compose file * feat: increase 30 sec for liveness e2e test * Revert "feat: increase 30 sec for liveness e2e test" This reverts commit 5389dae808a3d8ca72ca2913ce02b5653d5dc5c1. * [Chore] LXP and LXP-L cleanup (#1484) * remove LXP LXP-L * linting * bump runner to medium * feat(bridge-ui): update estimated time when using cctp mode (#1485) * New linea besu package version (#1490) * Chore: set besu = "25.9.0-linea1" (#1489) Signed-off-by: Fabio Di Fabio <[email protected]> * [Fix] Contract docs update (#1464) * docs update * new doc template * rm predeploy docs * empty * Revert "rm predeploy docs" This reverts commit 8ff643136f8b63c3277591f49301a78b6793537d. * fix file delete * update besu to 25.9.0-linea2 (#1497) * Fix: use the correct forkId when creating the ZkTracer (#1498) * Test: Prague contract creation Signed-off-by: Fabio Di Fabio <[email protected]> * Fix: use the correct forkId when creating the `ZkTracer` Signed-off-by: Fabio Di Fabio <[email protected]> --------- Signed-off-by: Fabio Di Fabio <[email protected]> * feat: calldata-based pricing to extract last variable cost from lates… (#1494) * feat: calldata-based pricing to extract last variable cost from latest block extra data and support calldata-based pricing in eth_gasPrice * fix: cooridinator unit tests * feat: revise unit tests * feat: add target block number for getSumOfL2CalldataSize and getVariableCost * feat: remove wait on async combine calls * fix: coordinator unit test * feat: revise var names * feat: revise unit test * feat: revise according to reviews * fix: unit test * chore: rename unit test title * Update coordinator/ethereum/gas-pricing/static-cap/src/main/kotlin/net/consensys/linea/ethereum/gaspricing/staticcap/HistoricVariableCostProviderImpl.kt Co-authored-by: Fluent Crafter <[email protected]> Signed-off-by: jonesho <[email protected]> --------- Signed-off-by: jonesho <[email protected]> Co-authored-by: Fluent Crafter <[email protected]> * fix(bridge-ui): improve Fast Mode for CCTP USDC Bridge (#1496) * [Chore] - 1491 cancun opcode testing (#1501) * update opcode testing to Cancun * add TLOAD and TSTORE * Chore: update Besu and arithmetization (#1502) * Chore: update Besu and arithmetization Signed-off-by: Fabio Di Fabio <[email protected]> * feat: update moduleLimitsLimitless with all modules and unchecked modules at 0, rm ref tables (bin-ref-table, inst-decoder, bls-ref-table, power-ref-table) * feat: dummy value limit for bls_data on limitless * feat: diff module limit crossed for estimateGasFailsForExceedingModuleLineCountTest, set unchecked modules in limitless at 16 to account for spillage) * update error message with new module names and limits from limitless file * spotless * feat: keep unchecked to same value as ZkTracer, BLS DATA limit set to 4096 * feat: set all BLS_DATA to 4096 * Update ATs Signed-off-by: Fabio Di Fabio <[email protected]> --------- Signed-off-by: Fabio Di Fabio <[email protected]> Co-authored-by: amkCha <[email protected]> * Chore: arithmetization="beta-v4.0-rc11-debugging-e2e" (#1505) Signed-off-by: Fabio Di Fabio <[email protected]> * Linea Besu package: update Besu, Sequencer, Tracer, Shomei (#1499) * Linea Besu package: set LINEA_SEQUENCER_PLUGIN_VERSION=4.0-rc10.2 Signed-off-by: Fabio Di Fabio <[email protected]> * adjust log levels * set besu = "25.10.0-RC1-linea1" Signed-off-by: Fabio Di Fabio <[email protected]> * Update Besu and Shomei plugin Signed-off-by: Fabio Di Fabio <[email protected]> * Update Sequencer and Tracer Signed-off-by: Fabio Di Fabio <[email protected]> * Remove extra space Signed-off-by: Fabio Di Fabio <[email protected]> * Update trace limits config Signed-off-by: Fabio Di Fabio <[email protected]> * Update Coordinator tracing modules Signed-off-by: Fabio Di Fabio <[email protected]> * Update Coordinator Docker image Signed-off-by: Fabio Di Fabio <[email protected]> * Adding log collection for Maru * Removing POWER_REFERENCE_TABLE and BLS_REFERENCE_TABLE too * Spotless * Update arithmetization and coordinator Signed-off-by: Fabio Di Fabio <[email protected]> * Setting the default linea besu package * Setting the default linea besu package * Setting the default linea besu package * Updating the tracer version in Coordinator config * Update Sequencer version Signed-off-by: Fabio Di Fabio <[email protected]> --------- Signed-off-by: Fabio Di Fabio <[email protected]> Co-authored-by: Fluent Crafter <[email protected]> Co-authored-by: Roman <[email protected]> * feat: update coordinator and linea-besu-package image (#1506) * Prover/LA Audit Fixes (#1258) * fix: suggestion 2 * fix: suggestion 3 * fix: suggestion 5 * chore: update tracer to 4.0-rc11 (#1509) * chore: update tracer to 4.0-rc11 Signed-off-by: F Bojarski <[email protected]> * revert tracer version update in coordinator config Signed-off-by: F Bojarski <[email protected]> * Update versions.env Signed-off-by: Fabio Di Fabio <[email protected]> --------- Signed-off-by: F Bojarski <[email protected]> Signed-off-by: Fabio Di Fabio <[email protected]> Co-authored-by: Fabio Di Fabio <[email protected]> * Fix: Avoid `ZkTracer` concurrency internal errors during block creation (#1513) Signed-off-by: Fabio Di Fabio <[email protected]> * update expected versions. (#1514) * [Fix] - Use correct L2 Security Council Address (#1517) * correcting docs * matching image updates * feat: update maru, linea-besu-package, and genesis files for prague fork (#1515) * feat: update maru, linea-besu-package, and genesis files for prague fork * feat: revise traces-limits file * Chore: set arithmetization="beta-v4.0-rc12" (#1522) Signed-off-by: Fabio Di Fabio <[email protected]> * Linea Besu Package: update Tracer to `beta-v4.0-rc12` (#1523) Signed-off-by: Fabio Di Fabio <[email protected]> * fix(bridge-ui): allowlist Pinata for token logos (#1521) * fix(bridge-ui): allowlist Pinata for token logos * fix: update test private key * fix: update account name for e2e tests * fix: update metamask wallet setup for e2e tests * fix: update l2 to l1 claiming test * fix(bridge-ui): allowlist Pinata subdomain for token logos * fix: send eth to l2 account on L1 in e2e tests setup * fix: rename MM test setup function --------- Co-authored-by: VGau <[email protected]> * chore: update predeploy contracts mdx docs (#1534) * fix(bridge-ui): memory leak on token list fetch (#1535) * Chore: set besu = "25.10.0-RC2-linea1" (#1538) Signed-off-by: Fabio Di Fabio <[email protected]> * feat(bridge-ui): accept images from Contentful (#1537) * Feat/revise e2e to build local linea besu package (#1527) * feat: build linea-besu-package locally if versions changed * feat: add profile linea-besu for l1-node-genesis-generator * feat: remove profile linea-besu * revert versions.env * Revert "revert versions.env" This reverts commit 17237704b5207339d98b0363aa043acd62eef581. * feat: remove docker-pull-images-linea-besu as profile linea-besu was removed * feat: revise * chore: comment * feat: refactor out workflow linea-besu-package-build-and-upload * feat: revert comment change * Feat(1293): burning mechanism smart contracts (#1504) * feat: implement RollupFeeVault and L1BurnerContract * feat: update contracts and add unit tests * chore: add contract mdx docs * feat: add a function to update operating costs receiver address + add unit tests * chore: update contracts docs * fix: update natspec and variable name * fix: renamed variables + updates tests * fix: add missing tests * chore: update contract docs * fix: update unit tests * fix: add checks + update tests + fix natspecs * fix: update mdx docs * add natspecs * chore: update mdx docs * fix: failing tests * fix: remove checks + update tests * update mdx docs * fix: rename deployment script name * fix: update tests + remove receive function from L1Burner contract * chore: update mdx docs * fix: add natSpecs * chore: update mdx docs * chore: update contract docs * fix: update natspecs + make burnAndBridge external * chore: update contracts docs * fix: move IL1LineaToken interface to a new file * chore: update mdx docs * fix: update submitInvoice logic * fix: update contracts * add access control to swap function * fix: update swap function and interfaces * fix: update natspecs + change variable declaration ordering * chore: update mdx docs * fix: update burnAndBridge function swap approach * chore: update contracts mdx docs * fix: remove .only in tests * fix: add revert when balance == 0 in burner contract * chore: update contract mdx doc * fix: update submitInvoice function ternary condition format * Fix: when selection is cancelled, tracer exceptions are not considered internal errors (#1539) Signed-off-by: Fabio Di Fabio <[email protected]> * Linea Besu Package: Besu 25.10.0-RC2-linea1 and Sequencer 4.0-rc12.2 (#1545) Signed-off-by: Fabio Di Fabio <[email protected]> * Fix: disable colors from Besu container output when running CI tests (#1550) Signed-off-by: Fabio Di Fabio <[email protected]> * feat: add claim via address feature to the postman (#1531) * feat: add claim via address feature to the postman * fix: rename variable * fix: add claimVia param to estimate gas functions in the sdk * fix: update natspecs * feat: update Besu Sepolia genesis beta v4 upgrade and Maru support (#1468) * feat: add Docker Compose setup for Linea Sepolia with Besu and Maru - Update Besu genesis configuration for beta v4.0 - Add Maru consensus layer configuration - Configure Geth with JWT authentication for Engine API - Add proper volume mounts and networking - Include Erigon and Nethermind nodes for testing * added comment for el client * Update maru-genesis.json configuration settings Signed-off-by: Othryades <[email protected]> * Add pragueTime to besu-genesis.json Signed-off-by: Othryades <[email protected]> * fix indentation * Update docker/linea-sepolia/besu-genesis.json Signed-off-by: Julien Marchand <[email protected]> * Update docker/linea-sepolia/maru/config/maru-genesis.json Signed-off-by: Julien Marchand <[email protected]> * Update docker/linea-sepolia/besu-genesis.json Signed-off-by: Julien Marchand <[email protected]> * Update docker/linea-sepolia/docker-compose.yml Signed-off-by: Julien Marchand <[email protected]> * Update docker/linea-sepolia/docker-compose.yml Signed-off-by: Julien Marchand <[email protected]> * fix rm depends_on, networks, version * fix: besu-node config to add ENGINE and disable plugin external * fix update geth genesis * fix: revert baseFeePerGas to 8 wei in besu genesis file * feat: add deployment permission as write in main.yml * feat: run cleanup-deployment only if PR is from fork repo * feat: run cleanup-deployment only if PR is from fork repo * feat update linea besu and maru images and revise geth genesis file and added jwt --------- Signed-off-by: Othryades <[email protected]> Signed-off-by: Julien Marchand <[email protected]> Co-authored-by: Othryades <[email protected]> Co-authored-by: Julien Marchand <[email protected]> Co-authored-by: Julien Marchand <[email protected]> Co-authored-by: Jones Ho <[email protected]> Co-authored-by: jonesho <[email protected]> * Chore: update Linea Besu Package tag and expected traces api version (#1554) Signed-off-by: Fabio Di Fabio <[email protected]> * feat: update arithmetization to beta-v4.0-rc13 (#1558) * feat: update arithmetization to beta-v4.0-rc13 * feat: update sequencer plugin to 4.0-rc13.1 and tracer to beta-v4.0-rc13 (#1560) * feat: update sequencer plugin to 4.0-rc13.1 and tracer to beta-v4.0-rc13 * feat: enable fail-fast on assemble-packages shell script * feat: enable fail-fast on assemble-packages shell script * feat: revert wrong sequencer plugin download link for testing --------- Co-authored-by: jonesho <[email protected]> * Feat: add tx metrics in postman (#1543) * feat: add tx metrics to the postman * fix: update claim tx promise param * fix: compute processing time for failing tx as well * fix: remove date duplication * chore(bridge-ui): replace Dynamic with Web3Auth (#1549) * chore: update pnpm version to 10.18 (#1564) * chore: update pnpm version * fix: update lock file * fix: github action node setup issue * fix: update pnpm workspace file * feat: update mainnet maru and besu configs and genesis files (#1544) * feat: update maru and linea besu nodes with beta-v4.0-rc12 * feat: update with poa-block-txs-selection-max-time and block-txs-selection-max-time * feat: added mainnet maru and besu and genesis files * feat: updated besu config * fix chain ID and remove cancun fork for mainnet (#1556) * feat: remove cancun from all genesis and addressed comments * feat: remove datadir volume mount * feat: change all blockTimeSeconds to 1 in maru genesis * feat: revise mount folder for besu * feat: disable HTTP RPC ENGINE pm 8545 * feat: add cache block header options on mainnet and sepolia besu nodes and add validatorSet for mainnet genesis * feat: disable tx-pool-enable-balance-check as it would fail the L2 contract deployment * feat: update ttd and shanghai switch time plus adding block header cache options * adds dedicated log4j for besu sepolia and mainnet * revert change pushed by mistake * feat: added Maru static nodes and besu bootnodes for mainnet * fix: bootnodes value for mainnet geth node * linea-sepolia-docs-files-improv (#1562) * improve linea-sepolia folder structure * improve linea-mainet folder structure * set besu default as INFO level * Added more static peers * Added payload-validation-enabled false flag * Fixed 1 node's port * feat: enable besu engine api JWT and allow running besu or geth as EL client without changing config * fix: mainnet erigon bootnode urls --------- Co-authored-by: Fluent Crafter <[email protected]> Co-authored-by: Roman <[email protected]> * Geth downgrade until Shanghai (#1567) * Geth downgrade until Shanghai * Geth downgrade until Shanghai * Updated the comment * feat: fix linea-beau-packages profile tests and update besu node vers… (#1568) * feat: fix linea-beau-packages profile tests and update besu node versions for beta-v4.0-rc13 * feat: add option for linea-besu-package-release to skip pushing image to dockerhub * feat: use hyperledger besu for L1 el node in our local stack * move node running examples into docs folder (#1565) * Besu sequencer release (#1570) * Besu sequencer release * Updated arithmetization version as well * Linea besu package update (#1572) * Updating Besu in Linea Besu package * Updated the sequencer plugin, besu and the arithmetization version * Prover: beta v4.0 paris (#1525) * update limits for beta v4.0 cancun * remove shf * update BLS_DATA for Prague * Prover/Support Proof and Verifying Key Cols Expr for Stitcher (#1399) * chore(globalcs): remove an unused comp parameter from factorExpressionList() * chore(variables): use new symbolic Mul in the test * chore(stitchsplit): typo fixes in stitcher test * implemented proofcol expansion * chore(stitchsplit): fixing some comments in stitcher * feat(stitchsplit): enable support for proof and vr key in scanStitchSplit() * fixup(stitcher): bug fix * feat(stitcher): modified prover action to support proof and vk cols * feat(stitcher): the remaining changes are added * feat(stitcher): test added, debug wip * feat: made the constraint oriented changes * fix(stitcher): debug wip * fix(stitcher): bug fixed * fix(stitcher): bug fix concluded * fix: code cleanup * fix: gofmt * fix(stitcher): more bug fixes * fix: gofmt * fix: cursor bot suggestion accepted * fix(serialization): cursor bot suggestion added * fix(stitcher): removing errorf * fix(stitcher): check for larger domain size is added and removed error with panic * fix(stitcher): same as above for local constraint * prover: bump go-corset and constraints (#1317) * bump go-corset to v1.1.15 * update go-corset to v1.1.15 * bump constraints to beta-v3.1-rc7 * initial refactoring for go-corset v1.1.15 This puts through an initial (but not yet complete) refactoring for go-corset v1.1.15. The main differences are around: (1) the organisation of packages; (2) a more complex compilation pipeline which supports mixed assembly and corset modules; (3) merging of the HIR and MIR levels together; (4) changes in the way interleaving assignments are handled. * finalise and update to go-corset to v1.1.16 The update to v1.1.16 was required to give an accessor method for air.Constraint in order to access the actual (underlying) constraint. * fix: trace limits This fixes two distinct issues with trace limits. The first is around the names of modules for the "limitless type proofs". Previously, these were called e.g. ":u128". Now they are called e.g. "u128". The other issue is around modules with non-trivial length multiplier. Specifically, a module "m1" with a length multiplier of 3 has the name "m1×3". Its not clear to me what the best process for resolving this is, so I leave it for others. * update to go-corset v1.1.19 This integrates the prover with go-corset v1.1.19, which includes a number of changes related to field agnosticity and ZK assembly. * update gitattributes This updates the git attributes to inform git that the zkevm.bin file is binary, and should have its line endings changed. * update to go-corset v1.1.20 This is a precaution as go-corset version v1.1.19 contains a race condition. * update for assembly modules exp / shf * update `linea-constraints` to `9cad732` This also updates the `zkevm.bin` file to the compiled `zkevm_london.bin` * fix broken limit config * update constraints to beta-v4.0-rc10 (edbf0c6) * replace fmt.Printf with logrus.Infof for module size logging in scanColumns * update sepolia config for beta v4.0 * update devnet config * update type TraceLimits for beta v4.0 * add trace limits for new modules in beta v4.0 * fix e2e error: remove unused column handles from GetAffinities function * add scaling for new beta 4.0 internal modules in TracesLimits * remove unused SHF_REFERENCE_TABLE from integration benchmark and full config files * add new discovery advice entries and update existing column references in limitless.go * remove unused column handle from GetAffinities function * update trace limits for beta v4.0 * update beta v4.0 module limits * add default trace limits for Beta v4.0 * add missing discovery advice entries for beta v4.0 --------- Signed-off-by: Leo Jeong <[email protected]> Co-authored-by: DavePearce <[email protected]> * prover: hotfix mainnet (prover image: 5d1d2f5) (#1367) * fix edge case while padding cols * exit on block keccak limit overflow instead of panic * always use rlp_txn 65536 * fix(alignment): return an overflow instead of deadlooping * fix OnLimitOverflow * exit on overflow for smart vectors * revert RLP_TXN default limits --------- Co-authored-by: srinathln7 <[email protected]> * copy config file to assetsDir/config/ during make setup * update version for beta v4.0 * Add conflation stats logging for execution prover * fix bug: refactor logging levels in config types to correct order * update golang to 1.24.6 * update to zkevm_shanghai.bin * zkevm_cancun.bin * update to go-corset v1.1.23 This updates to go-corset v1.1.23 and the latest constraints release. In particular, this adds entries in the various limits files, and also traces_limit.go for the internal modules used for the ZK assembly. At this stage, it remains to update limitless.go. * fix trace limits for new cancun constraints * remove byte shl, shr, sar and fill_bytes from discovery advice * ignore property assertions This ignores property assertions which can occur within the zkevm.bin file. They are a debugging facility only and, hence, can be safely ignored. They are used to check things which are expected to be true during testing. * update limit for `POWER_REFERENCE_TABLE` to 32 * update default trace limits * add missing shomei limits to `config_default.go` * update test trace limits in `traces_limit.go` for beta v4.0 * Fix non-deterministic constraint ordering in arithmetization definition This commit addresses a non-deterministic error where constraints were processed in an unpredictable order, leading to sporadic failures such as: constraint #695954 is not satisfied (natualize.go) error="constraint #621136 is not satisfied" (globalcs/evaluation.go) The root cause was that constraints from the corset schema were iterated in their native order, which could vary between runs due to Go’s map iteration semantics. This resulted in inconsistent constraint evaluation and verification failures. * upate prover version to 6.0.6 for cancun * use zkevm_cancun.bin * Refactor trace limits configuration for improved readability * perf: merge prover/perf/large3 (#1507) Squashed commit of the following: commit 8fffcd0ef2b4985475162286553ed26d87683abd Author: Ivo Kubjas <[email protected]> Date: Mon Oct 6 15:36:13 2025 +0000 chore: include GCD convergence from gnark-crypto commit 7fa96db45de7a780e5b80c7d53c05733b534e6eb Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 15:04:38 2025 +0000 fix: fix race condition commit 619488bc28e11eea0c205ff1250ed02a89443ce6 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 14:51:22 2025 +0000 docs: add warning about no concurent use of arena reset commit 4f54d3b8b971f1315dbe625bd6a42941c6337d45 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 14:50:35 2025 +0000 restore config and cmd file commit 4fc6f488034de6c5f9cf206c47500a7473158d3a Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 14:47:27 2025 +0000 fix: remove bench from previous commit commit 8b844653dbef86cb0d68f725c13184bf17c4234e Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 14:47:01 2025 +0000 reduce allocs in InitOpeningWithLC and remove inner proof sanity check commit 4c444a99c6a555acbc5c702f9472a7721b164fa6 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 13:18:02 2025 +0000 fix: remove potential race on vector arena commit 8e88ceaddb432c462a633ab8fc112a6f303a51d5 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 01:33:00 2025 +0000 feat: restore cmd and config file commit a70e7f2cd586b56b17c8e239ed74b68cdbf8b961 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 01:30:25 2025 +0000 feat: hardcode mimc commit e7af66a10e1dd0affaf693714ad53c1329aeab3a Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 01:20:25 2025 +0000 build: update to correct gnark-crypto commit 5a7160410e68afb6f07671289c3142f7b215915a Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 19:12:05 2025 +0000 perf: checkpoint commit 4671e7a35672f85c6ac38905765f674616c861e3 Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 18:54:48 2025 +0000 perf: checkpoint commit d9dee6f4ce07eccc011f970fb34d851b93870d56 Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 16:32:22 2025 +0000 perf: checkpoint commit d3ce940c526f8db6021dfbbe94af134eb73fc91d Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 15:11:48 2025 +0000 minor diff commit 19f26c81b93b4a30ff4418dc50e96410140a5851 Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 15:04:01 2025 +0000 fix: excessive memory in prover_tasks commit 93df154fdc2b759cae9d4cf872f5c34c6bbcf0e2 Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 15:00:14 2025 +0000 clean up unused files commit dfd1ee9d75808beeee4dbc26251a903d341a7364 Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 14:59:40 2025 +0000 perf: new ringsis using gnarkcrypto commit 98d83b5134ab76ecd62d347c5f697d0d2c746f1f Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 14:49:07 2025 +0000 feat: add transversal hash simple bench commit caad1d9335875e950cd425db7e4f3e6f9b9c718f Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 14:40:39 2025 +0000 perf: improve commit with sis commit 4656664b927e0deebb0729d419a53bb32d844618 Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 14:28:43 2025 +0000 feat: add CommitWithSIS benchmark * go mod tidy * zkevm_london/paris.bin * set prover version to 6.0.4 for Paris * zkevm_paris.bin * feat: add new discovery advice entries for rc11 (paris) * use zkevm_paris.bin * impl. custom ser/de for gnark.fft domain (#1533) * impl. custom ser/de for gnark.fft domain * rm bug in TestSelfRecursionManyLayersWithSerde * update constraints to rc11-hotfix (eb3fc85a) * update constraints to rc13 (f79e3b2) * fix: reapply execution-large circuit bug fix This bug was originally fixed in PR #844 (https://github.com/Consensys/linea-monorepo/pull/844) but was overwritten by the limitless prover changes and has reappeared. The issue occurs because zkevmFull's sync.Once is called by the execution circuit, so it cannot be redefined for execution-large. As a result, execution-large uses the zkevm instance defined for execution. This fix introduces separate sync.Once instances to ensure both circuits are initialized independently. * chore: enhance logging for circuit setup and module size checks * add Paris verifier contracts cp ./prover-assets/6.0.4/sepolia/emulation/Verifier.sol ../contracts/src/verifiers/paris/PlonkVerifierParisSepoliaFull.sol cp ./prover-assets/6.0.4/mainnet/emulation/Verifier.sol ../contracts/src/verifiers/paris/PlonkVerifierParisMainnetFull.sol * rename Paris verifier contracts * fix test to use paris verifiers * update test data for paris * fix: sticher scaling offset error * update paris verifiers cp ./prover-assets/6.0.4/sepolia/emulation/Verifier.sol ../contracts/src/verifiers/paris/PlonkVerifierSepoliaFull.sol cp ./prover-assets/6.0.4/mainnet/emulation/Verifier.sol ../contracts/src/verifiers/paris/PlonkVerifierMainnetFull.sol * fix contract CI * update pragma solidity version and contract names for Paris PlonkVerifierMainnetFull and PlonkVerifierSepoliaFull * add beta v4 test data --------- Signed-off-by: Leo Jeong <[email protected]> Co-authored-by: Arijit Dutta <[email protected]> Co-authored-by: DavePearce <[email protected]> Co-authored-by: srinathln7 <[email protected]> Co-authored-by: Ivo Kubjas <[email protected]> Co-authored-by: Lakshminarayanan Nandakumar <[email protected]> * Prover: beta v4.0 shanghai (#1526) * update limits for beta v4.0 cancun * remove shf * update BLS_DATA for Prague * Prover/Support Proof and Verifying Key Cols Expr for Stitcher (#1399) * chore(globalcs): remove an unused comp parameter from factorExpressionList() * chore(variables): use new symbolic Mul in the test * chore(stitchsplit): typo fixes in stitcher test * implemented proofcol expansion * chore(stitchsplit): fixing some comments in stitcher * feat(stitchsplit): enable support for proof and vr key in scanStitchSplit() * fixup(stitcher): bug fix * feat(stitcher): modified prover action to support proof and vk cols * feat(stitcher): the remaining changes are added * feat(stitcher): test added, debug wip * feat: made the constraint oriented changes * fix(stitcher): debug wip * fix(stitcher): bug fixed * fix(stitcher): bug fix concluded * fix: code cleanup * fix: gofmt * fix(stitcher): more bug fixes * fix: gofmt * fix: cursor bot suggestion accepted * fix(serialization): cursor bot suggestion added * fix(stitcher): removing errorf * fix(stitcher): check for larger domain size is added and removed error with panic * fix(stitcher): same as above for local constraint * prover: bump go-corset and constraints (#1317) * bump go-corset to v1.1.15 * update go-corset to v1.1.15 * bump constraints to beta-v3.1-rc7 * initial refactoring for go-corset v1.1.15 This puts through an initial (but not yet complete) refactoring for go-corset v1.1.15. The main differences are around: (1) the organisation of packages; (2) a more complex compilation pipeline which supports mixed assembly and corset modules; (3) merging of the HIR and MIR levels together; (4) changes in the way interleaving assignments are handled. * finalise and update to go-corset to v1.1.16 The update to v1.1.16 was required to give an accessor method for air.Constraint in order to access the actual (underlying) constraint. * fix: trace limits This fixes two distinct issues with trace limits. The first is around the names of modules for the "limitless type proofs". Previously, these were called e.g. ":u128". Now they are called e.g. "u128". The other issue is around modules with non-trivial length multiplier. Specifically, a module "m1" with a length multiplier of 3 has the name "m1×3". Its not clear to me what the best process for resolving this is, so I leave it for others. * update to go-corset v1.1.19 This integrates the prover with go-corset v1.1.19, which includes a number of changes related to field agnosticity and ZK assembly. * update gitattributes This updates the git attributes to inform git that the zkevm.bin file is binary, and should have its line endings changed. * update to go-corset v1.1.20 This is a precaution as go-corset version v1.1.19 contains a race condition. * update for assembly modules exp / shf * update `linea-constraints` to `9cad732` This also updates the `zkevm.bin` file to the compiled `zkevm_london.bin` * fix broken limit config * update constraints to beta-v4.0-rc10 (edbf0c6) * replace fmt.Printf with logrus.Infof for module size logging in scanColumns * update sepolia config for beta v4.0 * update devnet config * update type TraceLimits for beta v4.0 * add trace limits for new modules in beta v4.0 * fix e2e error: remove unused column handles from GetAffinities function * add scaling for new beta 4.0 internal modules in TracesLimits * remove unused SHF_REFERENCE_TABLE from integration benchmark and full config files * add new discovery advice entries and update existing column references in limitless.go * remove unused column handle from GetAffinities function * update trace limits for beta v4.0 * update beta v4.0 module limits * add default trace limits for Beta v4.0 * add missing discovery advice entries for beta v4.0 --------- Signed-off-by: Leo Jeong <[email protected]> Co-authored-by: DavePearce <[email protected]> * prover: hotfix mainnet (prover image: 5d1d2f5) (#1367) * fix edge case while padding cols * exit on block keccak limit overflow instead of panic * always use rlp_txn 65536 * fix(alignment): return an overflow instead of deadlooping * fix OnLimitOverflow * exit on overflow for smart vectors * revert RLP_TXN default limits --------- Co-authored-by: srinathln7 <[email protected]> * copy config file to assetsDir/config/ during make setup * update version for beta v4.0 * Add conflation stats logging for execution prover * fix bug: refactor logging levels in config types to correct order * update golang to 1.24.6 * update to zkevm_shanghai.bin * zkevm_cancun.bin * update to go-corset v1.1.23 This updates to go-corset v1.1.23 and the latest constraints release. In particular, this adds entries in the various limits files, and also traces_limit.go for the internal modules used for the ZK assembly. At this stage, it remains to update limitless.go. * fix trace limits for new cancun constraints * remove byte shl, shr, sar and fill_bytes from discovery advice * ignore property assertions This ignores property assertions which can occur within the zkevm.bin file. They are a debugging facility only and, hence, can be safely ignored. They are used to check things which are expected to be true during testing. * update limit for `POWER_REFERENCE_TABLE` to 32 * update default trace limits * add missing shomei limits to `config_default.go` * update test trace limits in `traces_limit.go` for beta v4.0 * Fix non-deterministic constraint ordering in arithmetization definition This commit addresses a non-deterministic error where constraints were processed in an unpredictable order, leading to sporadic failures such as: constraint #695954 is not satisfied (natualize.go) error="constraint #621136 is not satisfied" (globalcs/evaluation.go) The root cause was that constraints from the corset schema were iterated in their native order, which could vary between runs due to Go’s map iteration semantics. This resulted in inconsistent constraint evaluation and verification failures. * upate prover version to 6.0.6 for cancun * use zkevm_cancun.bin * Refactor trace limits configuration for improved readability * perf: merge prover/perf/large3 (#1507) Squashed commit of the following: commit 8fffcd0ef2b4985475162286553ed26d87683abd Author: Ivo Kubjas <[email protected]> Date: Mon Oct 6 15:36:13 2025 +0000 chore: include GCD convergence from gnark-crypto commit 7fa96db45de7a780e5b80c7d53c05733b534e6eb Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 15:04:38 2025 +0000 fix: fix race condition commit 619488bc28e11eea0c205ff1250ed02a89443ce6 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 14:51:22 2025 +0000 docs: add warning about no concurent use of arena reset commit 4f54d3b8b971f1315dbe625bd6a42941c6337d45 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 14:50:35 2025 +0000 restore config and cmd file commit 4fc6f488034de6c5f9cf206c47500a7473158d3a Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 14:47:27 2025 +0000 fix: remove bench from previous commit commit 8b844653dbef86cb0d68f725c13184bf17c4234e Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 14:47:01 2025 +0000 reduce allocs in InitOpeningWithLC and remove inner proof sanity check commit 4c444a99c6a555acbc5c702f9472a7721b164fa6 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 13:18:02 2025 +0000 fix: remove potential race on vector arena commit 8e88ceaddb432c462a633ab8fc112a6f303a51d5 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 01:33:00 2025 +0000 feat: restore cmd and config file commit a70e7f2cd586b56b17c8e239ed74b68cdbf8b961 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 01:30:25 2025 +0000 feat: hardcode mimc commit e7af66a10e1dd0affaf693714ad53c1329aeab3a Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 01:20:25 2025 +0000 build: update to correct gnark-crypto commit 5a7160410e68afb6f07671289c3142f7b215915a Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 19:12:05 2025 +0000 perf: checkpoint commit 4671e7a35672f85c6ac38905765f674616c861e3 Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 18:54:48 2025 +0000 perf: checkpoint commit d9dee6f4ce07eccc011f970fb34d851b93870d56 Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 16:32:22 2025 +0000 perf: checkpoint commit d3ce940c526f8db6021dfbbe94af134eb73fc91d Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 15:11:48 2025 +0000 minor diff commit 19f26c81b93b4a30ff4418dc50e96410140a5851 Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 15:04:01 2025 +0000 fix: excessive memory in prover_tasks commit 93df154fdc2b759cae9d4cf872f5c34c6bbcf0e2 Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 15:00:14 2025 +0000 clean up unused files commit dfd1ee9d75808beeee4dbc26251a903d341a7364 Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 14:59:40 2025 +0000 perf: new ringsis using gnarkcrypto commit 98d83b5134ab76ecd62d347c5f697d0d2c746f1f Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 14:49:07 2025 +0000 feat: add transversal hash simple bench commit caad1d9335875e950cd425db7e4f3e6f9b9c718f Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 14:40:39 2025 +0000 perf: improve commit with sis commit 4656664b927e0deebb0729d419a53bb32d844618 Author: Gautam Botrel <[email protected]> Date: Thu Oct 2 14:28:43 2025 +0000 feat: add CommitWithSIS benchmark * Merge 'origin/main' into prover/beta-v4.0-shanghai * go mod tidy * zkevm_shanghai.bin * set prover version to 6.0.5 for Shanghai * zkevm_shanghai.bin * feat: add new discovery advice entries for rc11 * use zkevm_shanghai.bin * impl. custom ser/de for gnark.fft domain (#1533) * impl. custom ser/de for gnark.fft domain * rm bug in TestSelfRecursionManyLayersWithSerde * update constraints to rc11-hotfix (eb3fc85a) * update devnet config * update constraints to rc13 (f79e3b2) * fix: reapply execution-large circuit bug fix This bug was originally fixed in PR #844 (https://github.com/Consensys/linea-monorepo/pull/844) but was overwritten by the limitless prover changes and has reappeared. The issue occurs because zkevmFull's sync.Once is called by the execution circuit, so it cannot be redefined for execution-large. As a result, execution-large uses the zkevm instance defined for execution. This fix introduces separate sync.Once instances to ensure both circuits are initialized independently. * chore: enhance logging for circuit setup and module size checks * add Shanghai verifier contracts cp ./prover-assets/6.0.5/sepolia/emulation/Verifier.sol ../contracts/src/verifiers/shanghai/PlonkVerifierShanghaiSepoliaFull.sol cp ./prover-assets/6.0.5/mainnet/emulation/Verifier.sol ../contracts/src/verifiers/shanghai/PlonkVerifierShanghaiMainnetFull.sol * rename Shanghai verifier contracts * fix: sticher scaling offset error * update shanghai verifiers cp ./prover-assets/6.0.5/sepolia/emulation/Verifier.sol ../contracts/src/verifiers/shanghai/PlonkVerifierSepoliaFull.sol cp ./prover-assets/6.0.5/mainnet/emulation/Verifier.sol ../contracts/src/verifiers/shanghai/PlonkVerifierMainnetFull.sol * add beta v4 test data --------- Signed-off-by: Leo Jeong <[email protected]> Co-authored-by: Arijit Dutta <[email protected]> Co-authored-by: DavePearce <[email protected]> Co-authored-by: srinathln7 <[email protected]> Co-authored-by: Ivo Kubjas <[email protected]> Co-authored-by: Lakshminarayanan Nandakumar <[email protected]> * Chore: besu = "25.10.0-linea2" and arithmetization="beta-v4.0-rc16" (#1580) Signed-off-by: Fabio Di Fabio <[email protected]> * chore(bridge-ui): bump Web3Auth (#1581) * Linea Besu Package update (#1582) * Implement configuration reload for LineaTransactionPoolValidatorPlugin (#1553) * Implement configuration reload for LineaTransactionPoolValidatorPlugin, add acceptance test, update unit tests * Implement configuration reload for LineaBundleEndpointsPlugin * Throw exception if configuration isn't present * Add test testDenySender_cannotAddTxToPool_thenAllowSender * Apply fail fast to lineaTransactionPoolValidatorFactory * Remove unnecessary storage of config object * spotless * Return failed future if factory is not available * Return failed future if exception is thrown --------- Co-authored-by: Fabio Di Fabio <[email protected]> * code rearrange on web3j EthApi implementation (#1583) * chore(bridge-ui): revert minimumReleaseAge exclusions (#1586) * maru genesis update mainnet (#1593) * Disabling p2p logs for mainnet in Maru's setup (#1597) * improv logs doc (#1598) * improv maru log4j in docs and docker configs * update genesis inside besu package (#1575) * update genesis inside besu package --------- Co-authored-by: jonesho <[email protected]> Co-authored-by: jonesho <[email protected]> * Fixing the trace limits for Mainnet and Sepolia (#1602) * Chore: set besu = "25.10.0-linea3" (#1606) Signed-off-by: Fabio Di Fabio <[email protected]> * Linea Besu Package update (#1608) * Fixing the trace limits for Mainnet and Sepolia * Updating the linea-besu-package version in the docker compose stack * Linea Besu Package: update Besu to 25.10.0-linea3 (#1609) Signed-off-by: Fabio Di Fabio <[email protected]> * chore(bridge-ui): add fallback RPC providers (#1612) * remove LineaL1FinalizationTagUpdaterPlugin from besu package profiles… (#1613) * remove LineaL1FinalizationTagUpdaterPlugin from besu package profiles and documentation * adds more static peers for mainnet * chore(bridge-ui): bump Web3Auth (#1617) * Ci codeql improv (#1619) * ci: codeQL avoid run jobs unnecessarily * ci: codeQL avoid run jobs unnecessarily * ci: tigger changes * ci: adjust checks * ci: adjust checks * ci: adjust checks * ci: adjust checks * ci: set permissions * ci: adjust checks * ci: adjust checks * try to improve codeqal flow * test ts codeql * fix: change condition type check from boolean to string * fix: revert matrix condition type * fix: remove test typescript code * fix: codeql workflow to dynamically build the matrix * fix: rename actions language * retrigger CodeQL * fix: update code ql workflow matrix generation * fix: update code ql workflow matrix generation * test codeql ci * fix: revert codeql test * fix: remove unused step in codeql analyze job * fix: remove spaces in codeql workflow file --------- Co-authored-by: Fluent Crafter <[email protected]> * Sequencer plugin update (#1626) * Prover: beta v4.0 Cancun (#1486) * update limits for beta v4.0 cancun * remove shf * update BLS_DATA for Prague * Prover/Support Proof and Verifying Key Cols Expr for Stitcher (#1399) * chore(globalcs): remove an unused comp parameter from factorExpressionList() * chore(variables): use new symbolic Mul in the test * chore(stitchsplit): typo fixes in stitcher test * implemented proofcol expansion * chore(stitchsplit): fixing some comments in stitcher * feat(stitchsplit): enable support for proof and vr key in scanStitchSplit() * fixup(stitcher): bug fix * feat(stitcher): modified prover action to support proof and vk cols * feat(stitcher): the remaining changes are added * feat(stitcher): test added, debug wip * feat: made the constraint oriented changes * fix(stitcher): debug wip * fix(stitcher): bug fixed * fix(stitcher): bug fix concluded * fix: code cleanup * fix: gofmt * fix(stitcher): more bug fixes * fix: gofmt * fix: cursor bot suggestion accepted * fix(serialization): cursor bot suggestion added * fix(stitcher): removing errorf * fix(stitcher): check for larger domain size is added and removed error with panic * fix(stitcher): same as above for local constraint * prover: bump go-corset and constraints (#1317) * bump go-corset to v1.1.15 * update go-corset to v1.1.15 * bump constraints to beta-v3.1-rc7 * initial refactoring for go-corset v1.1.15 This puts through an initial (but not yet complete) refactoring for go-corset v1.1.15. The main differences are around: (1) the organisation of packages; (2) a more complex compilation pipeline which supports mixed assembly and corset modules; (3) merging of the HIR and MIR levels together; (4) changes in the way interleaving assignments are handled. * finalise and update to go-corset to v1.1.16 The update to v1.1.16 was required to give an accessor method for air.Constraint in order to access the actual (underlying) constraint. * fix: trace limits This fixes two distinct issues with trace limits. The first is around the names of modules for the "limitless type proofs". Previously, these were called e.g. ":u128". Now they are called e.g. "u128". The other issue is around modules with non-trivial length multiplier. Specifically, a module "m1" with a length multiplier of 3 has the name "m1×3". Its not clear to me what the best process for resolving this is, so I leave it for others. * update to go-corset v1.1.19 This integrates the prover with go-corset v1.1.19, which includes a number of changes related to field agnosticity and ZK assembly. * update gitattributes This updates the git attributes to inform git that the zkevm.bin file is binary, and should have its line endings changed. * update to go-corset v1.1.20 This is a precaution as go-corset version v1.1.19 contains a race condition. * update for assembly modules exp / shf * update `linea-constraints` to `9cad732` This also updates the `zkevm.bin` file to the compiled `zkevm_london.bin` * fix broken limit config * update constraints to beta-v4.0-rc10 (edbf0c6) * replace fmt.Printf with logrus.Infof for module size logging in scanColumns * update sepolia config for beta v4.0 * update devnet config * update type TraceLimits for beta v4.0 * add trace limits for new modules in beta v4.0 * fix e2e error: remove unused column handles from GetAffinities function * add scaling for new beta 4.0 internal modules in TracesLimits * remove unused SHF_REFERENCE_TABLE from integration benchmark and full config files * add new discovery advice entries and update existing column references in limitless.go * remove unused column handle from GetAffinities function * update trace limits for beta v4.0 * update beta v4.0 module limits * add default trace limits for Beta v4.0 * add missing discovery advice entries for beta v4.0 --------- Signed-off-by: Leo Jeong <[email protected]> Co-authored-by: DavePearce <[email protected]> * prover: hotfix mainnet (prover image: 5d1d2f5) (#1367) * fix edge case while padding cols * exit on block keccak limit overflow instead of panic * always use rlp_txn 65536 * fix(alignment): return an overflow instead of deadlooping * fix OnLimitOverflow * exit on overflow for smart vectors * revert RLP_TXN default limits --------- Co-authored-by: srinathln7 <[email protected]> * copy config file to assetsDir/config/ during make setup * update version for beta v4.0 * Add conflation stats logging for execution prover * fix bug: refactor logging levels in config types to correct order * update golang to 1.24.6 * update to zkevm_shanghai.bin * zkevm_cancun.bin * update to go-corset v1.1.23 This updates to go-corset v1.1.23 and the latest constraints release. In particular, this adds entries in the various limits files, and also traces_limit.go for the internal modules used for the ZK assembly. At this stage, it remains to update limitless.go. * fix trace limits for new cancun constraints * remove byte shl, shr, sar and fill_bytes from discovery advice * ignore property assertions This ignores property assertions which can occur within the zkevm.bin file. They are a debugging facility only and, hence, can be safely ignored. They are used to check things which are expected to be true during testing. * update limit for `POWER_REFERENCE_TABLE` to 32 * update default trace limits * add missing shomei limits to `config_default.go` * update test trace limits in `traces_limit.go` for beta v4.0 * Fix non-deterministic constraint ordering in arithmetization definition This commit addresses a non-deterministic error where constraints were processed in an unpredictable order, leading to sporadic failures such as: constraint #695954 is not satisfied (natualize.go) error="constraint #621136 is not satisfied" (globalcs/evaluation.go) The root cause was that constraints from the corset schema were iterated in their native order, which could vary between runs due to Go’s map iteration semantics. This resulted in inconsistent constraint evaluation and verification failures. * upate prover version to 6.0.6 for cancun * use zkevm_cancun.bin * Refactor trace limits configuration for improved readability * perf: merge prover/perf/large3 (#1507) Squashed commit of the following: commit 8fffcd0ef2b4985475162286553ed26d87683abd Author: Ivo Kubjas <[email protected]> Date: Mon Oct 6 15:36:13 2025 +0000 chore: include GCD convergence from gnark-crypto commit 7fa96db45de7a780e5b80c7d53c05733b534e6eb Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 15:04:38 2025 +0000 fix: fix race condition commit 619488bc28e11eea0c205ff1250ed02a89443ce6 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 14:51:22 2025 +0000 docs: add warning about no concurent use of arena reset commit 4f54d3b8b971f1315dbe625bd6a42941c6337d45 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 14:50:35 2025 +0000 restore config and cmd file commit 4fc6f488034de6c5f9cf206c47500a7473158d3a Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 14:47:27 2025 +0000 fix: remove bench from previous commit commit 8b844653dbef86cb0d68f725c13184bf17c4234e Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 14:47:01 2025 +0000 reduce allocs in InitOpeningWithLC and remove inner proof sanity check commit 4c444a99c6a555acbc5c702f9472a7721b164fa6 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 13:18:02 2025 +0000 fix: remove potential race on vector arena commit 8e88ceaddb432c462a633ab8fc112a6f303a51d5 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 01:33:00 2025 +0000 feat: restore cmd and config file commit a70e7f2cd586b56b17c8e239ed74b68cdbf8b961 Author: Gautam Botrel <[email protected]> Date: Fri Oct 3 01:30:25 2025 +0000 feat: hardcode mimc commit e7af66a10e1dd0affaf693714ad53c1329aeab3a Author: Gautam Botre…
…segments of current module
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This PR implements issue(s) #
Checklist