零知识证明（19）：匹诺曹协议

本节介绍Alice如何构造一个简短的证明，证明其拥有一个QAP的解