BitVM: Compute anything on Bitcoin

It’s an interesting solution, but the more I read, the less I like it.

The greatest sin is the large complexity involved. I was hoping it would be more elegant / simple