David Nevado ac70805dd1 Fix underconstrained sign function. ...

- `sign` has been moved from `maingate` to `integer`
 - An extra range check on the auxiliary witness has been added.

2024-01-11 18:06:12 +01:00

..

src

Fix underconstrained sign function.

2024-01-11 18:06:12 +01:00

Cargo.toml

Upgrade halo2_proofs version to v2023_04_20 (#69)

2023-04-26 21:14:06 +08:00