--- Log opened Tue Jul 18 00:00:03 2023
00:08 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has joined ##miniscript
00:39 < darosior> sipa: "But here it's really about the fact that the "after(N)" doesn't restrict anything if an attacker can set it to whatever they want." -> They can't set it to any N value that is before though (nor too much in the future for that matter), so it respects the apparent policy?
00:44 < darosior> I'm familiar with the signature requirement to commit to the transaction, but my point is i don't think it matters here. If the only definition for IsSane() is "actual semantics match the apparent policy", then "older(N)" is. But it's not, and i don't think should be. Rather the definition you seem to be giving is "actual semantics match the
00:44 < darosior> apparent policy AND the spending transaction can't be too much malleated".
00:48 < darosior> Ok by re-reading i think the central point is this. You state "In that sense, it doesn't match its apparent policy, because nothing constrains the nSequence.". But there is. CSV won't let the nSequence be set to a value lower than the timelock. In this sense, the actual semantics match the apparent policy.
01:11 -!- uncomputable [~uncomputa@66.183.0.205] has quit [Ping timeout: 246 seconds]
01:12 -!- andytoshi [~apoelstra@user/andytoshi] has quit [Ping timeout: 258 seconds]
01:53 -!- uncomputable [~uncomputa@66.183.0.205] has joined ##miniscript
01:53 -!- andytoshi [~apoelstra@user/andytoshi] has joined ##miniscript
02:18 -!- uncomputable [~uncomputa@66.183.0.205] has quit [Ping timeout: 260 seconds]
02:19 -!- andytoshi [~apoelstra@user/andytoshi] has quit [Ping timeout: 260 seconds]
02:55 -!- uncomputable [~uncomputa@66.183.0.205] has joined ##miniscript
02:55 -!- andytoshi [~apoelstra@user/andytoshi] has joined ##miniscript
09:03 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has quit [Ping timeout: 246 seconds]
09:10 -!- appservicebot1 [~afilini-m@2001:bc8:1828:245::2] has quit [Ping timeout: 240 seconds]
09:58 -!- appservicebot1 [~afilini-m@2001:bc8:1828:245::2] has joined ##miniscript
12:45 -!- instagibbs1 [~instagibb@pool-100-15-116-202.washdc.fios.verizon.net] has joined ##miniscript
12:47 -!- instagibbs [~instagibb@pool-100-15-126-231.washdc.fios.verizon.net] has quit [Ping timeout: 245 seconds]
12:47 -!- instagibbs1 is now known as instagibbs
21:14 -!- meshcollider [meshcollid@meshcollider.jujube.rpblc.net] has quit [Ping timeout: 245 seconds]
21:17 -!- meshcollider [meshcollid@meshcollider.jujube.rpblc.net] has joined ##miniscript
23:59 -!- salvatoshi [~salvatosh@genymobile-2-6-86.fib.nerim.net] has joined ##miniscript
--- Log closed Wed Jul 19 00:00:03 2023