For the curious, an implementation of the attack: https://github.com/daedalus/BreakingECDSAwithLLL