--- Day changed Sun Dec 08 2019 00:54 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Quit: jonatack] 01:13 -!- b10c [~Thunderbi@muedsl-82-207-236-161.citykom.de] has joined ##taproot-bip-review 02:00 -!- arik_ [~arik@c-73-162-137-55.hsd1.ca.comcast.net] has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…] 02:00 -!- mryandao [~mryandao@gateway/tor-sasl/mryandao] has quit [Ping timeout: 260 seconds] 02:00 -!- mryandao [~mryandao@gateway/tor-sasl/mryandao] has joined ##taproot-bip-review 02:26 -!- mryandao_ [~mryandao@gateway/tor-sasl/mryandao] has joined ##taproot-bip-review 02:29 -!- mryandao- [~mryandao@gateway/tor-sasl/mryandao] has joined ##taproot-bip-review 02:29 -!- mryandao [~mryandao@gateway/tor-sasl/mryandao] has quit [Ping timeout: 260 seconds] 02:31 -!- mryandao_ [~mryandao@gateway/tor-sasl/mryandao] has quit [Ping timeout: 260 seconds] 03:08 -!- b10c [~Thunderbi@muedsl-82-207-236-161.citykom.de] has quit [Ping timeout: 245 seconds] 03:16 -!- belcher [~belcher@unaffiliated/belcher] has quit [Ping timeout: 265 seconds] 03:25 -!- belcher [~belcher@unaffiliated/belcher] has joined ##taproot-bip-review 03:34 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has quit [Read error: Connection reset by peer] 03:46 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection] 03:47 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined ##taproot-bip-review 04:51 -!- b10c [~Thunderbi@2001:16b8:2e33:5800:332c:1de3:da2a:ac52] has joined ##taproot-bip-review 05:09 -!- takinbo [sid19838@gateway/web/irccloud.com/x-mbhxzojvhqxkcjvq] has quit [] 05:13 -!- takinbo [~takinbo@unaffiliated/takinbo] has joined ##taproot-bip-review 05:57 -!- Chris_Stewart_5 [~chris@unaffiliated/chris-stewart-5/x-3612383] has joined ##taproot-bip-review 07:51 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined ##taproot-bip-review 08:25 -!- _andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has joined ##taproot-bip-review 08:38 -!- Chris_Stewart_5 [~chris@unaffiliated/chris-stewart-5/x-3612383] has quit [Ping timeout: 240 seconds] 08:40 < elichai2> What do people think about adding `r > 0` and `s > 0` to the verification algorithm in bip-schnorr https://github.com/sipa/bips/blob/bip-schnorr/bip-schnorr.mediawiki#verification 08:45 < elichai2> altough because P and R are in the hash then technically not verifying this doesn't allow you to "solve" for anything to create fake sigs AFAICT 08:47 < elichai2> (and I don't like the amount of PRs to the repo :/ it's a BIP it should try to be short and readable IMHO) 10:25 -!- davterra [~dulyNoded@50.3.173.163] has joined ##taproot-bip-review 11:15 -!- arik_ [~arik@c-73-162-137-55.hsd1.ca.comcast.net] has joined ##taproot-bip-review 11:31 -!- arik_ [~arik@c-73-162-137-55.hsd1.ca.comcast.net] has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…] 11:31 -!- arik_ [~arik@c-73-162-137-55.hsd1.ca.comcast.net] has joined ##taproot-bip-review 11:40 -!- arik_ [~arik@c-73-162-137-55.hsd1.ca.comcast.net] has quit [Ping timeout: 245 seconds] 11:41 -!- arik_ [~arik@c-73-162-137-55.hsd1.ca.comcast.net] has joined ##taproot-bip-review 11:50 -!- arik_ [~arik@c-73-162-137-55.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] 11:51 -!- arik_ [~arik@c-73-162-137-55.hsd1.ca.comcast.net] has joined ##taproot-bip-review 11:54 -!- arik_ [~arik@c-73-162-137-55.hsd1.ca.comcast.net] has quit [Client Quit] 12:03 -!- davterra [~dulyNoded@50.3.173.163] has quit [Quit: Leaving] 12:07 -!- davterra [~dulyNoded@91.132.136.84] has joined ##taproot-bip-review 12:10 -!- b10c [~Thunderbi@2001:16b8:2e33:5800:332c:1de3:da2a:ac52] has quit [Ping timeout: 250 seconds] 12:13 -!- dr-orlovsky [~dr-orlovs@194.230.155.171] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…] 12:23 -!- dr-orlovsky [~dr-orlovs@194.230.155.171] has joined ##taproot-bip-review 13:03 -!- ZmnSCPxj_ [~ZmnSCPxj@180.190.61.126] has joined ##taproot-bip-review 13:06 -!- ZmnSCPxj [~ZmnSCPxj@180.190.53.119] has quit [Ping timeout: 250 seconds] 13:37 -!- Chris_Stewart_5 [~chris@unaffiliated/chris-stewart-5/x-3612383] has joined ##taproot-bip-review 14:51 -!- Chris_Stewart_5 [~chris@unaffiliated/chris-stewart-5/x-3612383] has quit [Ping timeout: 265 seconds] 16:15 -!- davterra [~dulyNoded@91.132.136.84] has quit [Ping timeout: 240 seconds] 16:16 -!- pinheadmz [~matthewzi@135-180-1-212.static.sonic.net] has joined ##taproot-bip-review 16:16 -!- davterra [~dulyNoded@91.132.136.84] has joined ##taproot-bip-review 16:27 -!- davterra [~dulyNoded@91.132.136.84] has quit [Quit: Leaving] 17:20 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has quit [Ping timeout: 260 seconds] 17:22 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has joined ##taproot-bip-review 17:23 < aj> elichai2: has_square_y(R) will be false if R is 0; so verification should fail by my reading 17:24 < aj> elichai2: i think getting s=0 without R=P=0 is implausible? 17:25 < aj> elichai2: (R=0 would mean you'd know the discrete log of R (k=0) so you could solve for P's private key) 17:48 -!- mryandao- is now known as mryanado 17:48 -!- mryanado is now known as mryandao 18:00 -!- Chris_Stewart_5 [~chris@unaffiliated/chris-stewart-5/x-3612383] has joined ##taproot-bip-review 18:21 -!- achow101 [~achow101@unaffiliated/achow101] has quit [Ping timeout: 246 seconds] 18:36 -!- achow101 [~achow101@unaffiliated/achow101] has joined ##taproot-bip-review 19:06 -!- Chris_Stewart_5 [~chris@unaffiliated/chris-stewart-5/x-3612383] has quit [Ping timeout: 265 seconds] 19:25 -!- ZmnSCPxj [~ZmnSCPxj@180.190.52.160] has joined ##taproot-bip-review 19:26 -!- ZmnSCPxj_ [~ZmnSCPxj@180.190.61.126] has quit [Ping timeout: 246 seconds] 19:40 -!- arik_ [~arik@c-73-162-137-55.hsd1.ca.comcast.net] has joined ##taproot-bip-review 19:47 -!- davterra [~dulyNoded@104.140.15.19] has joined ##taproot-bip-review 20:22 -!- pinheadmz [~matthewzi@135-180-1-212.static.sonic.net] has quit [Quit: pinheadmz] 22:09 -!- rottensox is now known as sanders2020 22:52 -!- sanders2020 is now known as rottensox 23:00 -!- arik_ [~arik@c-73-162-137-55.hsd1.ca.comcast.net] has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…] 23:07 < gmaxwell> s=0 is a perfectly valid signature. r=0 can't ever be valid because no point on the curve has x=0. I don't know why you'd want to have rules for these things. 23:08 < gmaxwell> They're not corner cases in any impementation that comes to mind. 23:08 < gmaxwell> implementation*