Indirect Existence Proof Execution Protocol | Indirect Existence Proof | Mathematics | NEROS