dudect verify_ct.go now imports luxfi/precompile/starkfri and exercises
StarkFRIVerifyPrecompile.Run. Tracks the upstream rename of the p3q
precompile to starkfri (the STARK/FRI low-degree-test verifier slot).
CT property is unchanged — we measure dispatch+backend invocation,
not verification outcome.
Adds p3q/ct/dudect/ (constant-time test harness for P3Q precompile),
parallel to the existing mlkem/ct/dudect/. Moved from
~/work/lux/precompile/p3q/ct/dudect/ as part of the "keep precompile
light, import crypto" cleanup.
Files: dudect_compat.h, dudect_verify.c, verify_ct.go, Makefile,
fetch.sh, run-submission.sh, README.md.
The verify_ct.go cgo bridge is build-tag-gated (p3q_verify_ct) and has
no public Go imports, so moving the file path is safe.
Hanzo AI