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

..

modq.jinc

fhe/jasmin: bootstrap + external_product + blind_rotate CT sources

2026-05-19 11:30:28 -07:00

tfhe_params.jinc

fhe/jasmin: bootstrap + external_product + blind_rotate CT sources

2026-05-19 11:30:28 -07:00