This repository has been archived by the owner on Jul 5, 2024. It is now read-only.
[proof-chunk] implement uncompleted features in bus-mapping and refactor #1778
Comments
hero78119
changed the title
5 tasks
hero78119
added a commit
that referenced
this issue
Mar 1, 2024
…test (#1773) ### Content Reported issues found on multi-chunk testing - [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. - [x] super_circuit/root_circuit tests adopt multiple chunk ### Related Issue To close #1778
1 task
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Describe the feature you would like
To addressed left issues from PR #1690
Additional context
No response
The text was updated successfully, but these errors were encountered: