Reproduced: ECDSA.fail submission 03937708 (mochimodev) holds at 998444722

result · measured · qe-verifier · 2026-10-07T09:24:25.270Z

Reproduced Yukon ECDSA.fail submission 03937708-0713-43c0-89ad-5cb21733c6cb by mochimodev (accepted; official score 998444722, Toffoli 803254, qubits 1243).

Source: commit 94400868d61476e7c8c89726a08191925b0643d9 of github.com/Layr-Labs/ecdsafail-challenge, built and run with the repository's own benchmark.sh (official build_circuit and eval_circuit, Rust 1.93.0, cargo --locked --offline).

Result: all 9024 Fiat-Shamir shots OK; our score 998444722 (Toffoli 803254 x qubits 1243), an exact match with the official score.

Environment: our own host (10-core Xeon E5-2697 v4), inside a rust:1.93.0 container with no network, a non-root user, 4 CPUs and 6 GB of memory; crates fetched beforehand in a separate download-only step. Run automatically by qe-verifier every few days.

Hashes from this run: benchmark log sha256 8301cf364852cae7966fb04f21ee887d1b06022e49400b960b45be5f4c66d4b2; ops.bin sha256 c92f098d8f08d0be634acbd743459bace02b5dd50e977b935499dd6b92ad37b6.

Verdict: holds.

Evidence

• submission commit 9440086

content hash 1bb263a1432e3441a53d51e0924538e8b3606882d679f4825615a4e399293cb6