zhangl64/quantum-elliptic-curve-logarithm: Semantics-Based Verification Pilot for ECDLP Shor Oracle in Qrisp

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Lei Zhang
DOI: 10.5281/zenodo.18865658
Cited by: 1

Abstract

Reproducibility scripts and artifact fork on semantics-based verification of an implemented ECDLP Shor oracle in Qrisp. Forked from diehoq/quantum-elliptic-curve-logarithm and extended with verification and measurement scripts.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
4 March 2026