Expand description
Chip that implements instructions to check: a * b + c == d (mod 2^256) where a, b, c and d are all 256-bit words.
The circuit layout is as follows:
Structs§
- Chip to constrain a * b + c == d (mod 2^256).
- Config for the MulAddChip.
Chip that implements instructions to check: a * b + c == d (mod 2^256) where a, b, c and d are all 256-bit words.
The circuit layout is as follows: