Hamish Ivey-Law 40866e775a

Refactor arithmetic operation traits (#876) ...

* Use U256s in `generate(...)` interfaces; fix reduction bug modular.

* Refactor `Operation` trait.

* Rename file.

* Rename `add_cc` things to `addcy`.

* Clippy.

* Simplify generation of less-than and greater-than.

* Add some comparison tests.

* Use `PrimeField64` instead of `RichField` where possible.

* Connect `SUBMOD` operation to witness generator.

* Add clippy exception.

* Add missing verification of range counter column.

* Fix generation of RANGE_COUNTER column.

* Address William's PR comments.

2023-02-10 23:07:57 +11:00

..

addcy.rs

Refactor arithmetic operation traits (#876)

2023-02-10 23:07:57 +11:00

arithmetic_stark.rs

Refactor arithmetic operation traits (#876)

2023-02-10 23:07:57 +11:00

columns.rs

Refactor arithmetic operation traits (#876)

2023-02-10 23:07:57 +11:00

mod.rs

Refactor arithmetic operation traits (#876)

2023-02-10 23:07:57 +11:00

modular.rs

Refactor arithmetic operation traits (#876)

2023-02-10 23:07:57 +11:00

mul.rs

Refactor arithmetic operation traits (#876)

2023-02-10 23:07:57 +11:00

utils.rs

Refactor arithmetic operation traits (#876)

2023-02-10 23:07:57 +11:00