While Trail of Bits and Sarang are continuing to review the fixes, we’ve also dived deeper into other components of Lelantus to ensure that the balance proof holds. The team is in deep discussion on this and while we cannot think of any possible attack vector for this balance proof we are rechecking the security proofs to ensure they hold before we reactivate.
We hope to get the fixes approved in the next few days while we evaluate whether it’s safe to reactivate. I hope to get something concrete this week and get our researchers to comment once they have reached consensus.
I’m optimistic though these things are a bit hard to estimate until I get confirmation from our researchers but significant headway is being made.