zkevm-circuits
zkevm-circuits copied to clipboard
privacy-scaling-explorations
After https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/766 the max degree expression in the State Circuit will be 12. This implies a bump in the extended `k` from 3 to 4, which will increase the proving...
Existing perturbation tests were commented out in https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/762, because it's now harder to provide `CopyEvent` that leads to incorrect assignments.
This is likely a placeholder that will get withdrawn as the overall plan for MPT circuit is being documented here: https://hackmd.io/hmz1l0kpS2KiSEpWn7Xsuw
Optimize number of columns and rotations
hey, I understand one usecase of zkevm circuit project is to generate the proof offchain and verify it onchain via solidity code, that means the circuit itself should be independent...
While running inside of the `zkevm-circuits` workspace member `cargo test --release --all-features addmod` we obtain: ``` [2022-08-17T09:29:47Z ERROR zkevm_circuits::evm_circuit::execution] incorrect rw witness. lookup input name: "rw lookup Stack lookup (stored...
For each circuit, based on specific inputs we want to use a minimum `k` value is required. It would be nice to have uniform function helpers for each circuit to...
@adria0 has been working on this for a while in https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/382
We have to run a lot of tests, some in the CI pipeline but a bunch of other tests (eth, benches, etc...) that will be really interesting to have a...
