[x] refactor 1: simply chunking boundary judgement logic in bus-mapping to ready for finish other incompleted features + avoid tech dept in the future
[x] add uncompleted logic in bus-mapping: chronological and by-address rwtable not propagate pre-chunk last rw correctly.
[x] edge case: deal with dummy chunk for real chunk less than desired chunk in circuit params
[x] allow zero limb diff in state_circuit lexicoordering => we allow duplicated rw_counter in padding, and rely on permutation constraints on by-address/chronological rw_table to avoid malicious padding insert.
Content
Reported issues found on multi-chunk testing
rw_counter
inpadding
, and rely on permutation constraints on by-address/chronological rw_table to avoid malicious padding insert.Related Issue
To close https://github.com/privacy-scaling-explorations/zkevm-circuits/issues/1778