feat(contract-verifier): Support Solidity contracts with EVM bytecode in contract verifier #3225
Conversation
This file contains 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
slowli
changed the title
slowli
commented
Nov 4, 2024
popzxc
approved these changes
Nov 6, 2024
perekopskiy
approved these changes
Nov 6, 2024
slowli
deleted the
aov-evm-807-add-evm-contracts-option-to-the-contract_verifier
branch
This was referenced Nov 6, 2024
github-merge-queue bot
pushed a commit
that referenced
this pull request
Nov 18, 2024
🤖 I have created a release *beep* *boop* --- ## [17.1.0](prover-v17.0.0...prover-v17.1.0) (2024-11-18) ### Features * Add min_replicas for SimpleScaler, apply_min_to_namespace config ([#3282](#3282)) ([bc00c4a](bc00c4a)) * allow vm2 tracers to stop execution ([#3183](#3183)) ([9dae839](9dae839)) * **contract-verifier:** Support Solidity contracts with EVM bytecode in contract verifier ([#3225](#3225)) ([8a3a82c](8a3a82c)) * **prover:** Add cluster name autodetection ([#3227](#3227)) ([bd32aec](bd32aec)) * **prover:** Add queue metric to report autoscaler view of the queue. ([#3206](#3206)) ([2721396](2721396)) * ProverJobProcessor & circuit prover ([#3287](#3287)) ([98823f9](98823f9)) * **prover:** Move prover_autoscaler config into crate ([#3222](#3222)) ([1b33b5e](1b33b5e)) ### Bug Fixes * **prover:** Remove unneeded dependencies, add default for graceful_shutdown_timeout ([#3242](#3242)) ([1bfff0e](1bfff0e)) --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please).
github-merge-queue bot
pushed a commit
that referenced
this pull request
Nov 19, 2024
🤖 I have created a release *beep* *boop* --- ## [25.2.0](core-v25.1.0...core-v25.2.0) (2024-11-19) ### Features * add more metrics for the tee_prover ([#3276](#3276)) ([8b62434](8b62434)) * **api-server:** add `yParity` for non-legacy txs ([#3246](#3246)) ([6ea36d1](6ea36d1)) * **consensus:** fallback json rpc syncing for consensus ([#3211](#3211)) ([726203b](726203b)) * **contract-verifier:** Adapt contract verifier API for EVM bytecodes ([#3234](#3234)) ([4509179](4509179)) * **contract-verifier:** Support Solidity contracts with EVM bytecode in contract verifier ([#3225](#3225)) ([8a3a82c](8a3a82c)) * **contract-verifier:** Support Vyper toolchain for EVM bytecodes ([#3251](#3251)) ([75f7db9](75f7db9)) * **en:** Support Merkle tree recovery with pruning enabled ([#3172](#3172)) ([7b8640a](7b8640a)) * ProverJobProcessor & circuit prover ([#3287](#3287)) ([98823f9](98823f9)) * **prover:** Move prover_autoscaler config into crate ([#3222](#3222)) ([1b33b5e](1b33b5e)) * **vm_executor:** Add new histogram metric for gas per tx in vm_executor ([#3215](#3215)) ([3606fc1](3606fc1)) * **vm:** add gateway changes to fast vm ([#3236](#3236)) ([f3a2517](f3a2517)) ### Bug Fixes * **merkle-tree:** Repair stale keys for tree in background ([#3200](#3200)) ([363b4f0](363b4f0)) * **tracer:** Add error to flat tracer ([#3306](#3306)) ([7c93c47](7c93c47)) * use_dummy_inclusion_data condition ([#3244](#3244)) ([6e3c36e](6e3c36e)) * **vm:** Do not require experimental VM config ([#3270](#3270)) ([54e4b00](54e4b00)) --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please). --------- Co-authored-by: zksync-era-bot <[email protected]>
Deniallugo
pushed a commit
that referenced
this pull request
Nov 21, 2024
🤖 I have created a release *beep* *boop* --- ## [25.2.0](core-v25.1.0...core-v25.2.0) (2024-11-19) ### Features * add more metrics for the tee_prover ([#3276](#3276)) ([8b62434](8b62434)) * **api-server:** add `yParity` for non-legacy txs ([#3246](#3246)) ([6ea36d1](6ea36d1)) * **consensus:** fallback json rpc syncing for consensus ([#3211](#3211)) ([726203b](726203b)) * **contract-verifier:** Adapt contract verifier API for EVM bytecodes ([#3234](#3234)) ([4509179](4509179)) * **contract-verifier:** Support Solidity contracts with EVM bytecode in contract verifier ([#3225](#3225)) ([8a3a82c](8a3a82c)) * **contract-verifier:** Support Vyper toolchain for EVM bytecodes ([#3251](#3251)) ([75f7db9](75f7db9)) * **en:** Support Merkle tree recovery with pruning enabled ([#3172](#3172)) ([7b8640a](7b8640a)) * ProverJobProcessor & circuit prover ([#3287](#3287)) ([98823f9](98823f9)) * **prover:** Move prover_autoscaler config into crate ([#3222](#3222)) ([1b33b5e](1b33b5e)) * **vm_executor:** Add new histogram metric for gas per tx in vm_executor ([#3215](#3215)) ([3606fc1](3606fc1)) * **vm:** add gateway changes to fast vm ([#3236](#3236)) ([f3a2517](f3a2517)) ### Bug Fixes * **merkle-tree:** Repair stale keys for tree in background ([#3200](#3200)) ([363b4f0](363b4f0)) * **tracer:** Add error to flat tracer ([#3306](#3306)) ([7c93c47](7c93c47)) * use_dummy_inclusion_data condition ([#3244](#3244)) ([6e3c36e](6e3c36e)) * **vm:** Do not require experimental VM config ([#3270](#3270)) ([54e4b00](54e4b00)) --- This PR was generated with [Release Please](https://github.com/googleapis/release-please). See [documentation](https://github.com/googleapis/release-please#release-please). --------- Co-authored-by: zksync-era-bot <[email protected]>
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.
What ❔
Supports verifying Solidity contracts deployed with EVM bytecode in the contract verifier.
Why ❔
Part of supporting EVM emulation throughout the Era codebase.
Checklist
zkstack dev fmtandzkstack dev lint.