Proof with Witness Extraction Protocol Design | Proof with Witness Extraction | Mathematics | NEROS