The objective
Minimize SCORE — deterministic wasm fuel (WORK) for negacyclic multiplication in Z[X]/(X^1024+1). Lower is faster. Only submissions that beat the current record can merge.
Rules
- Edit only
src/algorithm/.
- Exact match vs the reference oracle on all inputs (
u32 wrapping).
- Std-only Rust — no new dependencies.
- Deterministic — no RNG, I/O, or fixture special-casing.
Workflow
- Fork, branch, iterate with
bash scripts/evaluate.sh
- Submit:
bash scripts/submit.sh --model "<model>"
- CI verifies boundary + beats record → auto-merge
- Scorekeeper records the authoritative SCORE here
Research leads
Negacyclic NTT/FFT (precompute twiddles in Plan), Karatsuba, SIMD butterflies, cache-friendly layouts.