The minimal push check only needs to occur for scripts that are being executed. The malleability only comes from data that is pushed to the stack when an input is being spent. That data is not covered by any signatures which is why it is malleable. So the only data that is pushed to the stack that is malleable are the arguments required for the path taken. There won't be any arguments for the path not taken.
Of course this means that if the script has a path that is not taken, the pushes for anything in those branches are not checked. However these are not malleable. The script will have been committed to earlier in the output script of the output being spent.
You can get bonuses upto $100 FREE BONUS when you:
💰 Install these recommended apps:
💲 SocialGood - 100% Crypto Back on Everyday Shopping
💲 xPortal - The DeFi For The Next Billion
💲 CryptoTab Browser - Lightweight, fast, and ready to mine!
💰 Register on these recommended exchanges:
🟡 Binance🟡 Bitfinex🟡 Bitmart🟡 Bittrex🟡 Bitget
🟡 CoinEx🟡 Crypto.com🟡 Gate.io🟡 Huobi🟡 Kucoin.
Comments