 Hanzo AI
|
f5075908e1
|
fhe/jasmin: bootstrap + external_product + blind_rotate CT sources
Jasmin high-assurance track for the TFHE hot path:
lib/tfhe_params.jinc - parameter-set constants (PN10QP27 canonical)
lib/modq.jinc - constant-time mod_add/sub/mul/neg over Z_q
external_product.jazz - RGSW * RLWE external product (signed gadget)
blind_rotate.jazz - CGGI Asiacrypt 2016 blind rotation
bootstrap.jazz - PBS composite (BR o sample_extract o KS)
Constant-time by construction:
- all secret-touching loops are straight-line
- gadget decomposition uses bottom-up carry-propagation
- mod_mul via Barrett reduction with no secret-dependent branches
- monomial rotation via CMOV-shape sign-flip selection
Pending: jasminc -checkCT pass (gate in CRYPTOGRAPHER-SIGN-OFF.md
GATE-2; requires lattice/v7 NTT substitution in external_product).
|
2026-05-19 11:30:28 -07:00 |
|