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