Should we enable spork functionality temporarily until Lelantus matures?

[reuben]

Closing this thread as the new proposal is here:

Should emergency switch functionality for Lelantus be extended? How should we transition from Lelantus to Lelantus Spark?

We are currently about 4 months out from our spork control expiring. This is effectively a master key for us to disable Lelantus should we notice any suspicious activity. The original proposal was to have it for 1 year. I recommend reading that thread as well. I have no issues to have it expire. However there’s one niggling piece that’s bugging me and that’s relating to a security proof in Lelantus’ balance security. Security proofs in cryptography are basically mathematical proofs that prove …