--- Log opened Wed Dec 07 00:00:38 2022
05:28 < michaelfolkson> Interesting Miniscript malleability question on StackExchange https://bitcoin.stackexchange.com/questions/116275/when-is-a-miniscript-solution-malleable
05:44 < darosior> michaelfolkson: cool, i'll give it a shot
05:49 -!- afilini [~afilini@2001:bc8:1828:245::2] has joined ##miniscript
05:49 < afilini> The way I interpret it is that in this particular case it doesn't really matter because there are only timelocks in the or_b which don't take any "data" to be satisfied. But if there were, for example, signatures inside it would be bad to satisfy both because then an attacker can remove one of the two and the solution is still valid
05:49 < afilini> Which is rule #3 described on sipa's website
05:51 < afilini> Ok maybe signatures can't be put there, but preimages can i think. So in that case it would be better to reveal just one preimage
05:53 -!- jon_atack [~jonatack@user/jonatack] has joined ##miniscript
05:58 < darosior> afilini: it does matter since you can change the wtxid of a transaction by malleating the witness from a valid satisfaction to another
05:59 -!- jonatack1 [~jonatack@user/jonatack] has joined ##miniscript
06:00 -!- jon_atack [~jonatack@user/jonatack] has quit [Ping timeout: 260 seconds]
06:14 < afilini> Yeah what I'm saying is that here even if you use one of the "canonical" witnesses you can still malleate it
06:45 < darosior> Hmm i got into writing an entire novel as a response and that makes me think: maybe we should state that the malleability analysis assume standardness rules?
06:45 < michaelfolkson> Ha
06:46 -!- jonatack1 [~jonatack@user/jonatack] has quit [Ping timeout: 252 seconds]
06:47 -!- jonatack1 [~jonatack@user/jonatack] has joined ##miniscript
06:48 < michaelfolkson> The novel can have a prologue
06:50 < michaelfolkson> You know the question asker or his project? Building FarVault apparently https://github.com/farvault/farvault-lib
06:55 < darosior> Never heard about it
07:03 < afilini> darosior: is it a standardness thing though? I think in that case all solutions are actually standard, they are just zeros and ones
07:04 < afilini> They respect MINIMALIF
07:05 < darosior> Yes yes
07:05 <@sipa> Malleability analysis assumes MINIMALIF.
07:05 < darosior> afilini: I wasn't talking about the example
07:06 < darosior> I was talking about the website, we could state in our malleability assumptions that we assume common standardness rules (such as MINIMALIF)
07:07 <@sipa> Agree, I was surprised it's not listed already.
08:03 -!- jonatack1 [~jonatack@user/jonatack] has quit [Ping timeout: 246 seconds]
08:46 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
09:33 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Remote host closed the connection]
09:37 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
11:19 -!- jonatack1 [~jonatack@user/jonatack] has joined ##miniscript
12:45 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Remote host closed the connection]
12:53 -!- jonatack1 [~jonatack@user/jonatack] has quit [Ping timeout: 252 seconds]
12:56 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
13:00 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Ping timeout: 264 seconds]
13:11 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
13:15 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Ping timeout: 260 seconds]
13:34 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
13:50 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Remote host closed the connection]
13:51 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
13:52 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Remote host closed the connection]
13:53 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
15:09 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Remote host closed the connection]
15:11 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
15:11 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Remote host closed the connection]
15:11 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
15:16 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Remote host closed the connection]
15:17 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
15:22 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Ping timeout: 264 seconds]
15:49 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
20:18 -!- jonatack1 [~jonatack@user/jonatack] has joined ##miniscript
21:45 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Remote host closed the connection]
21:45 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
22:56 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Remote host closed the connection]
23:46 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
--- Log closed Thu Dec 08 00:00:40 2022