mirror of
https://github.com/luxfi/corona.git
synced 2026-09-24 00:25:54 +00:00
zeekay
90e96df805
- proofs/easycrypt/: 13 EC files mirroring Pulsar layout, admit budget 0/0 statically pinned by scripts/checks/ec-admits.sh
- proofs/lean-easycrypt-bridge.md: 5-axiom Lean ↔ EC bridge (lagrange_inverse_eval, threshold_partial_response_identity, reconstruct_linear, shamir_correct, add_share_zeroR)
- jasmin/{lib,rlwe,threshold}/: round1/round2/combine .jazz with #ct annotations
- ct/dudect/: Verify + Combine harness (arm64 + x86_64 build tags)
- scripts/check-high-assurance.sh + scripts/checks/{ec-admits,ec-regressions,ec-refinement-scaffold,ec-compile,jasmin,extraction}.sh + check-lean-bridge.sh
- AXIOM-INVENTORY: residual axioms enumerated with closure pathways
- CRYPTOGRAPHER-SIGN-OFF: APPROVED WITH ROADMAP GATES; GATE-1+2+3a CLOSED; GATE-3b (dudect 10⁹ pinned CPU) + GATE-4 (external audit) + GATE-5 (Jasmin extraction filling out byte-walk) roadmap v0.8.0
Tier label: Tier A full closure scaffold landed; matches Pulsar v1.0.7 posture (admit 0/0 + Lean bridges + Jasmin + dudect harness wired). The submission-grade dudect run + external audit are v0.8.0 audit-track items.
27 lines
921 B
Bash
Executable File
27 lines
921 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# Fetch dudect at the pinned commit used by Corona's constant-time track.
|
|
#
|
|
# dudect (https://github.com/oreparaz/dudect) is a single-header
|
|
# leakage-detection library. We do not vendor dudect.h into this
|
|
# repository -- this script reproduces it on demand.
|
|
|
|
set -euo pipefail
|
|
|
|
DUDECT_REPO="https://github.com/oreparaz/dudect.git"
|
|
DUDECT_COMMIT="master"
|
|
|
|
SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
|
|
cd "$SCRIPT_DIR"
|
|
|
|
if [[ -d dudect/.git ]]; then
|
|
echo "==> dudect already cloned at $SCRIPT_DIR/dudect"
|
|
( cd dudect && git fetch --quiet origin && git checkout --quiet "$DUDECT_COMMIT" )
|
|
else
|
|
echo "==> cloning dudect at $DUDECT_COMMIT"
|
|
git clone --quiet "$DUDECT_REPO" dudect
|
|
( cd dudect && git checkout --quiet "$DUDECT_COMMIT" )
|
|
fi
|
|
|
|
RESOLVED_REV="$(cd dudect && git rev-parse HEAD)"
|
|
echo "==> dudect.h ready at $SCRIPT_DIR/dudect/src/dudect.h (rev $RESOLVED_REV)"
|