Re: [bitcoin-dev] Ivy: a higher-level language targeting Bitcoin Script

Hi Matt, Thanks for raising this. Since the compiler only produces SegWit addresses, I hadn't worried at all about malleability, but as you pointed out out-of-band, malleability in the length of an argument can allow an attacker to deflate the feerate of a transaction. There was in fact a minor w

Re: [bitcoin-dev] Ivy: a higher-level language targeting Bitcoin Script

I'm curious if you've considered adding some form of compiler-time enforcement to prevent witness malleability? With that, Ivy could help to resolve for it's users one of the things that can make Bitcoin scripts more complicated to write, instead of simply type-checking and providing a high-leve

[bitcoin-dev] Ivy: a higher-level language targeting Bitcoin Script

Today, we’re releasing Ivy, a prototype higher-level language and development environment for creating custom Bitcoin Script programs. You can see the full announcement here , or check out