Is that a real two way peg you are talking about? the trustless/permissionless kind?
Discussion
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.