Hamish Ivey-Law 69228491d8

Unify generation and verification of ADD/SUB/LT/GT operations (#872) ...

* Unify handling of ADD, SUB, LT, GT under the formula x+y=z+cy*2^256.

* Rename general column ranges to "registers" instead of "inputs".

* Rename 'compare' module to 'addcc'.

* Update comments.

* Enforce length equality in iteration.

* Address William's PR comments.

2023-02-07 23:52:58 +11:00

..

benches

For permutations, find the optimal sequence of swaps

2022-08-09 16:33:02 -04:00

spec

MPT format tweaks

2022-10-14 18:09:43 -07:00

src

Unify generation and verification of ADD/SUB/LT/GT operations (#872)

2023-02-07 23:52:58 +11:00

tests

Prep for publishing to crates.io

2023-01-30 13:18:06 -08:00

Cargo.toml

Prep for publishing to crates.io

2023-01-30 13:18:06 -08:00