mit-plv/fiat-crypto

Consider libsecp256k1 "magnitude" semantics instead of tight and loose bounds

andres-erbsen opened this issue · 0 comments

Looks like libsecpk25k1 has a generalization of our tight_bounds and loose_bounds. We might benefit from adopting something similar.

bitcoin-core/secp256k1#1319 (comment)
https://github.com/bitcoin-core/secp256k1/blob/26392da2fb7153addae0bd604495eb96f995d76c/src/field_5x52.h#L24-L26