zkevm-circuits
zkevm-circuits copied to clipboard
evm rows estimation(`get_test_degree`) is not accurate
copy table not included.
More generally, we can refactor the codes on "each module/table costs how many rows".
TODO:
print 2 type of debug logs:
- for each table/submodule, we manually estimate the rows needed. Like sum(get_height(each_opcode)) for evm circuit, and block.copy_events.bytes.map(|c| c.len()).sum() for copy table. It is quick, but needed manual code maintainence for consistency
- print the row_count() of RegionShape automatically.