--- Log opened Tue Jan 10 00:00:10 2023
00:06 -!- cotsuka1 [~cotsuka@user/cotsuka] has joined #bitcoin-wizards
00:08 -!- cotsuka8 [~cotsuka@user/cotsuka] has joined #bitcoin-wizards
00:08 -!- cotsuka [~cotsuka@user/cotsuka] has quit [Ping timeout: 272 seconds]
00:08 -!- cotsuka8 is now known as cotsuka
00:11 -!- cotsuka1 [~cotsuka@user/cotsuka] has quit [Ping timeout: 272 seconds]
00:40 -!- Guyver2 [~Guyver@77-174-98-73.fixed.kpn.net] has joined #bitcoin-wizards
00:46 -!- bitdex [~bitdex@gateway/tor-sasl/bitdex] has quit [Remote host closed the connection]
00:49 -!- bitdex [~bitdex@gateway/tor-sasl/bitdex] has joined #bitcoin-wizards
00:56 -!- wudu [~wudu@dynamic-077-179-141-123.77.179.pool.telefonica.de] has joined #bitcoin-wizards
02:04 -!- kexkey [~kexkey@static-198-54-132-141.cust.tzulo.com] has quit [Ping timeout: 272 seconds]
02:05 -!- kexkey [~kexkey@static-198-54-132-141.cust.tzulo.com] has joined #bitcoin-wizards
04:35 -!- AaronvanW [~AaronvanW@user/AaronvanW] has joined #bitcoin-wizards
04:46 -!- Guyver2_ [~Guyver@77-174-98-73.fixed.kpn.net] has joined #bitcoin-wizards
04:48 -!- Guyver2 [~Guyver@77-174-98-73.fixed.kpn.net] has quit [Ping timeout: 252 seconds]
04:48 -!- Guyver2_ is now known as Guyver2
04:59 -!- andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has quit [Remote host closed the connection]
04:59 -!- andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has joined #bitcoin-wizards
05:02 -!- wudu [~wudu@dynamic-077-179-141-123.77.179.pool.telefonica.de] has quit [Ping timeout: 268 seconds]
05:30 -!- Guyver2 [~Guyver@77-174-98-73.fixed.kpn.net] has left #bitcoin-wizards [Closing Window]
05:33 -!- _andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has joined #bitcoin-wizards
05:34 -!- andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has quit [Remote host closed the connection]
05:34 -!- bitdex [~bitdex@gateway/tor-sasl/bitdex] has quit [Quit: = ""]
05:40 -!- deusexbeer [~deusexbee@188.170.78.32] has joined #bitcoin-wizards
05:46 -!- wudu [~wudu@dynamic-077-179-141-123.77.179.pool.telefonica.de] has joined #bitcoin-wizards
06:30 -!- instantp10neer [~instantp1@user/instantp10neer] has joined #bitcoin-wizards
06:49 -!- MacroFake [~none@107.172.8.183] has quit [Remote host closed the connection]
06:52 -!- andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has joined #bitcoin-wizards
06:54 -!- _andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has quit [Ping timeout: 255 seconds]
06:54 -!- MacroFake [~none@107.172.8.183] has joined #bitcoin-wizards
08:33 < real_or_random> waxwing_: hm, my feeling is that HVZK should just hold. intuitively, the honest counterparty's blinding protects the secret. in the ROM, all curious counterparties can do is trying to influence the challenge by changing the inputs to the hash function. but if they are semi-honest they won't do that... 
08:34 < real_or_random> it's getting interesting though if they're fully malicious. I found that question interesting as well
08:34 < real_or_random> (I assume when you say "honest verifier", you actually mean "honest counterparty"?) 
08:35 < real_or_random> cc nickler 
08:36 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 264 seconds]
08:41 < real_or_random> why would you need this?
08:41 -!- jonatack [~jonatack@user/jonatack] has joined #bitcoin-wizards
09:10 < waxwing_> real_or_random, i have the same intuition re: blinding.
09:11 < waxwing_> about honest verfier, honest counterparty and ROM i'm confused about how these ideas interact. i thought that the idea of honest verifier applied to the interactive version of the protocol, where the verifier gives a challenge (and is considered honest if generating genuinely random challenges)
09:13 < waxwing_> re 'why would you need this' (was that for me?), i was trying to get clear in my head, the security properties of adaptors, and their zero knowledgeness sort of naturally cropped up in thinking about how they are (by design) not proofs of knowledge, so anyone can generate them, irrespective of the niceties of how you conceptualize the (hash) challenge part.
09:14 < waxwing_> that's when i took a step back and realized that the same argument for SIDP doesn't go through for partial sigs in a musig protocol where you're fixing R_agg for security against forgery
09:31 -!- jonatack [~jonatack@user/jonatack] has quit [Quit: WeeChat 3.8]
09:38 < real_or_random> honest verifier vs honest counterparty: well if you talk about musig2, then the term "verifier" is somewhat unclear. in our discussion here, it simply refers to the other *signers*?  
09:38 < real_or_random> and sorry, yes, the question was for you :) I was just curious if you have a specific application in mind where you need the ZK property
10:09 < waxwing_> right, valid question, is the property of ZK needed for partial signatures in exactly the same way as it's needed for full signatures? And indeed this is a discussion only about information passed between counterparties ... although come to think of it, is that true?
10:10 < waxwing_> like what if partial signatures were passed over non-confidential channels
10:43 -!- rockhouse [~rockhouse@user/rockhouse] has quit [Quit: Leaving ... but you never know maybe I come back!]
11:18 -!- wudu [~wudu@dynamic-077-179-141-123.77.179.pool.telefonica.de] has quit [Ping timeout: 268 seconds]
11:57 -!- wudu [~wudu@dynamic-077-179-141-123.77.179.pool.telefonica.de] has joined #bitcoin-wizards
13:41 -!- andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has quit [Remote host closed the connection]
13:42 -!- andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has joined #bitcoin-wizards
14:18 -!- Zenton [~user@user/zenton] has quit [Ping timeout: 268 seconds]
14:34 -!- jonatack [~jonatack@user/jonatack] has joined #bitcoin-wizards
15:02 -!- andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has quit [Remote host closed the connection]
15:03 -!- andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has joined #bitcoin-wizards
15:29 -!- AaronvanW [~AaronvanW@user/AaronvanW] has quit [Quit: Leaving...]
17:16 -!- wudu [~wudu@dynamic-077-179-141-123.77.179.pool.telefonica.de] has quit [Ping timeout: 260 seconds]
18:28 -!- Zenton [~user@user/zenton] has joined #bitcoin-wizards
18:33 -!- andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has quit [Remote host closed the connection]
18:34 -!- andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has joined #bitcoin-wizards
21:10 -!- Bignuts [~Allaboutt@210.8.54.18] has joined #bitcoin-wizards
21:12 -!- instagibbs [~instagibb@pool-100-15-129-252.washdc.fios.verizon.net] has quit [Ping timeout: 268 seconds]
21:34 -!- Bignuts [~Allaboutt@210.8.54.18] has quit [Ping timeout: 252 seconds]
21:53 -!- instagibbs [~instagibb@pool-100-15-126-231.washdc.fios.verizon.net] has joined #bitcoin-wizards
21:58 -!- Zenton [~user@user/zenton] has quit [Remote host closed the connection]
21:59 -!- Zenton [~user@user/zenton] has joined #bitcoin-wizards
23:33 -!- Bignuts [~Allaboutt@210.8.54.18] has joined #bitcoin-wizards
23:43 -!- szarka [~szarka@24-124-20-18-static.midco.net] has quit [Read error: Connection reset by peer]
23:50 -!- Bignuts [~Allaboutt@210.8.54.18] has quit [Quit: Leaving]
--- Log closed Wed Jan 11 00:00:11 2023