Semantics-Based Verification of an Implemented Shor Oracle for ECDLP in Qrisp

Lei Zhang, Zhiyuan Chen

Shor-style quantum algorithms for the elliptic-curve discrete logarithm problem (ECDLP) are highly sensitive to the exact semantics of their group-operation oracles. Consequently,…