o1-labs / o1js

TypeScript framework for zk-SNARKs and zkApps
https://docs.minaprotocol.com/en/zkapps/how-to-write-a-zkapp
Apache License 2.0
500 stars 110 forks source link

housekeeping: use 88 bit range checks for `Field.parity` #1028

Open Trivo25 opened 1 year ago

mitschabaude commented 1 year ago

This should be expanded to be "expose primitives for efficient range checks to snarkyjs and use them everywhere possible".

Things that are super expensive and we can speed up with range checks: