--- Day changed Tue Dec 17 2019
00:34 -!- orlovsky [~dr-orlovs@194.230.155.171] has quit [Quit: Textual IRC Client: www.textualapp.com]     
00:35 -!- dr-orlovsky [~dr-orlovs@194.230.155.171] has joined ##taproot-bip-review     
00:58 -!- b10c [~Thunderbi@muedsl-82-207-236-171.citykom.de] has joined ##taproot-bip-review     
01:03 -!- chm-diederichs_ [sid360714@gateway/web/irccloud.com/x-ppqfngqmvkvuvyxg] has joined ##taproot-bip-review     
01:03 -!- ajonas_ [sid385278@gateway/web/irccloud.com/x-ayugqrnskdapahcx] has joined ##taproot-bip-review     
01:04 -!- maaku_ [~quassel@ec2-54-186-10-232.us-west-2.compute.amazonaws.com] has joined ##taproot-bip-review     
01:05 -!- raj_ [~quassel@ec2-18-217-191-36.us-east-2.compute.amazonaws.com] has joined ##taproot-bip-review     
01:05 -!- potatoe_1ace [~potatoe_f@157.230.27.253] has joined ##taproot-bip-review     
01:06 -!- andytosh1 [~apoelstra@wpsoftware.net] has joined ##taproot-bip-review     
01:06 -!- nehan_ [~nehan@41.213.196.104.bc.googleusercontent.com] has joined ##taproot-bip-review     
01:06 -!- jnewbery_ [~john@4.53.92.114] has joined ##taproot-bip-review     
01:07 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined ##taproot-bip-review     
01:09 -!- cdecker_ [~cdecker@mail.snyke.net] has joined ##taproot-bip-review     
01:09 -!- BlueMatt_ [~BlueMatt@ircb.bluematt.me] has joined ##taproot-bip-review     
01:09 -!- somethinglittle [~nothingmu@unaffiliated/nothingmuch] has joined ##taproot-bip-review     
01:10 -!- Netsplit *.net <-> *.split quits: nehan, raj_149, cdecker, maaku, chm-diederichs, belcher, instagibbs, BlueMatt, luke-jr, ajonas,  (+5 more, use /NETSPLIT to show all of them)
01:10 -!- chm-diederichs_ is now known as chm-diederichs     
01:11 -!- Netsplit over, joins: dr_orlovsky
01:11 -!- Netsplit over, joins: instagibbs
01:12 -!- andytosh1 [~apoelstra@wpsoftware.net] has quit [Ping timeout: 268 seconds]     
01:14 -!- lukedashjr is now known as luke-jr     
01:19 -!- Netsplit over, joins: belcher
01:36 -!- llfourn [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
03:32 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 248 seconds]     
04:01 -!- llfourn [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 246 seconds]     
04:31 -!- llfourn [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
04:36 -!- llfourn [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 252 seconds]     
04:42 -!- jonatack [~jon@213.152.161.117] has joined ##taproot-bip-review     
05:03 -!- real_or_random [~real_or_r@2a02:c207:3002:7468::1] has quit [Quit: ZNC 1.7.5 - https://znc.in]     
05:05 -!- real_or_random [~real_or_r@173.249.7.254] has joined ##taproot-bip-review     
05:26 -!- llfourn [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
05:31 -!- llfourn [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 248 seconds]     
05:45 -!- somethinglittle is now known as nothingmuch     
05:47 -!- llfourn [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
05:51 -!- llfourn [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 245 seconds]     
05:55 -!- llfourn [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
05:58 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
05:59 -!- llfourn [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Remote host closed the connection]     
06:03 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 246 seconds]     
06:06 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
06:07 -!- michaelfolkson [~textual@2a00:23c5:be04:e501:f017:15f6:4375:5bc7] has joined ##taproot-bip-review     
06:11 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 265 seconds]     
06:13 -!- michaelfolkson [~textual@2a00:23c5:be04:e501:f017:15f6:4375:5bc7] has quit [Quit: Sleep mode]     
06:15 -!- michaelfolkson [~textual@2a00:23c5:be04:e501:f017:15f6:4375:5bc7] has joined ##taproot-bip-review     
06:17 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
06:22 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 245 seconds]     
06:26 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
06:32 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 268 seconds]     
06:32 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
06:33 -!- jonatack [~jon@213.152.161.117] has quit [Ping timeout: 245 seconds]     
06:37 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 248 seconds]     
06:38 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
06:41 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Remote host closed the connection]     
06:42 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
06:46 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 246 seconds]     
06:49 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
06:54 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 268 seconds]     
06:54 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
06:55 -!- pyskell [~pyskell@unaffiliated/pyskell] has joined ##taproot-bip-review     
06:59 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 265 seconds]     
07:05 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
07:07 -!- michaelfolkson [~textual@2a00:23c5:be04:e501:f017:15f6:4375:5bc7] has quit [Quit: Sleep mode]     
07:10 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 268 seconds]     
07:10 -!- BlueMatt_ is now known as BlueMatt     
07:11 -!- BlueMatt is now known as Guest54034     
07:12 -!- Guest54034 [~BlueMatt@ircb.bluematt.me] has quit [Changing host]     
07:12 -!- Guest54034 [~BlueMatt@unaffiliated/bluematt] has joined ##taproot-bip-review     
07:12 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
07:16 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 248 seconds]     
07:21 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
07:22 -!- michaelfolkson [~textual@2a00:23c5:be04:e501:f017:15f6:4375:5bc7] has joined ##taproot-bip-review     
07:24 -!- Guest54034 is now known as BlueMatt     
07:26 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 245 seconds]     
07:27 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
07:32 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 252 seconds]     
07:37 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
07:42 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 268 seconds]     
07:46 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
07:51 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 265 seconds]     
07:55 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
08:00 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 248 seconds]     
08:05 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
08:05 -!- b10c [~Thunderbi@muedsl-82-207-236-171.citykom.de] has quit [Ping timeout: 252 seconds]     
08:08 -!- pyskl [~pyskell@37.120.130.59] has joined ##taproot-bip-review     
08:08 -!- meh2 [~pyskell@194.36.111.51] has joined ##taproot-bip-review     
08:08 -!- meh2 [~pyskell@194.36.111.51] has quit [Client Quit]     
08:09 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 245 seconds]     
08:10 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
08:11 -!- pyskell [~pyskell@unaffiliated/pyskell] has quit [Ping timeout: 248 seconds]     
08:12 -!- pyskl [~pyskell@37.120.130.59] has quit [Ping timeout: 245 seconds]     
08:15 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 268 seconds]     
08:17 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
08:19 -!- andytoshi [~apoelstra@wpsoftware.net] has joined ##taproot-bip-review     
08:19 -!- andytoshi [~apoelstra@wpsoftware.net] has quit [Changing host]     
08:19 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has joined ##taproot-bip-review     
08:19 -!- pinheadmz [~matthewzi@pool-100-33-69-78.nycmny.fios.verizon.net] has joined ##taproot-bip-review     
08:19 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Remote host closed the connection]     
08:28 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined ##taproot-bip-review     
08:30 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
08:33 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Remote host closed the connection]     
08:33 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
08:38 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 246 seconds]     
08:44 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
08:49 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 252 seconds]     
08:51 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has quit [Remote host closed the connection]     
08:51 -!- mol [~molly@unaffiliated/molly] has quit [Quit: Leaving]     
08:52 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has joined ##taproot-bip-review     
08:55 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
09:00 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 265 seconds]     
09:06 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
09:07 -!- michaelfolkson [~textual@2a00:23c5:be04:e501:f017:15f6:4375:5bc7] has quit [Quit: Sleep mode]     
09:09 -!- michaelfolkson [~textual@2a00:23c5:be04:e501:f017:15f6:4375:5bc7] has joined ##taproot-bip-review     
09:11 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 268 seconds]     
09:13 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has quit [Ping timeout: 246 seconds]     
09:15 -!- davterra [~dulyNoded@172.98.86.92] has joined ##taproot-bip-review     
09:17 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
09:21 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Remote host closed the connection]     
09:22 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
09:24 -!- michaelfolkson [~textual@2a00:23c5:be04:e501:f017:15f6:4375:5bc7] has quit [Quit: Sleep mode]     
09:27 -!- michaelfolkson [~textual@2a00:23c5:be04:e501:f017:15f6:4375:5bc7] has joined ##taproot-bip-review     
09:28 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 246 seconds]     
09:28 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
09:32 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Remote host closed the connection]     
09:32 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
09:37 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 245 seconds]     
09:42 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
09:47 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 248 seconds]     
09:49 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
09:54 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 252 seconds]     
10:01 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
10:02 -!- andytoshi [~apoelstra@wpsoftware.net] has joined ##taproot-bip-review     
10:02 -!- andytoshi [~apoelstra@wpsoftware.net] has quit [Changing host]     
10:02 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has joined ##taproot-bip-review     
10:06 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 252 seconds]     
10:40 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
10:45 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 248 seconds]     
11:00 < devrandom> hi     
11:00 < sipa> hi     
11:00 < michaelfolkson> Hi     
11:01 < aj> #startmeeting
11:01 < lightningbot> Meeting started Tue Dec 17 19:01:05 2019 UTC.  The chair is aj. Information about MeetBot at http://wiki.debian.org/MeetBot.
11:01 < lightningbot> Useful Commands: #action #agreed #help #info #idea #link #topic.
11:01 < aj> hey! last one!
11:01 < michaelfolkson> A sequel planned for the new year? ;)
11:02 -!- pyskell [~pyskell@unaffiliated/pyskell] has joined ##taproot-bip-review     
11:02 < andytoshi> hiya
11:02 < pyskell> hi     
11:04 < sipa> i have a tiny suggestion: instead of calling the (c[0] & 0xfe) the leaf version, and having weird requirements on its top bits, what baout calling (c[0] & 0x3e)/2 the leaf version, so that it's just a number from 0 through 31
11:09 < michaelfolkson> Sounds reasonable. I don't think that change would cause confusion at this stage
11:09 < sipa> i had difficulty explaining in my talk yesterday why the version number for tapscript is 0xc0 instead of just 0
11:10 < michaelfolkson> Can you share your slides from yesterday? It might take a while for the video to go up
11:10 < aj> doesn't that just make it hard to explain why there's a 0x32 and /2 constant instead of <<1 ?
11:11 < sipa> maybe
11:12 < sipa> just gave the link on twitter: https://prezi.com/view/AlXd19INd3isgt3SvW8g/
11:12 < aj> michaelfolkson: i was thinking that maybe something focussed on adding test cases (and test vectors for bip-taproot/tapscript) could work...
11:12 < michaelfolkson> sipa: Thanks
11:12 < sipa> aj: yeah, that'd be a good idea
11:13 < sipa> the slides don't contain that much; they're mostly word clouds to remind me of what to mention
11:13 < aj> michaelfolkson: i think gmaxwell's suggested the idea of accompanying test cases with small patches to the code it's testing that would trigger the bug, so you can see why the test case is necessary... not quite sure how it'd work, but seems like it could be interesting
11:15 < michaelfolkson> Yeah sounds interesting
11:15 < michaelfolkson> Ok cool. So this is the wrap up Q&A. What needs to be covered? I have a couple of questions
11:15 < sipa> shoot
11:16 < andytoshi> can someone remind me - is this (and tomorrow) the last review session? or is thre one next week/next year
11:16 < sipa> this week is the final week
11:17 < michaelfolkson> We covered use cases in a previous week. What is the status of those? Does Blockstream have a toy implementation of Schnorr/Taproot in Liquid?
11:18 < andytoshi> no, blockstream is waiting on Core so we can steal code :P
11:18 -!- ddustin [aec2cbda@unaffiliated/ddustin] has joined ##taproot-bip-review     
11:18 < michaelfolkson> I'm assuming lots or people are waiting until there is a "reference implementation" on testnet before expending resources on use cases? People like BitGo, Bitfinex who have large multisig schemes
11:18 < sipa> i believe so
11:18 < sipa> and it's an unfortunate cyclic dependency
11:19 < andytoshi> so, at blockstream our plan is to pull taproot into Elements as soon as there is a "reference implementation", and then we'll be able to spawn testnets for our own usage
11:19 < andytoshi> if it would help deployment i think we could prioritize pulling it into liquid production
11:19 < sipa> where we really need to focus on hammering out the specification, but most of the interesting applications will probably only be even discovered once there are production ready implementations
11:19 < andytoshi> deployment/surrounding tooling development
11:20 < michaelfolkson> And you're hoping that people will build new wallets for complex "smart contract" inheritance planning like use cases? No existing wallets are likely to go down this route?
11:20 < sipa> michaelfolkson: i don't think so
11:20 < michaelfolkson> Excluding Lightning for now because that will definitely take advantage naturally
11:21 < sipa> complex use cases will benefit specialized applications that need them
11:21 < sipa> i don't expect end-user wallets to expose any "develop your own smart spending policy!" features
11:21 < aj> michaelfolkson: there's been some effort at doing a signet (kallewoof's signed testnet stuff) with taproot enabled but i don't think it's gotten very fair; as far as i know now of the proof-of-concept stuff beyond the optech taproot workshop code made it very far
11:22 < andytoshi> michaelfolkson: so, liquid has support for covenants, and afaik nobody has taken it upon themselves to push this forward and implement this
11:22 < andytoshi> part of this is that the entities in liquid are, as a group, less focused on custody and long-term planning than the rest of the ecosystem
11:23 < michaelfolkson> I don't know if the inheritance planning use case has legs long term. I'm guessing it will eventually. I know you talked about this use case briefly on Noded podcast I think andytoshi
11:23 < andytoshi> yes, but probably in the context of miniscript
11:23 < andytoshi> which you can do in bitcoin today
11:24 < michaelfolkson> But inheritance planning is one use case that could take advantage of the key aggregation of Schnorr too right
11:24 -!- achow101 [~achow101@unaffiliated/achow101] has quit [Ping timeout: 248 seconds]     
11:24 < michaelfolkson> Not too many use cases I can think of that need those large multisig arrangements
11:24 < andytoshi> right, yeah, it would make multisigs/threshold sigs more appealing because they would no longer be expensive
11:26 < michaelfolkson> OK. So on Lightning. Did you guys look over the post from ZmnSCPxj on Lightning and Taproot?
11:26 < michaelfolkson> https://lists.linuxfoundation.org/pipermail/lightning-dev/2019-December/002375.html
11:26 < andytoshi> i didn't find time :(
11:27 < aj> andytoshi: if you take a week off over xmas/new year, that's probably long enough for a first read? :)
11:27 < andytoshi> yep :) there's maybe a 50% chance that i'll be able to do it then
11:28 < andytoshi> but there are lots of things i'd like to use that week for
11:28 < michaelfolkson> I didn't absorb all of it but it is great that there is sketched out planning on what to do if things take too long or don't happen at all
11:28 < andytoshi> such as fixing my own wallet tooling to use psbt+miniscrip
11:29 -!- achow101 [~achow101@unaffiliated/achow101] has joined ##taproot-bip-review     
11:29 < kabaum> Are there any ideas on how to deploy taproot/tapscript/schnorr? Is it reasonable to believe that this will be less contentious than segwit? BIP8? BIP9? Something else?
11:31 < michaelfolkson> The impression I get is that something like BIP148 is more likely than BIP9 but that discussion will be left to others and not the authors of Schnorr/Taproot in case it becomes controversial. Am I hot or cold? :)
11:32 < sipa> i have no opinion on activation
11:32 < michaelfolkson> It could get messy because it essentially sets a template for future upgrades too if it goes smoothly. Which is unfortunate and hopefully it doesn't
11:33 < aj> the people who thought bip148 was too risky when it happened still think it's risky for the same reasons they did then; something like the mechanism BlueMatt proposed for the great consensus cleanup would be the other approach to bip148 i think. i think picking one or the other of thse is likely to be the most controversial part
11:34 < aj> "hopefully it doesn't" -- hope that refers to the "get messy" part not the "goes smoothly" :)
11:34 < michaelfolkson> I'm not aware of the mechanism for the great consensus cleanup. Is there a good resource?
11:35 -!- achow101 [~achow101@unaffiliated/achow101] has quit [Ping timeout: 268 seconds]     
11:36 < michaelfolkson> Yeah that's what I meant aj :/
11:37 < aj> https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2019-March/016714.html -- deployment section and last paragraph of discussion just prior to the reference implementation section
11:37 < michaelfolkson> One other question I wanted to ask about was the section in Week 6 where there were questions posed on the upgrade paths and which upgrades would be best for various future possible upgrades
11:38 -!- achow101 [~achow101@unaffiliated/achow101] has joined ##taproot-bip-review     
11:38 < aj> ( https://github.com/ajtowns/taproot-review/blob/master/week-6.md#upgrade-paths )
11:39 < michaelfolkson> Yeah we thought they were interesting questions and we struggled to answer them on the group call
11:39 < michaelfolkson> Part of it was just not being familiar with the low level details of things like CHECKTEMPLATEVERIFY
11:40 < sipa> i believe CTV wants to be usable in bare outputs for efficiency, which means it needs to use the NOP-redefinition approach
11:41 < michaelfolkson> I can post a question on this on StackExchange for a more permanent resource
11:41 < michaelfolkson> But I can't answer it
11:41 < sipa> what is the question exactly?
11:42 < michaelfolkson> Why those upgrade paths are listed in order from worst to best? ie the rationale for that order
11:43 < aj> michaelfolkson: there isn't really a single best answer; i was thinking "of these, just use OP_SUCCESS would work fine". but you could do an unknown pubkey, so "<hash> OP_2 CHECKSIG"; you could have it be PUSHTEMPLATE instead of CHECKTEMPLATE via an OP_SUCCESS, and have to do an EQUALVERIFY or other check, etc
11:43 < michaelfolkson> And then which would be best for the various possible future upgrades listed?
11:45 < michaelfolkson> It requires an understanding of all those possible future upgrades so maybe too broad for a StackExchange question
11:46 < aj> michaelfolkson: no method is "best" or "worst" they've got different tradeoffs and are appropriate at different times, the order's more least-specific to most-specific
11:46 < michaelfolkson> Ah ok cool, thanks for the clarification
11:46 < kanzure> will someone be writing a summary of all the review weeks
11:47 < michaelfolkson> I was thinking of doing a Bitcoin Magazine article if someone (or multiple people) are willing to review it
11:48 < michaelfolkson> Is that what you meant kanzure?
11:48 < kanzure> maybe on the level of an optech email (pointing out specific technical details of interest), but sort of yes.
11:48 < kanzure> alright, thanks.
11:48 < devrandom> question re OP_CODESEPARATOR - it seems like the design of this opcode never supported any actual use cases.  should it be disabled, so we don't carry the baggage forward?  perhaps it could be redesigned and reintroduced in the future.
11:48 < aj> michaelfolkson: ANYPREVOUT - unkonw pubkey; CHECKTEMPLATEVERIFY - op_success but unknown pubkey type /could/ work; extra opcodes - OP_SUCCESS; extend math opcodes - OP_SUCCESS or maybe taproot leaf version; commit to block hash - annex; simplicity - leaf version; graftroot or g'root, cross-input sig agg - want to change key path spends, so new segwit version or maybe key length -- those are my
11:48 < aj> current answers anyway
11:50 < aj> devrandom: https://github.com/NTumbleBit/NTumbleBit/blob/master/NTumbleBit/EscrowScriptBuilder.cs -- it's theoretically used in tumblebit, not sure how needed it is
11:51 < kanzure> michaelfolkson: transcript of great consensus cleanup talk https://diyhpl.us/wiki/transcripts/bitcoin-core-dev-tech/2019-06-06-great-consensus-cleanup/
11:52 < michaelfolkson> Thanks kanzure
11:53 < michaelfolkson> I'm also going to try to organize a Hangout call for people to discuss what happened in the various study groups. A couple of people have expressed interest in such a call
11:53 < michaelfolkson> I don't know if all groups made it to the end or not. We had a few drop out in our group
11:54 < michaelfolkson> It seems some definitely did
11:57 < aj> i think it'd be interesting to know how people went with the irc vs slack vs hangouts/zoom meetings too
11:57 -!- jeremyrubin [~jr@c-67-180-60-249.hsd1.ca.comcast.net] has joined ##taproot-bip-review     
11:57 < kabaum> michaelfolkson: Same in our group. It's natural that people drop out. I'm surprised I managed to more or less go through with it, though I had fewer and fewer questions.
11:58 < devrandom> I also worry about the interaction of OP_CODESEPARATOR and OP_SUCCESS
11:58 < sipa> kabaum: it's reassuring that the drop in questions is partially because you just had fewer questions (and not purely because people gave up or so)
11:59 < sipa> devrandom: if there is an OP_SUCCESSx anywhere, no execution happens, and thus OP_CODESEPARATOR is irrelevant in that cade
11:59 -!- ddustin [aec2cbda@unaffiliated/ddustin] has quit [Remote host closed the connection]     
11:59 < michaelfolkson> Our group just struggled with time commitments rather than any other negative reason for dropping out
12:00 < devrandom> the use case I was thinking of: a signature is applied with OP_CODESEPARATOR, with the intent that another party prepends some additional code to the scriptSig at a later date
12:01 < devrandom> if the other party prepends an OP_SUCCESS, the script will trivially succeeds, which might not have been the intention of the first party
12:01 < sipa> devrandom: those semantics (the delegation one) are gone in the current bip-tapscript draft
12:01 < kabaum> sipa: I can just speak for myself. My questions dropped because 1) the reading got harder and 2) I devoted less time
12:01 < sipa> devrandom: all OP_CODESEPARATOR does is make signatures commit to the last executed OP_CODESEPARATOR
12:02 < sipa> there is no scriptCode concept anymore (which used to be the OP_CODESEP-modulated executed script)
12:02 < devrandom> sipa: OK.  with the delegation use case gone, is there any utility left?
12:03 < sipa> devrandom: yes, making scripts whose signatures commit to the IF/THEN/ELSE branch taken during execution
12:03 < devrandom> I see
12:04 < sipa> i explained this in my talk yesterday ;)
12:04 < michaelfolkson> The video is highly anticipated
12:05 < michaelfolkson> Ok. It is 8pm. Anyone who wants to join that cross-group call, message me either here now or on the Slack later
12:06 < michaelfolkson> Thanks all
12:07 < kabaum> Thanks everyone. It's been a lot of fun and a wonderful learning experience! Special thanks to the organizers (aj, harding et al?)
12:08 < michaelfolkson> Indeed. Great initiative, thanks for everyone's efforts. I learnt a lot
12:08 < devrandom> sipa: I guess I missed a couple of crucial sentences ;)
12:08 < sipa> devrandom: i know, it was long :)
12:09 < sipa> i talked far longer than i had expected
12:10 < andytoshi> thanks everyone! this was encouraging and really productive
12:11 < aj> #endmeeting
12:11 < lightningbot> Meeting ended Tue Dec 17 20:11:05 2019 UTC.  Information about MeetBot at http://wiki.debian.org/MeetBot . (v 0.1.4)
12:11 < lightningbot> Minutes:        http://www.erisian.com.au/meetbot/taproot-bip-review/2019/taproot-bip-review.2019-12-17-19.01.html
12:11 < lightningbot> Minutes (text): http://www.erisian.com.au/meetbot/taproot-bip-review/2019/taproot-bip-review.2019-12-17-19.01.txt
12:11 < lightningbot> Log:            http://www.erisian.com.au/meetbot/taproot-bip-review/2019/taproot-bip-review.2019-12-17-19.01.log.html
12:11 < aj> that's a wrap!
12:17 < gmaxwell> omg conversation
12:27 -!- michaelfolkson [~textual@2a00:23c5:be04:e501:f017:15f6:4375:5bc7] has quit [Ping timeout: 246 seconds]     
12:28 -!- davterra [~dulyNoded@172.98.86.92] has quit [Remote host closed the connection]     
12:37 -!- michaelfolkson [~textual@2a00:23c5:be04:e501:806a:4e5:5581:b0ff] has joined ##taproot-bip-review     
12:41 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
12:44 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Remote host closed the connection]     
12:44 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
12:59 -!- michaelfolkson [~textual@2a00:23c5:be04:e501:806a:4e5:5581:b0ff] has quit [Ping timeout: 246 seconds]     
13:25 < aj> sipa: oh, it seems like i didn't actually ask;  what do you think of  "OP_0 CHECKSIG"  as a way of getting a signature via the internal pubkey with standard sighash stuff (like OP_1 CHECKSIG with ANYPREVOUT)?
13:55 -!- pyskell [~pyskell@unaffiliated/pyskell] has quit [Read error: Connection reset by peer]     
13:58 < sipa> aj: seems reasonable, but i wouldn't add it to the current bips now
14:24 < gmaxwell> but if you have the internal private key, why not sign at the root instead of keypath?
14:25 < gmaxwell> (I was about to write that it sounded like a good idea, but then realized that AFAICT it's useless)
14:45 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 245 seconds]     
14:50 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
14:52 -!- belcher [~belcher@unaffiliated/belcher] has quit [Quit: Leaving]     
14:56 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 268 seconds]     
15:00 -!- orlovsky [~dr-orlovs@194.230.155.171] has joined ##taproot-bip-review     
15:01 -!- dr-orlovsky [~dr-orlovs@194.230.155.171] has quit [Ping timeout: 248 seconds]     
15:25 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
15:30 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 248 seconds]     
16:02 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
16:03 < aj> gmaxwell: slightly cheaper HTLC reveal (for sha256 preimage so you can't do a scriptless script) single musig(a,b) is cheaper than sig(a) plus script code to enforce op_csv delay
16:03 < aj> sipa: yeah, was kinda hoping you'd say that
16:05 < sipa> aj: so this is for applications where the participants would never agree to spend using the key path, but you're paying the cost for revealing a key anyway?
16:39 -!- Netsplit *.net <-> *.split quits: dmkathayat
16:39 -!- Netsplit over, joins: dmkathayat
17:28 < gmaxwell> oh, I see, so the 2of2 wants to sign, but only with a CSV, basically a kind of delegation to self plus CSV.
17:52 < gmaxwell> kinda lame that their CSV has to be pre-commited and isn't just part of their signature.
17:52 < gmaxwell> otherwise it could just be a keypath spend plus an added CSV.
17:56 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Remote host closed the connection]     
17:57 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
17:59 < aj> gmaxwell: can't be a keypath spend because you want to reveal the sha256 preimage, the csv you can enforce via the signature
18:35 -!- pinheadmz [~matthewzi@pool-100-33-69-78.nycmny.fios.verizon.net] has quit [Quit: pinheadmz]     
18:36 -!- pinheadmz [~matthewzi@pool-100-33-69-78.nycmny.fios.verizon.net] has joined ##taproot-bip-review     
20:07 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 258 seconds]     
20:29 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
22:12 -!- kabaum [~kabaum@2001:9b1:efd:9b00::281] has quit [Ping timeout: 250 seconds]     
22:27 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 252 seconds]     
22:32 -!- _andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has quit [Remote host closed the connection]     
22:32 -!- _andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has joined ##taproot-bip-review     
22:34 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Ping timeout: 260 seconds]     
22:50 -!- _andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has quit [Remote host closed the connection]     
22:50 -!- _andrewtoth_ [~andrewtot@gateway/tor-sasl/andrewtoth] has joined ##taproot-bip-review     
22:57 -!- rottensox [~rottensox@unaffiliated/rottensox] has quit [Quit: Bye]     
22:58 -!- rottensox [~rottensox@unaffiliated/rottensox] has joined ##taproot-bip-review     
23:00 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
23:18 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 268 seconds]     
23:19 -!- kabaum [~kabaum@185.224.57.161] has joined ##taproot-bip-review     
23:27 -!- kabaum [~kabaum@185.224.57.161] has quit [Ping timeout: 258 seconds]     
23:44 -!- kabaum [~kabaum@185.224.57.161] has joined ##taproot-bip-review     
23:49 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has joined ##taproot-bip-review     
23:54 -!- llfourn` [~user@n1-43-68-239.mas2.nsw.optusnet.com.au] has quit [Ping timeout: 258 seconds]