Daniel Lubarov d1afe8129c More realistic padding rows in memory ...

This adds padding rows which satisfy the ordering checks. To ensure that they also satisfy the value consistency checks, I just copied the address and value from the last operation.

I think this method of padding feels more natural, though it is a bit more code since we need to calculate the max range check in a different way. But on the plus side, the constraints are a bit smaller and simpler.

Also added a few constraints that I think we need for soundness:
- Each `is_channel` flag is bool.
- Sum of `is_channel` flags is bool.
- Dummy operations must be reads (otherwise the prover could put writes in the memory table which aren't in the CPU table).

2022-07-12 17:46:19 -07:00

..

src

More realistic padding rows in memory

2022-07-12 17:46:19 -07:00

tests

Add test (won't work for a while, but to illustrate)

2022-07-04 18:10:03 -07:00

Cargo.toml

Add test (won't work for a while, but to illustrate)

2022-07-04 18:10:03 -07:00