Consensys / corset

4 stars 10 forks source link

Improved translation for `NORM(e)` #91 #93

Closed DavePearce closed 1 month ago

DavePearce commented 1 month ago

This applies a patch suggested by Franklin for improving the translation of NORM(e) terms. Specifically, when e is known to be binary then we actually don't need to create an inverse column. Instead, we can use e directly as we already know its normalised.