"Även med @rusty_twit's Great Script Restoration kan du inte göra zk-verifiering ..." Inte sant! Med CAT och MUL (båda delar av GSR) är det möjligt att göra zk-verifiering i en standard bitcoin tx. Även med bara CAT är det möjligt, men med hjälp av en icke-standard tx.