--- Log opened Mon May 15 00:00:01 2023 07:34 < roconnor> https://github.com/bitcoin-core/secp256k1/blob/master/src/modinv64_impl.h#L105-L106 07:35 < roconnor> Do we want to check the limbs of modulus as well to ensure they are within (-2^62,2^62)? 07:36 < sipa> As a VERIFY_CHECK ? 07:36 < roconnor> yes, in the loop above where r is checked. 07:36 < sipa> sgtm 08:13 -!- preimage [~halosghos@user/halosghost] has joined #secp256k1 14:28 -!- lightningbot [~supybot@2400:8901::f03c:91ff:febb:bbc1] has quit [Remote host closed the connection] 14:28 -!- lightningbot [~supybot@2400:8901::f03c:91ff:febb:bbc1] has joined #secp256k1 14:48 -!- preimage [~halosghos@user/halosghost] has quit [Quit: WeeChat 3.8] --- Log closed Tue May 16 00:00:02 2023