Eduard S.
Eduard S.
The Root circuit is in charge of * Passing the public inputs to super circuit * Aggregating Super Circuit proof
Depends on https://github.com/privacy-scaling-explorations/halo2/issues/90 - [x] Bytecode Circuit https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/753 - [x] Tx Circuit https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/752 - [x] Keccak Circuit https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/751 - [ ] EVM Circuit https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/750 - [x] State Circuit https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/855 -...
Reference example: https://github.com/privacy-scaling-explorations/zkevm-circuits/pull/803
See https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/650#issuecomment-1319441372 Our current circuits can be parametrized with a maximum number of operations supported: - TxCircuit: max number of txs - CopyCircuit: max number of copied bytes - StateCircuit:...
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
- Currently we're using the geth API `debug_traceBlockByHash` to get execution traces (with memory disabled, which we reconstruct on our side) - We're generating a trace of accessed data in...
The `LtChip` defined in `gadgets/src/less_than.rs` uses this constrain: `lhs - rhs = diff - lt * 2.pow(8*N)` where `diff = from_bytes(diff_bytes)` and `diff_bytes: [Column; N],` This constrain is only useful...
In `src/evm_circuit/util/math_gadget.rs` we have several math gadgets that are used in opcode gadgets. While the opcode gadgets have unit tests (which indirectly test the math gadgets), we don't have unit...
| opcode | spec | circuit | bus-mapping | ExecutionState | Notes | | ------ | ---- | ------- | ----------- | -------------- | ----- | | STOP | x...