`zk::gadgets::native_range_check`: Constrain short chunk

darkrenaissance / darkfi

Anonymous. Uncensored. Sovereign.

https://dark.fi

GNU Affero General Public License v3.0

1.07k stars 114 forks source link

`zk::gadgets::native_range_check`: Constrain short chunk #229

Closed therealyingtong closed 11 months ago

therealyingtong commented 11 months ago

[review recommendation: commit-by-commit]

Previously, the native_range_check gadget only constrained multiples of WINDOW_SIZE. This fix introduces constraints for chunks shorter than WINDOW_SIZE.