--- Log opened Tue Jan 04 00:00:20 2022 02:22 < elichai2> a thought, I wonder if libsecp was written in Rust if we could've enforced the magnitude at compile time using the type system, thus not allowing to compile code that doesn't obey the right magnitude rules and not needing to ifdef it via VERIFY, that could've been pretty cool 02:22 -!- siv2r[m] [~siv2rmatr@2001:470:69fc:105::fed3] has joined #secp256k1 02:22 -!- sipa [~sipa@user/sipa] has joined #secp256k1 02:22 -!- robertspigler [~robertspi@2001:470:69fc:105::2d53] has joined #secp256k1 05:41 -!- darosior [~darosior@194.36.189.246] has quit [Quit: darosior] 05:43 -!- darosior [~darosior@194.36.189.246] has joined #secp256k1 05:46 -!- darosior [~darosior@194.36.189.246] has quit [Client Quit] 05:47 -!- darosior [~darosior@194.36.189.246] has joined #secp256k1 05:48 -!- meshcollider [meshcollid@user/meshcollider] has quit [Ping timeout: 240 seconds] 05:50 -!- siv2r[m] [~siv2rmatr@2001:470:69fc:105::fed3] has quit [Ping timeout: 240 seconds] 05:55 < roconnor> without any runtime representation? 05:56 -!- meshcollider [meshcollid@jujube.ircnow.org] has joined #secp256k1 06:02 < elichai2> roconnor: I think so, yeah. because technically the magnitude is only affected by things you can reason on compile time, no? or maybe if you do multiply a field element inside a loop which is dependent on a runtime variable but you promise that it's still in bounds, hmm 06:08 -!- siv2r[m] [~siv2rmatr@2001:470:69fc:105::fed3] has joined #secp256k1 06:20 < roconnor> Right. It was more of a question about whether rust can do such things without any runtime overhead or not. 10:44 -!- luke-jr [~luke-jr@user/luke-jr] has quit [Ping timeout: 256 seconds] 10:44 -!- lukedashjr [~luke-jr@user/luke-jr] has joined #secp256k1 10:45 -!- lukedashjr is now known as luke-jr 10:53 -!- lukedashjr [~luke-jr@user/luke-jr] has joined #secp256k1 10:54 -!- luke-jr [~luke-jr@user/luke-jr] has quit [Ping timeout: 240 seconds] 10:54 -!- lukedashjr is now known as luke-jr 11:57 -!- luke-jr [~luke-jr@user/luke-jr] has quit [Ping timeout: 256 seconds] 11:58 -!- luke-jr [~luke-jr@user/luke-jr] has joined #secp256k1 12:05 -!- meshcollider [meshcollid@jujube.ircnow.org] has quit [Ping timeout: 256 seconds] 12:05 -!- meshcollider [meshcollid@jujube.ircnow.org] has joined #secp256k1 13:16 -!- meshcollider [meshcollid@jujube.ircnow.org] has quit [Changing host] 13:16 -!- meshcollider [meshcollid@user/meshcollider] has joined #secp256k1 --- Log closed Wed Jan 05 00:00:21 2022