zkevm-circuits
zkevm-circuits copied to clipboard
privacy-scaling-explorations
We'd like to have, for each individual circuit, benchmarks of CPU and Memory consumption, with different options for the degree (k).
Depends on https://github.com/privacy-scaling-explorations/zkevm-specs/issues/244
both bus-mapping and evm circuit according to spec https://github.com/appliedzkp/zkevm-specs/blob/master/specs/tables.md
Previously we remove memory in geth trace since tracing memory can easily result gigabytes of trace json and even hang geth. But there is one piece still missing: precompile. We...
After https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/937 we no longer need the implementation `Circuit` for sub-circuits in production, it's only required for test and crates `circuit-benchmarks` to benchmark individual sub-circuit, so we should move current...
I made an effort to migrate `Part` and `PartValue` and the witness assignment/generation in general to use the `Value` struct from halo2 API in https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/925. During the process, I found...
While migrating `KeccakMultiPacked` circuit to support the Challenge API, I came across the custom `CellManager` type as well as `CellColumn` and `Cell`, `KeccakRegion` etc... After chatting with @Brechtpd a bit...
Adds a sha256 circuit with the same lookup interface as the keccak circuit. - Requires 72 rows/sha256 permutation (64 bytes absorbed per permutation) - Uses ~130 columns - Would be...
The following points need clarification regarding the zkevm-specs and the pi circuit implementation. - In the zkevm-specs we encode each value with `FQ(v) = v % 0x30644e72e131a029b85045b68181585d97816a916871ca8d3c208c16d87cfd47` to fit into...
I'd pro ably try to abstract this as would be tough to mantain.. Why don't we have some kind of struct which deals with the complexity and just gives us...
