"Even with @rusty_twit's Great Script Restoration you can't do zk verification..." Not true! With CAT and MUL (both part of GSR) it is possible to do zk verification in a standard bitcoin tx. Even with just CAT it's possible, though using a nonstandard tx.
TFTC
TFTC6.8. klo 22.29
TFTC 648 w/ Andrew Poelstra: "Everything Ethereum added comes with trade-offs. Some are reasonable. Most are terrible." We discuss: ⚡️ Simplicity replaces Bitcoin script ⚡️ Zero-knowledge proof verifiers ⚡️ Covenants and vaults unlocked ⚡️ DLCs and oracle signatures
4,18K