They do have https://github.com/chainwayxyz/toy-bitvm-rs but like you said, this is an extremely naive/inefficient way to do things