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