Polynomial Protocol