「@rusty_twitの素晴らしいスクリプト復元を使用しても、zk検証はできません...」 本当じゃないです！CATとMUL(どちらもGSRの一部)を使用すると、標準のビットコインtxでzk検証を行うことができます。CATだけでも可能ですが、非標準のtxを使用します。