多项式扩展与和校验协议

一个很简单又很巧妙的协议，不知道为啥半年前的自己看不懂