--- Log opened Sat May 06 00:00:53 2023 01:19 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection] 01:19 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1 01:27 < stratospher[m]> thanks! makes sense. 01:29 < sipa> @stratospher Just FYI, people on IRC can't see reaction emojis. 01:32 < stratospher[m]> haha, interesting. 01:36 < stratospher[m]> "it just unifies the bound into a..." <- what's the rationale for this though? (`secp256k1_fe_verify` shows 2048 max magnitude for 5x12 and 32 for 10x26) 01:36 < sipa> Simply... that's how much works. 01:37 < sipa> 10x26 has less "slack" bits in every limb (32-26 = 6 bits) than 5x52. 01:37 < sipa> You're familiar with how the 5x52 and 10x26 field representations work? 01:38 < stratospher[m]> yes, i understood why 2048 is the max magnitude for 5x12 and 32 for 10x26 based on how we fit everything into 64 bit uint64_t 01:39 < sipa> Right 01:40 < stratospher[m]> so it's choosing minimum possible max magnitude for the common interface? 01:40 < sipa> Right. 01:41 < sipa> We want to think of the field logic as having a single interface, that all users (group logic, ecmult, protocols, ...) can access without needing to worry about the internal details. 01:42 < sipa> And the choice for 5x52 vs 10x26 shouldn't affect what users can do... since the group logic has to work for 10x26, and 10x26 has stricter constraints, it effectively means that all users need to obey the 32 magnitude limit it imposes. 01:43 < stratospher[m]> oh, makes sense! thank you! 02:46 -!- scg [~scg@adsl-dyn77.91-127-227.t-com.sk] has joined #secp256k1 02:50 -!- scg [~scg@adsl-dyn77.91-127-227.t-com.sk] has quit [Client Quit] 05:47 -!- jonatack1 [~jonatack@user/jonatack] has quit [Ping timeout: 240 seconds] 05:47 -!- jonatack1 [~jonatack@user/jonatack] has joined #secp256k1 06:16 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has quit [Remote host closed the connection] 06:17 -!- ghost43 [~ghost43@gateway/tor-sasl/ghost43] has joined #secp256k1 09:20 -!- p2plife [~p2plife@vps-46773dd2.vps.ovh.net] has joined #secp256k1 09:20 -!- tromp [~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl] has quit [Read error: Connection reset by peer] 16:07 -!- Netsplit *.net <-> *.split quits: cfields, nickler 16:07 -!- Netsplit over, joins: nickler 16:08 -!- Netsplit over, joins: cfields 18:16 -!- harding_ is now known as harding --- Log closed Sun May 07 00:00:54 2023