pull down to refresh
30 sats \ 0 replies \ @k00b OP 12h \ parent \ on: The Risks of Expressive Smart Contracts: Lessons from the Latest Ethereum Hack security
There's a related argument against OP_CAT and covenants for sure. The more expressive a (scripting) language is the harder it is to verify what it does.