Wonder if this would work to solve the discrete log problem?

PS: you have to make him talk in polynomial time!