This post covers some high-level smart contract concepts that different opcodes or proposals could have (or not). https://rubin.io/bitcoin/2021/12/04/advent-7/ Interested to hear about other properties that you think are relevant! Best, Jeremy -- @JeremyRubin