understanding BitVM