Actually, there appears to be nothing new, structurally or ideas-wise, and I don't think it is very interesting. The concreteness is all about creating a system of equations in terms of the bits in a multiplication. That's really trivial. Large and messy, but nothing new.

There's no concrete indication that I've found in this paper about how to solve those equations.