--- Log opened Wed Dec 22 00:00:08 2021
01:09 < darosior> Nice, my fuzzer found a discrepancy between the satisfier and VerifyScript()
01:09 < darosior> That's the script: e4006b63006751686c9b9292929292929292929292929292929292929292929292929292929292929292929292929292927c63516700689b929292926b00926c9b6b63006751686c9b6b63006751686c9b6b6300675168926c9b6b63006751686c9b9292929292929292929292929292929292929292929292929292929292929292929292929292929292929292929292929292929292929292929292929292927c6351670
01:09 < darosior> 0689b929292926b00926c9b6b00926c9b6b63006751686c9b6b6300675168926c9b6b63006751686c9b92929292929292929292929292929292929292929292929b4b00
01:10 < darosior> Hmm. Non-wrapped here: https://0bin.net/paste/ZRvbUQ4q#6987uwOXOJKjfDKigY+tfaRPT1Nfsqk1brip2qA6fFz
02:52 < darosior> So it's a parse time error actually. OPs exceeded
02:52 < darosior> A parse time bug*
03:00 < darosior> Ok so no, it's me (again). It's a bug in my fuzz target: i should check the ops limit before asserting that VerifyScript will pass. But we could also probably avoid returning a satisfaction that is invalid by consensus.
06:00 <@sipa> agreed
06:01 < andytoshi> darosior: if you construct your public key type properly rust-miniscript should reject hashes in pk_h (i think)
06:01 < andytoshi> like, make a keytype where the "hash" type is the key itself
09:23 -!- elsirion_ [~quassel@gateway/tor-sasl/elsirion] has joined ##miniscript
09:23 -!- elsirion [~quassel@gateway/tor-sasl/elsirion] has quit [Remote host closed the connection]
13:16 -!- darosior [~darosior@194.36.189.246] has quit [Quit: darosior]
13:17 -!- darosior [~darosior@194.36.189.246] has joined ##miniscript
--- Log closed Thu Dec 23 00:00:09 2021