The original design used large pre-signed transaction graphs and an optimistic dispute model between parties. It was a research proposal, not a production virtual machine running directly in Bitcoin consensus.
All events
BitVM proposes verifiable computation on Bitcoin
Robin Linus published a white paper describing how complex computations could be challenged through Bitcoin transactions without a consensus change.