zkevm-circuits

zkevm-circuits copied to clipboard

### What command(s) is the bug in? _No response_ ### Describe the bug like this https://github.com/scroll-tech/zkevm-circuits/blob/7ddaf92b1f92dc8bcad9bd004457333b84e5e9d4/bus-mapping/src/evm/opcodes/create.rs#L294 this is the reason behind failure `delegatecallInInitcodeToEmptyContract_d0_g0_v0` of testool ### Concrete steps to reproduce...

lispc

### Describe the feature you would like we have ecc circuit (ecMul/ecAdd/ecPairing) and ecdsa circuit(named SigCircuit currently, for tx sign verification and ecRecover). Both rely on axiom::halo2-libs/halo2-ecc. (But now we...

lispc

Enable circuit and contract support for Blob's kzg

1

### Describe the feature you would like This is an amazing project in the web3 field, And here are some questions and discussions: How is the progress of Circuits supporting...

anylots

cb.rw_counter_offset() is not good style

1

some opcodes use `cb.rw_counter_offset()` to automatically calculating rw counter change. but it is not good style. `cb.rw_counter_offset()` is always right, and apparently hide the how many rw changes under which...

DreamWuGit

current implementation of sstore/sload don't contrain the is_warm cell, it can be any value, resulting soundness problem. furthur random thoughts: if we can design a "circuit sanitizer", it can print...

lispc

Port integration tests from zkevm-chains

3

### Describe the feature you would like We deprecated the zkevm-chain repo, but there are integration tests we would like to keep running them. The tests include: - https://github.com/privacy-scaling-explorations/zkevm-chain/blob/master/coordinator/tests/worst_case.rs Related...

ChihChengLiang

* In zkp its tricky to support 1559 because the gas block limit adjusts with each block +/- 50% per block. * Inside zkrollup it makes less sense because most...

barryWhiteHat

Fix "deploy at existed address" for CREATE at bus-mapping

2

This PR https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/1286 was merged but some of the requests haven't been addressed yet: - https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/1286#discussion_r1127312789

ed255

implement ErrContractAddressCollision error state

1

### Describe the feature you would like when create contract at existing address , this kind of error occurs. ### Additional context _No response_

DreamWuGit

optimise to reduce super circuit degree

1

### What command(s) is the bug in? found on super circuit degree unittest ### Describe the bug Refer https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/1496 code diff: ~~super_circuit degree from 9 -> 12. It might be...

hero78119