"Mesmo com a Grande Restauração de Script do @rusty_twit, não é possível fazer verificação zk..." Não é verdade! Com CAT e MUL (ambos parte do GSR) é possível fazer verificação zk em uma transação bitcoin padrão. Mesmo com apenas CAT é possível, embora usando uma transação não padrão.