Take-home point: BitVM2 is nearly production ready but can be already considered old. BitVM3 and Garbled Circuits are the future.