After a quick read, I'm not sure.  Maybe after seeing a specific use case for it, it might help me make up my mind.

https://bitvm.org/bitvm.pdf