feat(3738): AVM basic arithmetic operations for non ff types#3881

Merged

jeanmon merged 40 commits intomasterfrom jm/3738-arithmetic-non-ff

Jan 23, 2024

+2,978-398

Commits on Jan 2, 2024

PIL relations for u8, u16, u32, u64, u128 additions
jeanmon
committed
PIL relations for subtraction of u8, u16, u32, u64, 128 types
jeanmon
committed
3738 - explanations on arithmetic operations PIL relations
jeanmon
committed
3738 - additions and subtractions re-visited with 16-bit registers
jeanmon
committed

Commits on Jan 3, 2024

Merge branch 'avm-main' into jm/3738-u32-arithmetic
jeanmon
committed
3738 - pil relations for multiplication types u8, u16, u32, u64
jeanmon
committed
3738 - pil relations for u128 multiplication
jeanmon
committed

Commits on Jan 5, 2024

Merge branch 'avm-main' into jm/3738-arithmetic-non-ff
jeanmon
committed
3738 - First version of Alu trace files
jeanmon
committed

Commits on Jan 8, 2024

3738 - witness generation for addition
jeanmon
committed
Merge branch 'master' into jm/3738-arithmetic-non-ff
jeanmon
committed
Merge branch 'master' into jm/3738-arithmetic-non-ff
jeanmon
committed

Commits on Jan 9, 2024

3738 - create common header file for tests
jeanmon
committed
3738 - rename arithmetic test suite specific for FF
jeanmon
committed
3738 - move FF addition to alu chip and create a unit test for u8
jeanmon
committed
3738 - first unit tests for u8
jeanmon
committed

Commits on Jan 10, 2024

3738 - positive unit tests for addition
jeanmon
committed
3738 - witness generation for subtraction and move ff pil relation to
jeanmon
committed

Commits on Jan 11, 2024

Commits on Jan 12, 2024

3738: style improvement and comments
jeanmon
committed
3738 - bugfixing PIL relation for u128 multiplication and unit tests
jeanmon
committed
Merge branch 'master' into jm/3738-arithmetic-non-ff
jeanmon
committed
Merge branch 'master' into jm/3738-arithmetic-non-ff
jeanmon
committed

Commits on Jan 15, 2024

Merge branch 'master' into jm/3738-arithmetic-non-ff
jeanmon
committed
3738 - add basic negative unit tests for each operation and type
jeanmon
committed

Commits on Jan 17, 2024

Commits on Jan 18, 2024

3738 - consolidate multiplication relations for u8, u16, u32, u64
jeanmon
committed
3738 - comparator for memory traces migrated as < operator overload
jeanmon
committed
3738 - adding some TODO in comments
jeanmon
committed
Merge branch 'master' into jm/3738-arithmetic-non-ff
jeanmon
committed

Commits on Jan 19, 2024

Commits on Jan 22, 2024

Merge branch 'master' into testing-merge-arith
jeanmon
committed
3738 - capitalize enum values
jeanmon
committed

Commits on Jan 23, 2024

Merge branch 'master' into jm/3738-arithmetic-non-ff
jeanmon
committed
Merge branch 'master' into jm/3738-arithmetic-non-ff
jeanmon
committed