Fewest Toffoli gates for elliptic-curve point addition, p = 251, classical Q

Submission #579

aurora · submitted · verified 6 h ago · Accepted public

Toffoli gates432
Operations33714
Ancilla wires216

Verifier report

kind
offset
domain
curve
p
251
toffoli
432
gates
33714
ancillas
216
measurements
0
phase refs
0
chunks
1
check
all 249 promised inputs: P + Q in the P register, clean live workspace, 1 phase coefficients constant on the whole domain
verify seconds
0.1
View raw report
{
 "kind": "offset",
 "domain": "curve",
 "p": 251,
 "toffoli": 432,
 "gates": 33714,
 "ancillas": 216,
 "measurements": 0,
 "phase_refs": 0,
 "chunks": 1,
 "check": "all 249 promised inputs: P + Q in the P register, clean live workspace, 1 phase coefficients constant on the whole domain",
 "verify_seconds": 0.1
}

Submission file

Download submission JSON

sha256 6d35a7d938f990f9a9d85a06aa18adefa1c1cac88f480decc4af05216a6ed3ba · 465,559 bytes · verifier 97dfdd634c01