v0.4.0

What's Changed

• Merge pull request #573 from 0xPolygon/jihwan/integrations-test by @jhkimqd in #573
• Merge branch 'main' into jihwan/integrations-test by @jhkimqd in 706be71
• fix: cleanup after signoff + rebase by @jhkimqd in 0a26f71
• feat: revert op-succinct fep ci check by @jhkimqd in 966478f
• fix: add retries in op-succinct fep ci by @jhkimqd in 6a9fd94
• feat: ci to spin up op-succinct and check services by @jhkimqd in 21eaa29
• chore: lint sh scripts by @jhkimqd in 5bdb5da
• chore: lint dockerfile by @jhkimqd in 08a516a
• fix: add PolygonZkEVMEtrog to sanity check along with PolygonValidiumEtrog by @jhkimqd in 93852e3
• fix: add sanity check for non-fep to pass ci by @jhkimqd in 0d243f7
• fix: PP deployment with op-default.yml fix by @jhkimqd in c5afb46
• chore: bump to agglayer:0.3.0-rc.15 by @praetoriansentry in 4529a66
• feat: update aggkit image by @goran-ethernal in 490ee37
• chore: bump to version 19 by @praetoriansentry in 46a054d
• fix: revert part of ce245cb by @praetoriansentry in a9cc5a8
• feat: revert blockfinality param by @jhkimqd in ff2f652
• Update op-proposer images by @vcastellm in 8a3828c
• chore: bump contracts by @jhkimqd in bf0ae80
• feat: bumping contracts and agglayer by @praetoriansentry in f6f2b91
• feat: adding logic to over ride a blank vkey by default by @praetoriansentry in b51c884
• feat: update aggkit image by @goran-ethernal in 38c8371
• feat: bump images + slim image test + stop op-succinct-contract-deployer after setup by @jhkimqd in 49e5844
• fix: use default verifier address by @atanmarko in 3241c7f
• fix: bump images by @atanmarko in 208d29f
• fix: dead code by @praetoriansentry in 9ec7289
• feat: dropping some unneeded stuff by @praetoriansentry in 88111d0
• fix: issues with slim docker setup by @praetoriansentry in 1a1d129
• feat: version bump by @praetoriansentry in 31347ba
• feat: trying to run with a pre-deployed image by @praetoriansentry in bafeed0
• chore: version bumps by @praetoriansentry in 02ee4dd
• feat: introduce a real-prover config file by @Ekleog-Polygon in 4d82132
• feat: default op-succinct to mock mode by @Ekleog-Polygon in d275952
• feat: adding vkeycheck by @praetoriansentry in 478deec
• Disable op-proposer and op-challenger by @xavier-romero in 43db0c1
• fix: do not deploy the bridge ui by default by @leovct in #566
• chore: bump to hermeznetwork/zkevm-bridge-service:v0.6.0-RC16 by @leovct in #565
• fix: gas_token_enabled should expect 0x0 for op stack by @jhkimqd in 366ff44
• chore: bumping to 1.2.7 by @praetoriansentry in 132c138
• chore: bumping agglayer version by @praetoriansentry in 63e9c94
• chore: bumping aggkit-prover image and proving timeout by @praetoriansentry in 1044dff
• chore: aggkit-prover bump by @praetoriansentry in a1e7a46
• chore: revert mock-prover change to network-prover by @jhkimqd in b32eaf6
• chore: bumping eth package by @praetoriansentry in edb4e0d
• fix: switching to using variable by @praetoriansentry in 8e365b7
• chore: bump images by @jhkimqd in 9320a71
• chore: bump versions by @jhkimqd in 9486e2c
• feat: version bumping by @praetoriansentry in 3f19a85
• chore: name update by @praetoriansentry in 102dc64
• chore: version bump by @praetoriansentry in 8ca4dd2
• feat: change l2oo -> rollupaddr and verifier -> agglayergateway addr by @jhkimqd in 01244dd
• fix: refactor to use rollup init process by @praetoriansentry in 0e92ebc
• feat: bumping version by @praetoriansentry in 9f27e19
• Merge branch 'main' into jihwan/integrations by @jhkimqd in 13cbb32
• Merge branch 'jihwan/integrations' of github.com:0xPolygon/kurtosis-cdk into jihwan/integrations by @praetoriansentry in 0500511
• fix: refactor to get l2oo values by @praetoriansentry in 5eff82c
• chore: bump aggkit prover image by @atanmarko in 861c7d3
• fix: aggkit network prover by @atanmarko in 06331f8
• chore: lint by @jhkimqd in a92270d
• refactor: combine bridge-config files into single file + cleanup + vanilla op-stack deployment fixes by @jhkimqd in 0448448
• fix: issue with the create rollup params by @praetoriansentry in e7e9c31
• fix: running l2oo by @praetoriansentry in e725eef
• feat: pushing the sp1 contract stuff further to the beginning of the process by @praetoriansentry in 316eef9
• feat: adding some starting block number parameters by @praetoriansentry in 87b8716
• chore: bump aggkit img by @jhkimqd in 0fa00a7
• fix: use real network prover by default by @atanmarko in 4041df4
• chore: lint by @jhkimqd in 7e3f7c2
• Merge branch 'main' into jihwan/integrations by @jhkimqd in 115f159
• fix: contract address bytecode check function by @jhkimqd in cc447fa
• fix: revert contract code check by @jhkimqd in 6f26d57
• Merge branch 'main' into jihwan/integrations by @jhkimqd in eb64443
• feat: check contract addresses for bytecode and return err if none by @jhkimqd in 13b950a
• chore: lint by @jhkimqd in c4bd057
• chore: update description by @jhkimqd in 3398a0b
• Merge branch 'jihwan/integrations' of github.com:0xPolygon/kurtosis-cdk into jihwan/integrations by @praetoriansentry in 184a13f
• fix: version bump and issue with deploy_op_node by @praetoriansentry in 4509391
• chore: bump images by @atanmarko in e6d1be5
• chore: update cdk version matrix by @leovct in 07bb96b
• chore: use leovct/zkevm-contracts:v10.0.0-rc.4-fork.12 by @leovct in 14fa8d1
• Merge branch 'main' into jihwan/integrations by @leovct in 7582a6b
• feat: defaulting to pre-deploys by @praetoriansentry in b02d0af
• fix: tactical fixes for predeploy by @praetoriansentry in 486ab47
• feat: enabling bridge spammer by @praetoriansentry in 0a4b52a
• chore: bump op-succinct version by @jhkimqd in db33249
• feat: add docker image builder for agglayer/op-succinct by @jhkimqd in 219eada
• fix: remove overriding consensus to pessimistic by @jhkimqd in faa1714
• chore: use main branch images for aggkit-prover and agglayer by @atanmarko in a80d597
• fix: ci by @jhkimqd in dc507e9
• fix: add aggkit_prover_sp1_key in deafult args by @jhkimqd in d440494
• chore: lint by @jhkimqd in cf7940a
• chore: bump aggkit-prover image by @jhkimqd in 773f118
• Merge remote-tracking branch 'origin/atanmarko/aggkit-prover-test' into jihwan/integrations by @jhkimqd in db1bd4e
• fix: debug logs, span size by @atanmarko in 6ed487c
• fix: rolling back partial refactor since it breaks other args files by @praetoriansentry in 38e3841
• fix: proving timeout by @atanmarko in 8113f8e
• fix: use local aggkit-prover image by @atanmarko in 10089b9
• fix: proposer ports by @atanmarko in 84f1ab7
• fix: specifing specific commits by @praetoriansentry in 9274d90
• feat: speeding up l1 by @praetoriansentry in b878e3f
• fix: add separate aggkit sp1 key by @atanmarko in e4a1dbd
• chore: agglayer/op-succinct bump by @jhkimqd in 8c5a8a9
• feat: linking consensus_contract_type and aggsender mode by @praetoriansentry in bea4ed6
• Merge branch 'main' into jihwan/integrations by @praetoriansentry in 83fb075
• fix: revert pp / fep change by @praetoriansentry in 1b62e96
• feat: bumping for additional logs by @praetoriansentry in 6167773
• chore: update op-succinct images by @jhkimqd in 06148eb
• chore: update op_succinct images by @jhkimqd in d382935
• chore: bumping by @praetoriansentry in e744785
• refactor: revert sovereign-bridge-service naming by @jhkimqd in 86b3881
• fix: deploy both groth16+plonk verifiers by @jhkimqd in b32d519
• feat: increase waitperiod param in aggoracle to avoid bridge ger sync error by @jhkimqd in f967982
• fix: issues related to grpc/http application_protocol by @praetoriansentry in f9253e0
• feat: incorporating changes from goran by @praetoriansentry in c352fd9
• chore: m-x whitespace-cleanup by @praetoriansentry in a468c44
• Merge branch 'jihwan/integrations' of github.com:0xPolygon/kurtosis-cdk into jihwan/integrations by @praetoriansentry in 4db04b7
• fix: op-succinct with groth16 verifier disabled by @jhkimqd in 2527f38
• feat: aggchainfep consensus by @jhkimqd in 1fe9976
• feat: add aggchainfep consensus by @jhkimqd in 49de51b
• chore: cleanup by @jhkimqd in c1ba63d
• feat: deploy SP1VerifierGroth16 contracts and gateway by @jhkimqd in fea6197
• feat: enabling save certificate by @praetoriansentry in dc913e3
• fix: ci and official bridge image for v10+ contracts by @jhkimqd in c783fda
• chore: update agglayer vkey by @jhkimqd in ad21828
• fix: v10 image and pessimistic consensus checks by @jhkimqd in 2b4c0bf
• fix: deployment of AggLayerGateway and Verifier contracts by @jhkimqd in 3c96d88
• fix: verifier key checks and combined.json fix by @jhkimqd in ec69e0a
• docs: add claimsponsor comments by @jhkimqd in 53d0948
• fix: L1 -> L2 bridge claims fix by @jhkimqd in 8f1f47f
• Merge remote-tracking branch 'Freyskeyd/feature/adding-aggkit-prover' by @jhkimqd in d632dff
• feat: update aggkit prover log level configuration by @Freyskeyd in 85425e3
• Merge branch 'main' into feature/adding-aggkit-prover by @jhkimqd in a72b27f
• chore: lint by @jhkimqd in 44f6ba4
• chore: lint by @jhkimqd in 3355dd6
• chore: lint by @jhkimqd in 70cfeb0
• chore: cleanup + lint by @jhkimqd in b08a10d
• fix: add aggkit-prover env var by @jhkimqd in 8da9389
• fix: aggkit-prover-config params + network prover naming by @jhkimqd in 885833a
• chore: cleanup + fixes by @jhkimqd in 33990be
• build: adding more variables to aggkit-prover by @Freyskeyd in 86345ec

Full Changelog: v0.3.6...v0.4.0

Description

Read the Full Changelog for details. High level changes include:

• Bump to v10.0.0+ contracts
• Introduce aggkit-prover
• Deploy AggLayerGateway contracts and corresponding SP1 verifiers
• Fix combined.json values
• Add AggchainFEP consensus
• Add slimmed dockerfile for op-succinct-contract-deployer (golang agglayer/op-succinct ver.)
• Update all respective images
• Cleanup

Testing

To test using PP, simply run:

kurtosis run --enclave=aggkit --args-file=./.github/tests/nightly/op-rollup/op-default.yml .

To test using AggchainFEP, make sure to change the above parameters and use a valid SP1 key to use the network-provers then run:

kurtosis run --enclave=aggkit --args-file=./.github/tests/chains/op-succinct.yml .

Known Issues

When using AggchainFEP consensus, bridging out from the CDK-OP-Geth network may have issues. A fix is being worked on.