--- Log opened Mon Jan 23 00:00:23 2023
06:05 < andytoshi> harding: i think it might be interesting to mention that the exhaustive tests exist _at all_
06:05 < andytoshi> sipa: ^
06:07 < andytoshi> so like, you could say "it turns out that by changing the B parameter of the secp256k1 curve, it is possible to find a different curve group, whose order is 13 rather than ~2^256, for which the existing libsecp256k1 code continues to work. on this tiny, cryptographically useless group, it is possible to test the libsecp256k1 logic exhaustively on every possible signature. #1192 discusses some obscure 
06:07 < andytoshi> algebraic nonsense related to this"
06:07 < andytoshi> or something :P
06:08 < sipa> I wouldn't use "nonsense", but otherwise, sure!
06:12 < andytoshi> "In, #1192, the libsecp developers noticed some obscure algebra about the structure of these tiny groups."
06:35 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 260 seconds]
06:43 -!- jonatack [~jonatack@user/jonatack] has joined #secp256k1
07:06 -!- hg [~halosghos@user/halosghost] has joined #secp256k1
07:33 < sipa> If you do want an actual hint of what is going on, if you believe someone may be interested, perhaps: "In #1192, such a group of size 7 was added in addition to the existing sizes 13 and 199, after figuring the peculiar algebraic properties that caused the naive search algorithm for such groups to not always succeed before. Size 13 remains the default."
07:33 < sipa> But I really don't know if it's worth going into such detail.
08:41 -!- scg [~scg@2804:1530:104:44a:aca8:85d4:c20d:bb30] has quit [Ping timeout: 260 seconds]
09:37 -!- achow101_ is now known as achow101
09:37 -!- achow101 [~achow101@user/achow101] has quit [Quit: Bye]
09:38 -!- achow101 [~achow101@user/achow101] has joined #secp256k1
10:55 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 246 seconds]
10:56 -!- jonatack [~jonatack@user/jonatack] has joined #secp256k1
11:24 -!- scg [~scg@2804:1530:104:44a:889c:b357:5166:d7e2] has joined #secp256k1
12:08 -!- instagibbs_ is now known as instagibbs
12:44 -!- Netsplit *.net <-> *.split quits: RubenSomsen, sipa, siv2r
12:44 -!- RubenSomsen_ [sid301948@user/rubensomsen] has joined #secp256k1
12:46 -!- Netsplit over, joins: sipa
12:49 -!- siv2r [~siv2rmatr@2001:470:69fc:105::fed3] has joined #secp256k1
13:14 -!- roze_paul [~quassel@142.243.254.224] has joined #secp256k1
13:30 -!- jonatack [~jonatack@user/jonatack] has quit [Quit: WeeChat 3.8]
13:44 -!- jonatack [~jonatack@user/jonatack] has joined #secp256k1
14:46 -!- roze_paul [~quassel@142.243.254.224] has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
15:13 -!- hg [~halosghos@user/halosghost] has quit [Quit: WeeChat 3.8]
16:10 -!- scg [~scg@2804:1530:104:44a:889c:b357:5166:d7e2] has quit [Ping timeout: 260 seconds]
23:44 -!- andytoshi [~apoelstra@user/andytoshi] has quit [Ping timeout: 260 seconds]
23:44 -!- andytoshi [~apoelstra@user/andytoshi] has joined #secp256k1
--- Log closed Tue Jan 24 00:00:23 2023