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