Exactly.

There is a 1-of-n lifeness assumption in BitVM, so you trust that at least one of the operators will behave according to protocol, but even the operators cannot steal your money.