interactive proof: Nonlinear Function