Permanent is hard to compute even on a good day
Algebraic methods for interactive proof systems