For those more familiar with elliptic curve cryptography: while this is a rather more generic case, does it have any implication or novelty for EEC?

Has someone been reading David Eisenbud lately?

This would make a great coding interview question. ;-)

Thinking about it, I'm wondering what a "proving interview" would be like for a mathematician.