--- Log opened Sat Oct 02 00:00:24 2021
00:55 -!- meshcollider [meshcollid@user/meshcollider] has quit [Remote host closed the connection]
01:47 -!- meshcollider [meshcollid@jujube.ircnow.org] has joined ##miniscript
03:33 -!- meshcollider [meshcollid@jujube.ircnow.org] has quit [Changing host]
03:33 -!- meshcollider [meshcollid@user/meshcollider] has joined ##miniscript
06:49 < andytoshi> yeah, i think if we feature-flagged it it'd be okay. but may be hard to do that compatibly if it bringns an extra generic
06:50 < andytoshi> agree, we don't want a proliferance of incompatible extensions, the point is for experimenting
07:03 < andytoshi> but also the point is to help minimize the elements-miniscript diff :P
07:03 < andytoshi> but these are related ... if we wanted to propose the elements opcodes for bitcoin, it would be good to have miniscript fragments that used them that we could demo
08:09 < andytoshi> sanket_cell: alternately, we could have a parse_ext and parse_ext_insane function that you had to use (rather than parse/parse_insane) if you wanted to use extensinos
08:09 < andytoshi> so that "by default" miniscript code would not support extensions
08:10 < andytoshi> then the documentation for `parse_ext` could be vague and "you probably do not want to use this"
11:13 < jeremyrubin> I would love having CTV done as an extension type
11:14 < jeremyrubin> Would take a big load off for maintaining a miniscript fork 
11:16 < jeremyrubin> One interesting option would be to implement the entire interpreter as extensions like this, that would have some benefit in terms of modularity that each operation type e.g. contains all of it's code in one module, and the miniscript type just handles generic code about some trait Operation
11:17 < jeremyrubin> This would also mean that diffs for a fork would be minimized as it would just be whatever module you're adding v.s
11:17 < jeremyrubin> Patching like 100 files
11:19 < jeremyrubin> Another option that would work would be to use the trait enable/disable trick I proposed for multi in tap to be able to add code that can be optionally turned on by users and just allow people to add features more openly behind trait tags 
11:38 < jeremyrubin> I think sanket_cell's point boils down to discouraging forking miniscript to keep it standard-y, the counterpoint is that miniscript forks already exist (my bad ;) and having a easier path to standard plugins for things like ctv, htlcs (as implemented in LN) provides a good path to get more miniscript users without proliferating more forks for r&d
11:39 < jeremyrubin> A good property is that adding a plugin can't really break reading scripts generated by a subset of features 
11:40 < jeremyrubin> But it's only when the scripts 'leave' your local software that it's really an issue. 
11:41 < jeremyrubin> Otoh in terms of block explorers breaking if you add plugins, those plugin scripts would already not be intelligible since they'd just be made without miniscript
12:02 < sanket1729> jeremyrubin: andytoshi: I am convinced, I will try to raise a draft PR to rust-bitcoin/rust-miniscript. 
12:04 < sanket1729> How about enforcing it miniscript extensions start with prefix "ext" or clearly highlight that it is extension?
12:07 < sanket1729> The descriptor API(which is what most users should be using) is not affected, so it's not that bad
21:12 -!- darosior0 [~darosior@194.36.189.246] has joined ##miniscript
21:16 -!- michaelfolkson2 [~michaelfo@138.68.143.20] has joined ##miniscript
21:20 -!- Netsplit *.net <-> *.split quits: michaelfolkson, darosior
21:20 -!- darosior0 is now known as darosior
21:24 -!- darosior [~darosior@194.36.189.246] has quit [Ping timeout: 252 seconds]
21:25 -!- darosior [~darosior@194.36.189.246] has joined ##miniscript
21:25 -!- meshcoll- [meshcollid@jujube.ircnow.org] has joined ##miniscript
21:27 -!- meshcollider [meshcollid@user/meshcollider] has quit [Ping timeout: 252 seconds]
21:32 -!- michaelfolkson [~michaelfo@138.68.143.20] has joined ##miniscript
21:33 -!- michaelfolkson2 [~michaelfo@138.68.143.20] has quit [Ping timeout: 252 seconds]
21:41 -!- meshcoll- [meshcollid@jujube.ircnow.org] has quit [Ping timeout: 252 seconds]
21:41 -!- meshcollider [meshcollid@jujube.ircnow.org] has joined ##miniscript
23:22 -!- meshcollider [meshcollid@jujube.ircnow.org] has quit [Changing host]
23:22 -!- meshcollider [meshcollid@user/meshcollider] has joined ##miniscript
--- Log closed Sun Oct 03 00:00:25 2021