polygon zkEVM
is a new zk-rollup that provides Ethereum Virtual Machine (EVM) equivalence (opcode-level compatibility) for a transparent user experience and existing Ethereum ecosystem and tooling compatibility.- It consists on a decentralized Ethereum Layer 2 scalability solution utilising cryptographic zero-knowledge technology to provide validation and fast finality of off-chain transaction computations.
- This approach required the recreation of all EVM opcodes for transparent deployment and transactions with existing Ethereum smart contracts. For this purpose a new set of tools and technologies were created and engineered and are contained in this organization.
The following table shows the recommended versions to use for permissionless nodes:
Network | Erigon | Prover/Executor | Node (deprecated) |
---|---|---|---|
mainent | v2.60.0 | v7.0.4-fork.11 | v0.7.0-fork11 |
cardona | v2.60.0 | v7.0.4-fork.11 | v0.7.0-fork11 |
- The following table aims to summarize the zkEVM compatibility with the official Ethereum test vectors
- The test vectors targeted are located here
- Detailed information could be found in the zkevm-testvectors repository
- Commit ethereum/tests: 24fa31adb30f71ee700b27decb5204e53a11d9f3
- Commit zkevm-testvectors: 51fce991e0621c4397e122fc6d24794bc10f0fc5
- Commit zkevm-rom: a428ddc391044032ef285105e52624bc2051dbcb
- Commit zkevm-proverjs: cedc278e4fbc93b84e8ea4008d9fa4ab590ce08f
Total | Generation errors | Ignored | ✔️ | ❌ | Coverage |
---|---|---|---|---|---|
17799 | 48 | 3034 | 14717 | 0 | 99.67% |
Folder Name | Total | ✔️ | ❌ | Ignored | Cov |
---|---|---|---|---|---|
stArgsZeroOneBalance | 96 | 94 | 0 | 2 | 100.00 |
stAttackTest | 2 | 0 | 0 | 2 | 100.00 |
stBadOpcode | 4250 | 4104 | 1 | 145 | 99.98 |
stBugs | 9 | 7 | 0 | 2 | 100.00 |
stCallCodes | 87 | 67 | 0 | 20 | 100.00 |
stCallCreateCallCodeTest | 55 | 39 | 0 | 16 | 100.00 |
stCallDelegateCodesCallCodeHomestead | 58 | 41 | 0 | 17 | 100.00 |
stCallDelegateCodesHomestead | 58 | 41 | 0 | 17 | 100.00 |
stChainId | 2 | 1 | 0 | 1 | 100.00 |
stCodeCopyTest | 2 | 2 | 0 | 0 | 100.00 |
stCodeSizeLimit | 6 | 6 | 0 | 0 | 100.00 |
stCreate2 | 174 | 129 | 1 | 44 | 99.23 |
stCreateTest | 173 | 135 | 3 | 35 | 97.83 |
stDelegatecallTestHomestead | 31 | 26 | 0 | 5 | 100.00 |
stEIP150Specific | 25 | 23 | 0 | 2 | 100.00 |
stEIP150singleCodeGasPrices | 339 | 329 | 0 | 10 | 100.00 |
stEIP1559 | 44 | 0 | 0 | 44 | 100.00 |
stEIP158Specific | 7 | 4 | 0 | 3 | 100.00 |
stEIP2930 | 138 | 3 | 0 | 135 | 100.00 |
stEIP3607 | 12 | 12 | 0 | 0 | 100.00 |
stExample | 38 | 34 | 0 | 4 | 100.00 |
stExtCodeHash | 65 | 16 | 0 | 49 | 100.00 |
stHomesteadSpecific | 5 | 5 | 0 | 0 | 100.00 |
stInitCodeTest | 22 | 20 | 0 | 2 | 100.00 |
stLogTests | 46 | 46 | 0 | 0 | 100.00 |
stMemExpandingEIP150Calls | 10 | 10 | 0 | 0 | 100.00 |
stMemoryStressTest | 82 | 79 | 0 | 3 | 100.00 |
stMemoryTest | 578 | 567 | 0 | 11 | 100.00 |
stNonZeroCallsTest | 24 | 20 | 0 | 4 | 100.00 |
stPreCompiledContracts | 960 | 425 | 0 | 535 | 100.00 |
stPreCompiledContracts2 | 248 | 100 | 0 | 148 | 100.00 |
stQuadraticComplexityTest | 32 | 17 | 6 | 9 | 73.91 |
stRandom | 313 | 262 | 4 | 47 | 98.50 |
stRandom2 | 226 | 205 | 0 | 21 | 100.00 |
stRecursiveCreate | 2 | 2 | 0 | 0 | 100.00 |
stRefundTest | 26 | 11 | 0 | 15 | 100.00 |
stReturnDataTest | 273 | 237 | 0 | 36 | 100.00 |
stRevertTest | 271 | 168 | 0 | 103 | 100.00 |
stSLoadTest | 1 | 1 | 0 | 0 | 100.00 |
stSStoreTest | 475 | 467 | 0 | 8 | 100.00 |
stSelfBalance | 42 | 40 | 0 | 2 | 100.00 |
stShift | 42 | 42 | 0 | 0 | 100.00 |
stSolidityTest | 23 | 18 | 0 | 5 | 100.00 |
stSpecialTest | 22 | 10 | 2 | 10 | 83.33 |
stStackTests | 375 | 375 | 0 | 0 | 100.00 |
stStaticCall | 478 | 393 | 10 | 75 | 97.52 |
stStaticFlagEnabled | 34 | 25 | 0 | 9 | 100.00 |
stSystemOperationsTest | 72 | 54 | 0 | 18 | 100.00 |
stTimeConsuming | 5190 | 5187 | 0 | 3 | 100.00 |
stTransactionTest | 164 | 148 | 0 | 16 | 100.00 |
stTransitionTest | 6 | 6 | 0 | 0 | 100.00 |
stWalletTest | 46 | 43 | 0 | 3 | 100.00 |
stZeroCallsRevert | 16 | 12 | 0 | 4 | 100.00 |
stZeroCallsTest | 24 | 20 | 0 | 4 | 100.00 |
stZeroKnowledge2 | 519 | 0 | 0 | 519 | 100.00 |
stZeroKnowledge | 800 | 0 | 0 | 800 | 100.00 |
VMTests | 651 | 578 | 14 | 59 | 97.64 |