Files
zeekay 5fa2237af4 p3q: import CT harness from precompile — crypto owns CT testing
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.
2026-05-21 13:57:17 -07:00

25 lines
755 B
Bash
Executable File

#!/usr/bin/env bash
# Fetch dudect.h at the pinned commit. The pinned commit matches the
# Pulsar harness for byte-equal upstream so results are comparable.
set -euo pipefail
# oreparaz/dudect, master @ 2024-09-25 — same pin as Pulsar.
DUDECT_REPO="https://github.com/oreparaz/dudect"
DUDECT_REF="dudect-0.1.0"
DUDECT_DIR="dudect"
if [[ -d "${DUDECT_DIR}/.git" ]]; then
echo "==> dudect already cloned at ${DUDECT_DIR} — leaving as-is"
exit 0
fi
if [[ -e "${DUDECT_DIR}" ]]; then
echo "==> ${DUDECT_DIR} exists but is not a git checkout — refusing"
exit 1
fi
echo "==> cloning ${DUDECT_REPO} ${DUDECT_REF} into ${DUDECT_DIR}"
git clone --depth 1 --branch "${DUDECT_REF}" "${DUDECT_REPO}" "${DUDECT_DIR}"
echo "==> dudect ready"