Witness Construction Protocol for Structured Analytical Execution | Witness Construction | Mathematics | NEROS