--- Day changed Sun Aug 16 2020 04:04 -!- jeremyrubin [~jr@2601:645:c200:f539:1d25:1a55:e644:5c4d] has quit [Ping timeout: 260 seconds] 06:15 -!- Davterra [~Davterra@89.45.90.48] has joined ##miniscript 06:26 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has quit [Quit: ZNC 1.7.5 - https://znc.in] 06:47 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Quit: jonatack] 06:48 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has joined ##miniscript 07:14 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined ##miniscript 08:03 -!- Davterra [~Davterra@89.45.90.48] has quit [Quit: Leaving] 08:04 -!- Davterra [~Davterra@89.45.90.48] has joined ##miniscript 08:22 -!- schmidty [sid297174@gateway/web/irccloud.com/x-dtjouqpqkotilgsw] has quit [Ping timeout: 272 seconds] 08:23 -!- schmidty [sid297174@gateway/web/irccloud.com/x-vndlzyxlrfxusond] has joined ##miniscript 09:11 -!- shesek [~shesek@164.90.217.137] has joined ##miniscript 09:11 -!- shesek [~shesek@164.90.217.137] has quit [Changing host] 09:11 -!- shesek [~shesek@unaffiliated/shesek] has joined ##miniscript 10:24 < andytoshi> shesek: yes, rust-miniscript behaves the same way 10:24 < sanket1729> shesek: Yes, it has same rules 10:24 < sanket1729> lol 10:24 < andytoshi> lol 10:24 < andytoshi> i had some dreams of making rust-miniscript more nuanced, so you could specify when one party (say, a trusted party) control allthe hash preimages 10:24 < andytoshi> but that got stalled out because some parts of it seem to be intractable 10:50 -!- jeremyrubin [~jr@2601:645:c200:f539:1d25:1a55:e644:5c4d] has joined ##miniscript 11:32 < shesek> thanks for the answer 11:41 < andytoshi> if you know any masters students looking for a thesis project i'm happy to fly out to them and explain this :P 11:42 < andytoshi> well, actually i guess i can't fly internationally for the next while 11:50 < sanket1729> I honestly think if we can organize the open problems in bitcoin and express those in a more academic way, then many students would be interested in picking this up. 11:50 < sanket1729> Has anybody attempted such a thing before? 11:51 < andytoshi> hmm, not that i can recall. it is likely gmax did this somewhere on bitcointalk or the wiki 11:51 < andytoshi> but i have no idea how i'd find it 11:51 < andytoshi> well, actually, gmax would not have expressed them in an academic way 11:51 < andytoshi> to the best of my knowledge nobody has done that 11:52 < sipa> it's kind of a wide domain 11:52 < sanket1729> I think we have several interesting problems in miniscript alone, let alone bitcoin 12:02 < jeremyrubin> I think it's hard to motivate interest in the bitcoin problem space since things like Ethereum Solidity are much more compelling targets 12:02 < jeremyrubin> which is sad 12:11 < sanket1729> Yup, true. 12:15 < andytoshi> yes, incentives in academia are skewed against things that might work in real life 12:15 < andytoshi> cf threshold signature schemes with t < 1/2 12:16 < andytoshi> but that just means it's even more important for us to try to correct the incentives 12:16 < andytoshi> by making it easy to identify problems 12:36 < jeremyrubin> pose the bitcoin problems as solidity problems 12:39 < andytoshi> lol, well, when we relax miniscript to allow for scripts sometimes becoming permanently jammed because of unpredictable gas usages, that will become a good option 12:47 < sipa> OP_EVM 14:37 -!- afilini [~user@gateway/tor-sasl/afilini] has quit [Remote host closed the connection] 15:41 -!- Davterra [~Davterra@89.45.90.48] has quit [Ping timeout: 240 seconds] 18:28 < instagibbs> OP_YAM 19:51 -!- Davterra [~Davterra@69.4.234.77] has joined ##miniscript 22:42 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 272 seconds] 23:36 -!- jonatack [~jon@213.152.162.170] has joined ##miniscript