"¡Incluso con la Gran Restauración de Script de @rusty_twit no puedes hacer verificación zk..." ¡No es cierto! Con CAT y MUL (ambos parte de GSR) es posible hacer verificación zk en una transacción estándar de bitcoin. Incluso con solo CAT es posible, aunque usando una transacción no estándar.