I think BitVM is interesting. But more broadly, I think it shows that innovation on bitcoin, without changing any of its code, is possible. It reminds me of a "quote":

Innovation finds a way - Jurassic Park