--- Log opened Tue Oct 10 00:00:52 2023
00:07 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has joined ##miniscript
08:49 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has quit [Ping timeout: 240 seconds]
13:01 < achow101> darosior: do you want to write that bip?
15:03 -!- salvatoshi [~salvatosh@lfbn-idf3-1-1331-187.w92-170.abo.wanadoo.fr] has joined ##miniscript
16:43 < achow101> or maybe I'll just do it
16:43 < achow101> who wants to be a co-author?
16:55 <@sipa> hi!
17:11 < achow101> why do all of the bips I write always end up with ginormous mediawiki tables? they're the worst.
17:13 < achow101> i've listed sipa andytoshi sanket darosior and myself as authors of the miniscript bip. anyone missing or doesn't want to be on that list?
20:12 < achow101> first pass: https://github.com/achow101/bips/blob/miniscript/bip-miniscript.mediawiki
20:13 < achow101> just took all the stuff on the website and made it mostly mediawiki formatted. couple of things still messed up, will fix tomorrow
20:14 < achow101> i'm wondering if it needs to be this verbose, but I suppose it's also useful to have all of the reasoning and analysis in the bip. maybe I'll just move a bunch of it to an appendix section.
20:14 <@sipa> yeah, that's unclear to me
20:15 -!- mode/##miniscript [+o achow101] by sipa
20:15 -!- mode/##miniscript [+o darosior] by sipa
20:15 -!- mode/##miniscript [+o sanket1729] by sipa
20:15 -!- mode/##miniscript [+o andytoshi] by sipa
20:16 <@sipa> i think we do want the mapping table descriptor <-> script in there, and the correctness and malleability property rules
20:16 <@sipa> because without those it's hard to even know what set of descriptors an implementor should support
20:16 <@sipa> the signing algorithm could be an appendix
20:17 <@achow101> yeah, the translation and satisfaction tables definitely need to be in the specification section
20:18 <@sipa> satisfaction i'm not sure - we don't really describe in other descriptor bips how to sign for them
20:19 <@sipa> of course, those are maybe more written from the perspective of "you're a wallet/device/signer, you already know how to sign transactions, we're just introducing some simple notation for common scripts"
20:19 <@achow101> they probably should.. although mainly they're standard scripts where signing for them is already well known
20:20 <@sipa> while miniscript is more "here is a fuckton of new scripts that you can actually also sign for"
20:21 <@sipa> should the resource limitation logic be part of the specification/bip too?
20:21 <@sipa> because the details of that are currently not described on the website
20:22 <@achow101> the algo for determining the max stack size?
20:22 <@sipa> and ops, and witness size, and ...
20:22 <@achow101> maybe as an appendix
20:22 <@sipa> one approach is "implementations can be complient with this BIP while having reasonable implementation-specific limits on the size of scripts that exclude valid scripts"
20:23 <@sipa> another approach is "here is an algorithm that computes ops, witness size, max stack size, ...; implementations can reject descriptors that include a satisfactions exceeding the following limits"
--- Log closed Wed Oct 11 00:00:53 2023