No, I don't think so. Certainly, BitVMX does not use this new hash function.

There are so many different spinoffs from BitVM that I can't keep them straight, but as far as I can tell, BitVMX has made some changes to the original BitVM idea:

Our main contribution to the state of the art is a design that uses hash chains of program traces, memory mapped registers, and a new challenge-response protocol. We present a new message linking protocol as a means to allow authenticated communication between the participants.

Here's their whitepaper if you want try to tease out the differences: https://bitvmx.org/files/bitvmx-whitepaper.pdf

Somebody should write a state of the BitVM landscape...