Construct an unknown yet classically intractable Simon oracle
Construct an instantiation of a Simon-problem oracle that satisfies the problem’s constraints, remains unknown to the quantum algorithm user, and does not immediately admit a faster classical solution, thereby resolving the tension between requiring the oracle to be unknown and requiring it to be implementable.
References
As explained by \citet{Aaronson2018}, there is no known instantiation of an oracle satisfying the constraints of Simon's problem that does not immediately admit a faster classical solution to the problem.
— Secure Quantum Handshakes: Quantum Network Verification Via Simon's Algorithm
(2610.12209 - Robertson et al., 8 Oct 2026) in Section 'Simon's Algorithm' in the Methods section