Minimizer Existence Proof Execution Protocol | Minimizer Existence Proof | Mathematics | NEROS