Variational Existence Proof Execution Protocol | Variational Existence Proof | Mathematics | NEROS