Skip to content

aarch64/src/polyz_unpack_table.c: Disable unused tables#1029

Merged
mkannwischer merged 1 commit intomainfrom
disable-unused-tables
Apr 8, 2026
Merged

aarch64/src/polyz_unpack_table.c: Disable unused tables#1029
mkannwischer merged 1 commit intomainfrom
disable-unused-tables

Conversation

@flynd
Copy link
Copy Markdown
Contributor

@flynd flynd commented Apr 8, 2026

Only one table is used for each parameter set, so add conditions to remove the unused table from non-shared builds.

This change was part of PR #1000 but it is really a separate change so I've opened this PR for it instead.

@flynd flynd requested a review from a team as a code owner April 8, 2026 06:34
@oqs-bot
Copy link
Copy Markdown
Contributor

oqs-bot commented Apr 8, 2026

CBMC Results (ML-DSA-44)

Full Results (184 proofs)
Proof Status Current Previous Change
**TOTAL** 2430s 2061s +17.9%
polyvecl_pointwise_acc_montgomery_c 467s 350s +33%
sign_verify_internal 241s 211s +14%
poly_pointwise_montgomery_c 205s 148s +39%
rej_uniform_native 165s 142s +16%
mld_attempt_signature_generation 119s 105s +13%
mld_invntt_layer 102s 88s +16%
mld_ct_memcmp 95s 75s +27%
mld_ntt_layer 63s 54s +17%
polymat_permute_bitrev_to_custom 30s 28s +7%
poly_chknorm_c 26s 19s +37%
fqmul 24s 20s +20%
polyvec_matrix_expand_serial 24s 23s +4%
polyvec_matrix_expand 23s 20s +15%
rej_uniform 23s 23s +0%
sign_signature_internal 22s 20s +10%
polyeta_unpack 20s 16s +25%
poly_uniform_4x 19s 14s +36%
poly_uniform_eta_4x 19s 16s +19%
rej_uniform_c 19s 15s +27%
polyt0_unpack 17s 13s +31%
mld_ntt_butterfly_block 16s 13s +23%
mld_compute_t0_t1_tr_from_sk_components 15s 12s +25%
keccakf1600x4_permute_native 14s 11s +27%
poly_add 13s 11s +18%
keccak_absorb_once_x4 12s 11s +9%
polyz_unpack_c 12s 12s +0%
keccakf1600_permute_native 10s 7s +43%
mld_check_pct 10s 12s -17%
mld_polyvecl_permute_bitrev_to_custom_native 9s 7s +29%
polyvec_matrix_pointwise_montgomery 9s 11s -18%
polyveck_decompose 9s 7s +29%
sign 9s 6s +50%
sign_pk_from_sk 9s 6s +50%
unpack_sk 9s 9s +0%
keccak_absorb 8s 7s +14%
keccak_squeezeblocks_x4 8s 7s +14%
polyveck_add 8s 6s +33%
polyveck_use_hint 8s 5s +60%
keccakf1600_permute 7s 11s -36%
mld_sample_s1_s2_serial 7s 8s -12%
polyveck_reduce 7s 4s +75%
intt_native_x86_64 6s 2s +200%
mld_compute_pack_z 6s 5s +20%
poly_caddq_native 6s 3s +100%
poly_invntt_tomont_c 6s 7s -14%
poly_ntt 6s 4s +50%
poly_uniform_eta 6s 4s +50%
polyveck_caddq 6s 5s +20%
polyz_unpack 6s 2s +200%
sign_keypair 6s 3s +100%
sign_signature 6s 4s +50%
unpack_pk 6s 3s +100%
fqscale 5s 5s +0%
mld_h 5s 4s +25%
mld_prepare_domain_separation_prefix 5s 4s +25%
mld_sample_s1_s2 5s 5s +0%
mld_value_barrier_i64 5s 3s +67%
pack_pk 5s 3s +67%
pointwise_native_aarch64 5s 3s +67%
poly_caddq_c 5s 7s -29%
poly_challenge 5s 4s +25%
poly_chknorm 5s 5s +0%
poly_chknorm_native_aarch64 5s 2s +150%
poly_ntt_native 5s 4s +25%
poly_power2round 5s 5s +0%
poly_sub 5s 3s +67%
polyt1_pack 5s 3s +67%
polyvecl_ntt 5s 4s +25%
reduce32 5s 1s +400%
rej_eta_c 5s 5s +0%
rej_eta_native 5s 5s +0%
shake128_absorb 5s 2s +150%
sign_keypair_internal 5s 4s +25%
sign_signature_pre_hash_internal 5s 6s -17%
sign_signature_pre_hash_shake256 5s 6s -17%
sign_verify 5s 5s +0%
sign_verify_extmu 5s 4s +25%
sign_verify_pre_hash_internal 5s 6s -17%
unpack_sig 5s 2s +150%
keccak_squeeze 4s 2s +100%
keccakf1600_xor_bytes (big endian) 4s 3s +33%
mld_value_barrier_u32 4s 2s +100%
pack_sig_h_poly 4s 2s +100%
pack_sig_z 4s 3s +33%
poly_caddq 4s 3s +33%
poly_decompose_c 4s 3s +33%
poly_invntt_tomont 4s 3s +33%
poly_invntt_tomont_native 4s 4s +0%
poly_pointwise_montgomery_native 4s 2s +100%
poly_shiftl 4s 3s +33%
poly_use_hint_c 4s 4s +0%
polyeta_pack 4s 2s +100%
polyt0_pack 4s 7s -43%
polyveck_chknorm 4s 4s +0%
polyveck_invntt_tomont 4s 6s -33%
polyveck_ntt 4s 5s -20%
polyveck_pack_eta 4s 2s +100%
polyveck_power2round 4s 6s -33%
polyveck_shiftl 4s 5s -20%
polyveck_sub 4s 5s -20%
polyveck_unpack_eta 4s 3s +33%
polyveck_unpack_t0 4s 2s +100%
polyvecl_chknorm 4s 3s +33%
polyvecl_pointwise_acc_montgomery 4s 3s +33%
polyvecl_unpack_eta 4s 3s +33%
polyz_unpack_native 4s 3s +33%
shake256 4s 2s +100%
sign_signature_extmu 4s 3s +33%
sign_verify_pre_hash_shake256 4s 6s -33%
unpack_hints 4s 5s -20%
caddq 3s 4s -25%
decompose 3s 3s +0%
keccak_f1600_x1_native_aarch64 3s 2s +50%
keccak_f1600_x1_native_aarch64_v84a 3s 2s +50%
keccak_init 3s 2s +50%
keccakf1600_xor_bytes 3s 1s +200%
keccakf1600x4_permute 3s 4s -25%
keccakf1600x4_xor_bytes 3s 2s +50%
mld_ct_cmask_neg_i32 3s 2s +50%
mld_ct_get_optblocker_u32 3s 3s +0%
mld_ct_get_optblocker_u8 3s 2s +50%
mld_ct_sel_int32 3s 2s +50%
ntt_native_aarch64 3s 2s +50%
poly_chknorm_native 3s 4s -25%
poly_decompose 3s 2s +50%
poly_decompose_native 3s 4s -25%
poly_make_hint 3s 3s +0%
poly_ntt_c 3s 2s +50%
poly_uniform 3s 4s -25%
poly_uniform_gamma1 3s 3s +0%
poly_uniform_gamma1_4x 3s 3s +0%
poly_use_hint 3s 2s +50%
poly_use_hint_native 3s 3s +0%
polyveck_pointwise_poly_montgomery 3s 5s -40%
polyvecl_pointwise_acc_montgomery_native 3s 4s -25%
polyvecl_unpack_z 3s 5s -40%
polyw1_pack 3s 3s +0%
polyz_pack 3s 2s +50%
shake128_finalize 3s 2s +50%
shake128x4_absorb_once 3s 3s +0%
shake128x4_squeezeblocks 3s 4s -25%
shake256_absorb 3s 4s -25%
shake256_squeeze 3s 2s +50%
shake256x4_squeezeblocks 3s 3s +0%
sign_open 3s 2s +50%
sys_check_capability 3s 3s +0%
keccak_f1600_x4_native_aarch64_v84a 2s 2s +0%
keccak_f1600_x4_native_aarch64_v8a_v84a_scalar_hybrid 2s 2s +0%
keccak_finalize 2s 4s -50%
keccakf1600_extract_bytes (big endian) 2s 2s +0%
make_hint 2s 2s +0%
mld_ct_cmask_nonzero_u32 2s 3s -33%
mld_ct_cmask_nonzero_u8 2s 2s +0%
mld_ct_get_optblocker_i64 2s 2s +0%
mld_keccakf1600_extract_bytes 2s 3s -33%
mld_value_barrier_u8 2s 3s -33%
montgomery_reduce 2s 3s -33%
ntt_native_x86_64 2s 3s -33%
pack_sig_c 2s 5s -60%
pack_sk 2s 4s -50%
pointwise_native_x86_64 2s 3s -33%
poly_caddq_native_aarch64 2s 3s -33%
poly_pointwise_montgomery 2s 6s -67%
polyt1_unpack 2s 3s -33%
polyveck_pack_t0 2s 3s -33%
polyveck_pack_w1 2s 3s -33%
polyvecl_permute_bitrev_to_custom 2s 2s +0%
polyvecl_uniform_gamma1 2s 4s -50%
polyvecl_uniform_gamma1_serial 2s 3s -33%
power2round 2s 4s -50%
shake128_release 2s 4s -50%
shake256_finalize 2s 2s +0%
use_hint 2s 4s -50%
keccak_f1600_x4_native_aarch64_v8a_scalar_hybrid 1s 3s -67%
keccakf1600x4_extract_bytes 1s 4s -75%
mld_ct_abs_i32 1s 1s +0%
poly_reduce 1s 3s -67%
polyvecl_pack_eta 1s 2s -50%
rej_eta 1s 5s -80%
shake128_init 1s 2s -50%
shake128_squeeze 1s 2s -50%
shake256_init 1s 3s -67%
shake256_release 1s 2s -50%
shake256x4_absorb_once 1s 3s -67%

@oqs-bot
Copy link
Copy Markdown
Contributor

oqs-bot commented Apr 8, 2026

CBMC Results (ML-DSA-87)

Full Results (184 proofs)
Proof Status Current Previous Change
**TOTAL** 2325s 2234s +4.1%
polyvec_matrix_expand 241s 230s +5%
polyvecl_pointwise_acc_montgomery_c 205s 194s +6%
poly_pointwise_montgomery_c 170s 155s +10%
rej_uniform_native 152s 144s +6%
sign_verify_internal 144s 144s +0%
mld_attempt_signature_generation 96s 97s -1%
mld_invntt_layer 95s 95s +0%
polyvec_matrix_expand_serial 87s 83s +5%
mld_ct_memcmp 84s 73s +15%
mld_ntt_layer 55s 54s +2%
sign_signature_internal 40s 40s +0%
polymat_permute_bitrev_to_custom 30s 25s +20%
mld_compute_t0_t1_tr_from_sk_components 24s 23s +4%
rej_uniform 23s 19s +21%
poly_chknorm_c 22s 20s +10%
fqmul 21s 19s +11%
poly_uniform_eta_4x 18s 15s +20%
polyveck_power2round 18s 16s +12%
polyeta_unpack 17s 18s -6%
polyt0_unpack 17s 15s +13%
mld_check_pct 15s 13s +15%
rej_uniform_c 15s 13s +15%
poly_uniform_4x 14s 16s -12%
polyveck_use_hint 14s 12s +17%
mld_ntt_butterfly_block 13s 15s -13%
poly_add 13s 13s +0%
polyveck_ntt 13s 9s +44%
keccakf1600x4_permute_native 12s 13s -8%
polyveck_decompose 12s 13s -8%
keccakf1600_permute 11s 9s +22%
mld_polyvecl_permute_bitrev_to_custom_native 11s 13s -15%
keccak_absorb_once_x4 10s 11s -9%
keccakf1600_permute_native 10s 8s +25%
polyvec_matrix_pointwise_montgomery 10s 7s +43%
polyveck_invntt_tomont 9s 9s +0%
polyz_unpack_c 9s 10s -10%
sign_pk_from_sk 9s 8s +12%
keccak_absorb 8s 7s +14%
poly_caddq_c 8s 6s +33%
polyveck_add 8s 9s -11%
polyvecl_ntt 8s 7s +14%
unpack_sk 8s 9s -11%
keccak_squeezeblocks_x4 7s 7s +0%
mld_h 7s 5s +40%
mld_sample_s1_s2 7s 5s +40%
mld_sample_s1_s2_serial 7s 5s +40%
poly_challenge 7s 5s +40%
poly_decompose_c 7s 9s -22%
poly_invntt_tomont_c 7s 6s +17%
polyveck_caddq 7s 5s +40%
polyveck_pointwise_poly_montgomery 7s 5s +40%
polyveck_reduce 7s 7s +0%
polyveck_shiftl 7s 9s -22%
sign_keypair_internal 7s 4s +75%
sign_signature 7s 4s +75%
sign_signature_pre_hash_shake256 7s 5s +40%
mld_compute_pack_z 6s 7s -14%
sign 6s 7s -14%
sign_signature_extmu 6s 4s +50%
sign_verify 6s 3s +100%
sign_verify_extmu 6s 2s +200%
sign_verify_pre_hash_internal 6s 5s +20%
sign_verify_pre_hash_shake256 6s 3s +100%
unpack_hints 6s 6s +0%
make_hint 5s 4s +25%
mld_value_barrier_u32 5s 1s +400%
poly_chknorm 5s 2s +150%
poly_make_hint 5s 4s +25%
poly_ntt_native 5s 1s +400%
poly_pointwise_montgomery_native 5s 3s +67%
poly_reduce 5s 2s +150%
poly_uniform_eta 5s 6s -17%
poly_use_hint_native 5s 4s +25%
polyt1_unpack 5s 3s +67%
polyveck_chknorm 5s 7s -29%
polyveck_sub 5s 7s -29%
polyvecl_chknorm 5s 9s -44%
polyvecl_pack_eta 5s 6s -17%
polyvecl_uniform_gamma1 5s 6s -17%
sign_signature_pre_hash_internal 5s 4s +25%
fqscale 4s 1s +300%
keccak_f1600_x1_native_aarch64_v84a 4s 1s +300%
keccak_squeeze 4s 3s +33%
keccakf1600x4_permute 4s 4s +0%
mld_ct_abs_i32 4s 2s +100%
mld_keccakf1600_extract_bytes 4s 5s -20%
ntt_native_aarch64 4s 4s +0%
pack_sig_c 4s 7s -43%
pack_sk 4s 3s +33%
poly_chknorm_native_aarch64 4s 6s -33%
poly_invntt_tomont_native 4s 5s -20%
poly_ntt_c 4s 3s +33%
poly_pointwise_montgomery 4s 3s +33%
poly_power2round 4s 4s +0%
poly_uniform 4s 4s +0%
poly_uniform_gamma1 4s 3s +33%
polyeta_pack 4s 3s +33%
polyt0_pack 4s 2s +100%
polyt1_pack 4s 2s +100%
polyveck_pack_w1 4s 5s -20%
polyvecl_uniform_gamma1_serial 4s 3s +33%
polyvecl_unpack_eta 4s 3s +33%
polyw1_pack 4s 2s +100%
polyz_unpack 4s 1s +300%
power2round 4s 5s -20%
reduce32 4s 4s +0%
rej_eta_native 4s 4s +0%
shake128_absorb 4s 4s +0%
sign_keypair 4s 2s +100%
sign_open 4s 7s -43%
caddq 3s 3s +0%
decompose 3s 4s -25%
keccak_f1600_x1_native_aarch64 3s 2s +50%
keccak_finalize 3s 3s +0%
keccakf1600_extract_bytes (big endian) 3s 8s -62%
keccakf1600x4_xor_bytes 3s 3s +0%
mld_ct_cmask_nonzero_u32 3s 2s +50%
mld_ct_get_optblocker_u32 3s 3s +0%
mld_prepare_domain_separation_prefix 3s 2s +50%
mld_value_barrier_u8 3s 1s +200%
montgomery_reduce 3s 4s -25%
pack_pk 3s 5s -40%
poly_chknorm_native 3s 4s -25%
poly_decompose_native 3s 3s +0%
poly_invntt_tomont 3s 3s +0%
poly_sub 3s 4s -25%
poly_uniform_gamma1_4x 3s 5s -40%
poly_use_hint_c 3s 5s -40%
polyveck_pack_eta 3s 4s -25%
polyveck_pack_t0 3s 2s +50%
polyveck_unpack_eta 3s 3s +0%
polyvecl_pointwise_acc_montgomery 3s 4s -25%
polyvecl_pointwise_acc_montgomery_native 3s 2s +50%
polyvecl_unpack_z 3s 3s +0%
polyz_pack 3s 3s +0%
rej_eta 3s 5s -40%
shake128_finalize 3s 2s +50%
shake128_init 3s 2s +50%
shake128_release 3s 2s +50%
shake128_squeeze 3s 3s +0%
shake256_absorb 3s 3s +0%
shake256_finalize 3s 3s +0%
shake256_squeeze 3s 3s +0%
shake256x4_absorb_once 3s 2s +50%
shake256x4_squeezeblocks 3s 3s +0%
sys_check_capability 3s 3s +0%
unpack_pk 3s 4s -25%
intt_native_x86_64 2s 3s -33%
keccak_f1600_x4_native_aarch64_v84a 2s 4s -50%
keccak_f1600_x4_native_aarch64_v8a_scalar_hybrid 2s 3s -33%
keccak_f1600_x4_native_aarch64_v8a_v84a_scalar_hybrid 2s 3s -33%
keccak_init 2s 2s +0%
keccakf1600_xor_bytes 2s 3s -33%
keccakf1600_xor_bytes (big endian) 2s 4s -50%
mld_ct_cmask_neg_i32 2s 2s +0%
mld_ct_cmask_nonzero_u8 2s 2s +0%
mld_ct_get_optblocker_i64 2s 3s -33%
mld_ct_get_optblocker_u8 2s 2s +0%
mld_value_barrier_i64 2s 3s -33%
ntt_native_x86_64 2s 3s -33%
pack_sig_h_poly 2s 2s +0%
pack_sig_z 2s 2s +0%
pointwise_native_aarch64 2s 2s +0%
pointwise_native_x86_64 2s 3s -33%
poly_caddq_native 2s 5s -60%
poly_caddq_native_aarch64 2s 4s -50%
poly_decompose 2s 2s +0%
poly_ntt 2s 4s -50%
poly_shiftl 2s 3s -33%
poly_use_hint 2s 4s -50%
polyveck_unpack_t0 2s 6s -67%
polyvecl_permute_bitrev_to_custom 2s 3s -33%
polyz_unpack_native 2s 3s -33%
rej_eta_c 2s 5s -60%
shake128x4_absorb_once 2s 3s -33%
shake128x4_squeezeblocks 2s 2s +0%
shake256 2s 2s +0%
shake256_init 2s 4s -50%
shake256_release 2s 2s +0%
keccakf1600x4_extract_bytes 1s 3s -67%
mld_ct_sel_int32 1s 1s +0%
poly_caddq 1s 4s -75%
unpack_sig 1s 5s -80%
use_hint 1s 2s -50%

@oqs-bot
Copy link
Copy Markdown
Contributor

oqs-bot commented Apr 8, 2026

CBMC Results (ML-DSA-65)

Full Results (184 proofs)
Proof Status Current Previous Change
**TOTAL** 2372s 2418s -1.9%
polyvecl_pointwise_acc_montgomery_c 289s 295s -2%
sign_verify_internal 285s 289s -1%
poly_pointwise_montgomery_c 165s 164s +1%
rej_uniform_native 150s 154s -3%
polyvec_matrix_expand 111s 115s -3%
mld_attempt_signature_generation 108s 110s -2%
mld_invntt_layer 94s 98s -4%
polyvec_matrix_expand_serial 83s 86s -3%
mld_ct_memcmp 75s 80s -6%
mld_ntt_layer 57s 56s +2%
polymat_permute_bitrev_to_custom 35s 34s +3%
sign_signature_internal 28s 30s -7%
mld_compute_t0_t1_tr_from_sk_components 27s 28s -4%
polyveck_use_hint 26s 24s +8%
poly_chknorm_c 21s 21s +0%
poly_uniform_4x 20s 17s +18%
rej_uniform 20s 22s -9%
fqmul 19s 20s -5%
polyveck_decompose 19s 18s +6%
poly_uniform_eta_4x 18s 19s -5%
polyt0_unpack 15s 17s -12%
rej_uniform_c 15s 15s +0%
mld_check_pct 14s 14s +0%
polyveck_power2round 14s 14s +0%
mld_ntt_butterfly_block 13s 12s +8%
keccak_absorb_once_x4 12s 11s +9%
keccakf1600x4_permute_native 12s 14s -14%
polyvec_matrix_pointwise_montgomery 12s 14s -14%
poly_add 11s 10s +10%
unpack_sk 11s 9s +22%
mld_polyvecl_permute_bitrev_to_custom_native 10s 10s +0%
polyveck_add 10s 8s +25%
keccak_absorb 9s 8s +12%
polyveck_chknorm 9s 10s -10%
polyveck_ntt 9s 9s +0%
sign_pk_from_sk 9s 9s +0%
keccakf1600_permute 8s 9s -11%
keccakf1600_permute_native 8s 8s +0%
poly_decompose_c 8s 9s -11%
poly_invntt_tomont_c 8s 6s +33%
polyveck_caddq 8s 8s +0%
keccak_squeezeblocks_x4 7s 7s +0%
keccakf1600_xor_bytes 7s 2s +250%
polyeta_unpack 7s 8s -12%
polyveck_invntt_tomont 7s 7s +0%
polyveck_sub 7s 6s +17%
polyvecl_ntt 7s 8s -12%
sign 7s 9s -22%
poly_use_hint_c 6s 5s +20%
polyveck_pointwise_poly_montgomery 6s 8s -25%
polyveck_shiftl 6s 9s -33%
sign_keypair_internal 6s 7s -14%
keccak_f1600_x1_native_aarch64_v84a 5s 2s +150%
mld_compute_pack_z 5s 6s -17%
mld_ct_get_optblocker_i64 5s 2s +150%
mld_sample_s1_s2 5s 5s +0%
mld_sample_s1_s2_serial 5s 3s +67%
poly_caddq_c 5s 5s +0%
poly_challenge 5s 2s +150%
poly_pointwise_montgomery 5s 2s +150%
polyt0_pack 5s 2s +150%
polyveck_pack_eta 5s 3s +67%
polyveck_unpack_eta 5s 5s +0%
polyveck_unpack_t0 5s 4s +25%
polyvecl_pointwise_acc_montgomery_native 5s 5s +0%
polyvecl_uniform_gamma1 5s 3s +67%
polyz_unpack_c 5s 4s +25%
reduce32 5s 2s +150%
shake128_init 5s 3s +67%
shake128x4_absorb_once 5s 3s +67%
shake256_release 5s 3s +67%
sign_open 5s 5s +0%
sign_signature_pre_hash_shake256 5s 3s +67%
unpack_hints 5s 7s -29%
fqscale 4s 3s +33%
intt_native_x86_64 4s 4s +0%
keccak_f1600_x4_native_aarch64_v84a 4s 3s +33%
keccakf1600x4_extract_bytes 4s 2s +100%
mld_ct_cmask_nonzero_u8 4s 4s +0%
mld_ct_get_optblocker_u8 4s 3s +33%
mld_h 4s 5s -20%
mld_value_barrier_u8 4s 4s +0%
ntt_native_aarch64 4s 4s +0%
pack_sk 4s 2s +100%
pointwise_native_aarch64 4s 3s +33%
poly_caddq 4s 4s +0%
poly_caddq_native 4s 3s +33%
poly_invntt_tomont_native 4s 3s +33%
poly_ntt_c 4s 4s +0%
poly_ntt_native 4s 3s +33%
poly_pointwise_montgomery_native 4s 4s +0%
poly_reduce 4s 3s +33%
poly_uniform 4s 4s +0%
poly_uniform_eta 4s 6s -33%
poly_uniform_gamma1_4x 4s 5s -20%
polyveck_pack_w1 4s 5s -20%
polyvecl_chknorm 4s 3s +33%
polyvecl_pack_eta 4s 3s +33%
rej_eta_native 4s 6s -33%
shake256x4_absorb_once 4s 2s +100%
sign_signature_extmu 4s 5s -20%
sign_verify 4s 6s -33%
sign_verify_pre_hash_shake256 4s 4s +0%
unpack_sig 4s 3s +33%
caddq 3s 4s -25%
decompose 3s 4s -25%
keccak_f1600_x1_native_aarch64 3s 4s -25%
keccak_f1600_x4_native_aarch64_v8a_scalar_hybrid 3s 2s +50%
keccak_f1600_x4_native_aarch64_v8a_v84a_scalar_hybrid 3s 3s +0%
keccak_squeeze 3s 2s +50%
keccakf1600_extract_bytes (big endian) 3s 3s +0%
keccakf1600x4_xor_bytes 3s 3s +0%
make_hint 3s 6s -50%
mld_ct_abs_i32 3s 1s +200%
mld_ct_cmask_neg_i32 3s 3s +0%
mld_ct_cmask_nonzero_u32 3s 2s +50%
ntt_native_x86_64 3s 4s -25%
pack_pk 3s 3s +0%
pack_sig_h_poly 3s 5s -40%
poly_chknorm 3s 2s +50%
poly_chknorm_native_aarch64 3s 3s +0%
poly_decompose_native 3s 3s +0%
poly_make_hint 3s 3s +0%
poly_power2round 3s 4s -25%
poly_shiftl 3s 2s +50%
poly_use_hint_native 3s 3s +0%
polyt1_unpack 3s 3s +0%
polyveck_reduce 3s 5s -40%
polyvecl_permute_bitrev_to_custom 3s 3s +0%
polyvecl_uniform_gamma1_serial 3s 5s -40%
polyvecl_unpack_eta 3s 3s +0%
polyvecl_unpack_z 3s 4s -25%
polyw1_pack 3s 4s -25%
polyz_pack 3s 3s +0%
polyz_unpack_native 3s 1s +200%
rej_eta 3s 4s -25%
rej_eta_c 3s 4s -25%
shake128x4_squeezeblocks 3s 2s +50%
shake256_finalize 3s 2s +50%
shake256_init 3s 1s +200%
shake256_squeeze 3s 4s -25%
sign_signature 3s 4s -25%
sign_signature_pre_hash_internal 3s 5s -40%
unpack_pk 3s 2s +50%
use_hint 3s 5s -40%
keccakf1600_xor_bytes (big endian) 2s 2s +0%
keccakf1600x4_permute 2s 3s -33%
mld_ct_get_optblocker_u32 2s 2s +0%
mld_ct_sel_int32 2s 1s +100%
mld_keccakf1600_extract_bytes 2s 2s +0%
mld_prepare_domain_separation_prefix 2s 6s -67%
mld_value_barrier_i64 2s 3s -33%
montgomery_reduce 2s 4s -50%
pack_sig_z 2s 3s -33%
pointwise_native_x86_64 2s 5s -60%
poly_caddq_native_aarch64 2s 3s -33%
poly_chknorm_native 2s 4s -50%
poly_decompose 2s 2s +0%
poly_invntt_tomont 2s 3s -33%
poly_ntt 2s 4s -50%
poly_sub 2s 2s +0%
poly_uniform_gamma1 2s 2s +0%
poly_use_hint 2s 3s -33%
polyeta_pack 2s 4s -50%
polyveck_pack_t0 2s 2s +0%
polyz_unpack 2s 2s +0%
power2round 2s 3s -33%
shake128_finalize 2s 2s +0%
shake128_release 2s 4s -50%
shake128_squeeze 2s 3s -33%
shake256 2s 3s -33%
shake256_absorb 2s 3s -33%
shake256x4_squeezeblocks 2s 2s +0%
sign_keypair 2s 4s -50%
sign_verify_extmu 2s 4s -50%
sign_verify_pre_hash_internal 2s 4s -50%
sys_check_capability 2s 4s -50%
keccak_finalize 1s 1s +0%
keccak_init 1s 2s -50%
mld_value_barrier_u32 1s 3s -67%
pack_sig_c 1s 2s -50%
polyt1_pack 1s 2s -50%
polyvecl_pointwise_acc_montgomery 1s 3s -67%
shake128_absorb 1s 2s -50%

Copy link
Copy Markdown
Contributor

@mkannwischer mkannwischer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @flynd! LGTM.

Only one table is used for each parameter set, so add conditions to
remove the unused table from non-shared builds.

Signed-off-by: Anders Sonmark <Anders.Sonmark@axis.com>
@mkannwischer mkannwischer force-pushed the disable-unused-tables branch from eb8975f to 436cc08 Compare April 8, 2026 07:55
@mkannwischer mkannwischer self-assigned this Apr 8, 2026
@mkannwischer mkannwischer merged commit 9c62ded into main Apr 8, 2026
382 checks passed
@mkannwischer mkannwischer deleted the disable-unused-tables branch April 8, 2026 09:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants