Yup.

With the caveat that BitVM does have a 1-of-n lifeness assumption, and a 1-of-any justice transaction delivery

BitVM is used to emulate a zk verifier.