Skip to content

Convert issue templates to YAML Issue Forms with SPDX header - #1693

Open
mkannwischer wants to merge 1 commit into
mainfrom
spdx/issue-templates-yml
Open

Convert issue templates to YAML Issue Forms with SPDX header#1693
mkannwischer wants to merge 1 commit into
mainfrom
spdx/issue-templates-yml

Conversation

@mkannwischer

@mkannwischer mkannwischer commented May 12, 2026

Copy link
Copy Markdown
Contributor

Concert legacy .md issue template to the more modern yml format and add SPDX headers.

@oqs-bot

oqs-bot commented May 12, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

CBMC Results (ML-KEM-512)

Full Results (191 proofs)
Proof Status Current Previous Change
**TOTAL** ✅ 1536s 1614s -4.8%
mlk_indcpa_enc ✅ 249s 255s -2%
mlk_indcpa_keypair_derand ✅ 202s 213s -5%
mlk_poly_rej_uniform ✅ 134s 150s -11%
mlk_rej_uniform_c ✅ 114s 135s -16%
rej_uniform_native_x86_64 ✅ 53s 57s -7%
mlk_polyvec_basemul_acc_montgomery_cached_c ✅ 47s 55s -15%
rej_uniform_native_aarch64 ✅ 44s 43s +2%
poly_ntt_native ✅ 39s 45s -13%
mlk_poly_reduce_native ✅ 34s 35s -3%
mlk_ntt_layer ✅ 27s 32s -16%
mlk_keccak_squeezeblocks_x4 ✅ 24s 26s -8%
keccakf1600x4_permute_native_x4 ✅ 17s 16s +6%
mlk_indcpa_dec ✅ 16s 14s +14%
mlk_fqmul ✅ 15s 17s -12%
mlk_poly_decompress_d4_native ✅ 14s 14s +0%
mlk_poly_decompress_d10_native ✅ 13s 15s -13%
mlk_polyvec_add ✅ 11s 11s +0%
mlk_poly_frommsg ✅ 9s 10s -10%
mlk_poly_frombytes_native ✅ 8s 8s +0%
polyvec_basemul_acc_montgomery_cached_native ✅ 8s 8s +0%
mlk_keccak_absorb_once_x4 ✅ 7s 5s +40%
mlk_keccak_squeeze_once ✅ 7s 8s -12%
mlk_invntt_layer ✅ 6s 4s +50%
mlk_keccak_squeezeblocks ✅ 6s 9s -33%
mlk_keccakf1600_permute_c ✅ 6s 5s +20%
mlk_ntt_butterfly_block ✅ 6s 9s -33%
mlk_poly_sub ✅ 6s 6s +0%
poly_decompress_d10_native_x86_64 ✅ 6s 9s -33%
keccak_f1600_x4_native_aarch64_v8a_scalar_hybrid ✅ 5s 3s +67%
keccak_f1600_x4_native_avx2 ✅ 5s 2s +150%
kem_keypair ✅ 5s 4s +25%
mlk_barrett_reduce ✅ 5s 2s +150%
mlk_ct_sel_uint8 ✅ 5s 2s +150%
mlk_poly_ntt ✅ 5s 5s +0%
mlk_poly_tobytes_native ✅ 5s 2s +150%
mlk_polyvec_permute_bitrev_to_custom_native ✅ 5s 2s +150%
mlk_polyvec_tobytes ✅ 5s 3s +67%
ntt_native_x86_64 ✅ 5s 2s +150%
nttunpack_native_x86_64 ✅ 5s 2s +150%
poly_decompress_d4_native_x86_64 ✅ 5s 4s +25%
polyvec_basemul_acc_montgomery_cached_k4_native_aarch64 ✅ 5s 3s +67%
mlk_ct_cmask_nonzero_u16 ✅ 4s 2s +100%
mlk_ct_get_optblocker_i32 ✅ 4s 2s +100%
mlk_keccak_absorb_once ✅ 4s 3s +33%
mlk_poly_add ✅ 4s 4s +0%
mlk_poly_compress_d11_c ✅ 4s 2s +100%
mlk_poly_compress_d5 ✅ 4s 2s +100%
mlk_poly_getnoise_eta1_4x_native ✅ 4s 2s +100%
mlk_poly_invntt_tomont_c ✅ 4s 3s +33%
mlk_poly_reduce_c ✅ 4s 3s +33%
mlk_poly_rej_uniform_x4 ✅ 4s 8s -50%
mlk_polymat_permute_bitrev_to_custom ✅ 4s 2s +100%
mlk_polyvec_ntt ✅ 4s 1s +300%
mlk_scalar_decompress_d11 ✅ 4s 2s +100%
mlk_scalar_signed_to_unsigned_q ✅ 4s 1s +300%
poly_compress_d4_native_x86_64 ✅ 4s 1s +300%
poly_frombytes_native_x86_64 ✅ 4s 5s -20%
keccak_f1600_x4_native_aarch64_v84a ✅ 3s 3s +0%
kem_check_pk ✅ 3s 4s -25%
mlk_check_pct ✅ 3s 5s -40%
mlk_ct_cmov_zero ✅ 3s 3s +0%
mlk_ct_get_optblocker_u32 ✅ 3s 3s +0%
mlk_enc_getnoise_eta1_eta2 ✅ 3s 2s +50%
mlk_gen_matrix ✅ 3s 2s +50%
mlk_keccakf1600_extract_bytes ✅ 3s 2s +50%
mlk_keccakf1600x4_extract_bytes ✅ 3s 2s +50%
mlk_keypair_getnoise_eta1 ✅ 3s 1s +200%
mlk_poly_cbd_eta2 ✅ 3s 3s +0%
mlk_poly_compress_d10 ✅ 3s 4s -25%
mlk_poly_compress_d11 ✅ 3s 3s +0%
mlk_poly_compress_d11_native ✅ 3s 3s +0%
mlk_poly_compress_dv ✅ 3s 3s +0%
mlk_poly_decompress_d11 ✅ 3s 2s +50%
mlk_poly_decompress_d11_native ✅ 3s 3s +0%
mlk_poly_decompress_d4 ✅ 3s 3s +0%
mlk_poly_decompress_d5_native ✅ 3s 2s +50%
mlk_poly_frombytes_c ✅ 3s 4s -25%
mlk_poly_getnoise_eta1_4x ✅ 3s 5s -40%
mlk_poly_mulcache_compute_c ✅ 3s 4s -25%
mlk_poly_mulcache_compute_native ✅ 3s 2s +50%
mlk_poly_tobytes ✅ 3s 3s +0%
mlk_poly_tomont_native ✅ 3s 2s +50%
mlk_polyvec_decompress_du ✅ 3s 2s +50%
mlk_polyvec_tomont ✅ 3s 1s +200%
mlk_scalar_compress_d4 ✅ 3s 1s +200%
mlk_scalar_decompress_d10 ✅ 3s 2s +50%
mlk_sha3_512 ✅ 3s 2s +50%
mlk_shake256x4 ✅ 3s 5s -40%
mlk_value_barrier_u32 ✅ 3s 3s +0%
ntt_native_aarch64 ✅ 3s 2s +50%
poly_decompress_d5_native_x86_64 ✅ 3s 2s +50%
poly_getnoise_eta1122_4x_native ✅ 3s 1s +200%
poly_mulcache_compute_native_aarch64 ✅ 3s 3s +0%
poly_tobytes_native_aarch64 ✅ 3s 2s +50%
poly_tomont_native_x86_64 ✅ 3s 2s +50%
polyvec_basemul_acc_montgomery_cached_k4_native_x86_64 ✅ 3s 2s +50%
rej_uniform_native ✅ 3s 1s +200%
intt_native_x86_64 ✅ 2s 2s +0%
keccak_f1600_x1_native_aarch64 ✅ 2s 2s +0%
keccak_f1600_x1_native_aarch64_v84a ✅ 2s 2s +0%
keccak_f1600_x4_native_aarch64_v8a_v84a_scalar_hybrid ✅ 2s 3s -33%
keccakf1600x4_extract_bytes_native ✅ 2s 1s +100%
keccakf1600x4_xor_bytes_native ✅ 2s 1s +100%
kem_check_sk ✅ 2s 2s +0%
kem_dec ✅ 2s 5s -60%
kem_enc_derand ✅ 2s 3s -33%
kem_keypair_derand ✅ 2s 3s -33%
mlk_ct_cmask_neg_i16 ✅ 2s 3s -33%
mlk_ct_sel_int16 ✅ 2s 1s +100%
mlk_gen_matrix_serial ✅ 2s 3s -33%
mlk_keccakf1600_extract_bytes (big endian) ✅ 2s 5s -60%
mlk_keccakf1600_xor_bytes ✅ 2s 1s +100%
mlk_keccakf1600x4_extract_bytes_c ✅ 2s 3s -33%
mlk_keccakf1600x4_xor_bytes ✅ 2s 2s +0%
mlk_keccakf1600x4_xor_bytes_c ✅ 2s 2s +0%
mlk_matvec_mul ✅ 2s 3s -33%
mlk_montgomery_reduce ✅ 2s 2s +0%
mlk_poly_cbd_eta1 ✅ 2s 2s +0%
mlk_poly_compress_d10_c ✅ 2s 2s +0%
mlk_poly_compress_d10_native ✅ 2s 1s +100%
mlk_poly_compress_d4 ✅ 2s 3s -33%
mlk_poly_compress_d4_c ✅ 2s 3s -33%
mlk_poly_compress_d5_c ✅ 2s 3s -33%
mlk_poly_compress_d5_native ✅ 2s 3s -33%
mlk_poly_compress_du ✅ 2s 3s -33%
mlk_poly_decompress_d10_c ✅ 2s 4s -50%
mlk_poly_decompress_d11_c ✅ 2s 2s +0%
mlk_poly_decompress_d4_c ✅ 2s 7s -71%
mlk_poly_decompress_d5 ✅ 2s 1s +100%
mlk_poly_decompress_du ✅ 2s 2s +0%
mlk_poly_getnoise_eta2 ✅ 2s 3s -33%
mlk_poly_invntt_tomont ✅ 2s 2s +0%
mlk_poly_ntt_c ✅ 2s 2s +0%
mlk_poly_reduce ✅ 2s 1s +100%
mlk_poly_tomont ✅ 2s 1s +100%
mlk_poly_tomont_c ✅ 2s 2s +0%
mlk_poly_tomsg ✅ 2s 3s -33%
mlk_polyvec_basemul_acc_montgomery_cached ✅ 2s 1s +100%
mlk_polyvec_frombytes ✅ 2s 2s +0%
mlk_polyvec_mulcache_compute ✅ 2s 5s -60%
mlk_polyvec_permute_bitrev_to_custom ✅ 2s 2s +0%
mlk_polyvec_reduce ✅ 2s 2s +0%
mlk_rej_uniform ✅ 2s 5s -60%
mlk_scalar_compress_d1 ✅ 2s 2s +0%
mlk_scalar_compress_d11 ✅ 2s 2s +0%
mlk_scalar_compress_d5 ✅ 2s 2s +0%
mlk_scalar_decompress_d4 ✅ 2s 3s -33%
mlk_sha3_256 ✅ 2s 2s +0%
mlk_shake128_squeezeblocks ✅ 2s 3s -33%
mlk_shake128x4_absorb_once ✅ 2s 2s +0%
mlk_shake128x4_squeezeblocks ✅ 2s 1s +100%
mlk_value_barrier_u8 ✅ 2s 4s -50%
poly_compress_d11_native_x86_64 ✅ 2s 2s +0%
poly_decompress_d11_native_x86_64 ✅ 2s 1s +100%
poly_reduce_native_aarch64 ✅ 2s 1s +100%
poly_reduce_native_x86_64 ✅ 2s 2s +0%
poly_tobytes_native_x86_64 ✅ 2s 1s +100%
poly_tomont_native_aarch64 ✅ 2s 2s +0%
polyvec_basemul_acc_montgomery_cached_k2_native_aarch64 ✅ 2s 3s -33%
polyvec_basemul_acc_montgomery_cached_k3_native_aarch64 ✅ 2s 3s -33%
polyvec_basemul_acc_montgomery_cached_k3_native_x86_64 ✅ 2s 2s +0%
sys_check_capability ✅ 2s 1s +100%
intt_native_aarch64 ✅ 1s 2s -50%
keccakf1600_permute_native ✅ 1s 1s +0%
kem_enc ✅ 1s 2s -50%
mlk_ct_cmask_nonzero_u8 ✅ 1s 1s +0%
mlk_ct_get_optblocker_u8 ✅ 1s 2s -50%
mlk_ct_memcmp ✅ 1s 3s -67%
mlk_keccakf1600_permute ✅ 1s 1s +0%
mlk_keccakf1600_xor_bytes (big endian) ✅ 1s 2s -50%
mlk_keccakf1600x4_permute ✅ 1s 4s -75%
mlk_poly_compress_d4_native ✅ 1s 2s -50%
mlk_poly_decompress_d10 ✅ 1s 2s -50%
mlk_poly_decompress_d5_c ✅ 1s 1s +0%
mlk_poly_decompress_dv ✅ 1s 2s -50%
mlk_poly_frombytes ✅ 1s 1s +0%
mlk_poly_getnoise_eta1122_4x ✅ 1s 3s -67%
mlk_poly_mulcache_compute ✅ 1s 2s -50%
mlk_poly_tobytes_c ✅ 1s 3s -67%
mlk_polyvec_compress_du ✅ 1s 2s -50%
mlk_polyvec_invntt_tomont ✅ 1s 3s -67%
mlk_scalar_compress_d10 ✅ 1s 2s -50%
mlk_scalar_decompress_d5 ✅ 1s 3s -67%
mlk_shake128_absorb_once ✅ 1s 3s -67%
mlk_shake256 ✅ 1s 2s -50%
mlk_value_barrier_i32 ✅ 1s 2s -50%
poly_compress_d10_native_x86_64 ✅ 1s 3s -67%
poly_compress_d5_native_x86_64 ✅ 1s 2s -50%
poly_invntt_tomont_native ✅ 1s 2s -50%
poly_mulcache_compute_native_x86_64 ✅ 1s 1s +0%
polyvec_basemul_acc_montgomery_cached_k2_native_x86_64 ✅ 1s 3s -67%

@oqs-bot

oqs-bot commented May 12, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

CBMC Results (ML-KEM-1024)

Full Results (191 proofs)
Proof Status Current Previous Change
**TOTAL** ✅ 1810s 1885s -4.0%
mlk_indcpa_enc ✅ 389s 402s -3%
mlk_indcpa_keypair_derand ✅ 172s 176s -2%
mlk_poly_rej_uniform ✅ 155s 161s -4%
mlk_rej_uniform_c ✅ 130s 144s -10%
mlk_polyvec_basemul_acc_montgomery_cached_c ✅ 73s 79s -8%
rej_uniform_native_x86_64 ✅ 62s 67s -7%
rej_uniform_native_aarch64 ✅ 47s 53s -11%
poly_ntt_native ✅ 44s 43s +2%
mlk_ntt_layer ✅ 37s 38s -3%
mlk_poly_reduce_native ✅ 36s 40s -10%
polyvec_basemul_acc_montgomery_cached_native ✅ 27s 31s -13%
mlk_keccak_squeezeblocks_x4 ✅ 24s 26s -8%
mlk_polyvec_add ✅ 21s 18s +17%
keccakf1600x4_permute_native_x4 ✅ 17s 15s +13%
mlk_fqmul ✅ 16s 20s -20%
mlk_poly_decompress_d5_native ✅ 16s 18s -11%
mlk_poly_decompress_d11_native ✅ 14s 16s -12%
mlk_indcpa_dec ✅ 13s 11s +18%
mlk_poly_frommsg ✅ 11s 10s +10%
mlk_polyvec_ntt ✅ 11s 12s -8%
mlk_keccak_squeeze_once ✅ 8s 10s -20%
mlk_keccak_squeezeblocks ✅ 8s 9s -11%
mlk_ntt_butterfly_block ✅ 8s 9s -11%
mlk_poly_frombytes_native ✅ 8s 10s -20%
mlk_invntt_layer ✅ 7s 6s +17%
mlk_poly_rej_uniform_x4 ✅ 7s 7s +0%
keccakf1600x4_xor_bytes_native ✅ 6s 2s +200%
mlk_keccak_absorb_once_x4 ✅ 6s 5s +20%
mlk_keccakf1600_permute_c ✅ 6s 6s +0%
mlk_poly_ntt ✅ 6s 8s -25%
mlk_poly_sub ✅ 6s 8s -25%
mlk_polymat_permute_bitrev_to_custom ✅ 6s 5s +20%
poly_decompress_d5_native_x86_64 ✅ 6s 5s +20%
kem_enc_derand ✅ 5s 3s +67%
mlk_gen_matrix ✅ 5s 2s +150%
mlk_gen_matrix_serial ✅ 5s 4s +25%
mlk_keccak_absorb_once ✅ 5s 4s +25%
mlk_keccakf1600_permute ✅ 5s 2s +150%
mlk_poly_add ✅ 5s 5s +0%
mlk_poly_decompress_d10 ✅ 5s 2s +150%
mlk_poly_frombytes_c ✅ 5s 3s +67%
mlk_poly_getnoise_eta1_4x_native ✅ 5s 3s +67%
intt_native_x86_64 ✅ 4s 2s +100%
kem_dec ✅ 4s 5s -20%
mlk_ct_sel_uint8 ✅ 4s 2s +100%
mlk_keccakf1600_extract_bytes ✅ 4s 2s +100%
mlk_poly_cbd_eta1 ✅ 4s 3s +33%
mlk_poly_cbd_eta2 ✅ 4s 3s +33%
mlk_poly_compress_d10_native ✅ 4s 3s +33%
mlk_poly_decompress_d11 ✅ 4s 3s +33%
mlk_poly_decompress_d11_c ✅ 4s 2s +100%
mlk_poly_decompress_du ✅ 4s 1s +300%
mlk_poly_getnoise_eta1_4x ✅ 4s 2s +100%
mlk_poly_invntt_tomont ✅ 4s 3s +33%
mlk_poly_tobytes_native ✅ 4s 1s +300%
mlk_polyvec_permute_bitrev_to_custom ✅ 4s 4s +0%
mlk_scalar_compress_d1 ✅ 4s 3s +33%
ntt_native_x86_64 ✅ 4s 2s +100%
poly_decompress_d10_native_x86_64 ✅ 4s 4s +0%
poly_decompress_d11_native_x86_64 ✅ 4s 5s -20%
poly_frombytes_native_x86_64 ✅ 4s 5s -20%
poly_tobytes_native_aarch64 ✅ 4s 3s +33%
poly_tomont_native_x86_64 ✅ 4s 2s +100%
intt_native_aarch64 ✅ 3s 3s +0%
keccak_f1600_x4_native_aarch64_v8a_scalar_hybrid ✅ 3s 3s +0%
keccak_f1600_x4_native_aarch64_v8a_v84a_scalar_hybrid ✅ 3s 3s +0%
keccakf1600_permute_native ✅ 3s 2s +50%
keccakf1600x4_extract_bytes_native ✅ 3s 2s +50%
kem_check_sk ✅ 3s 3s +0%
mlk_barrett_reduce ✅ 3s 2s +50%
mlk_ct_cmask_neg_i16 ✅ 3s 3s +0%
mlk_ct_cmask_nonzero_u16 ✅ 3s 2s +50%
mlk_ct_cmov_zero ✅ 3s 3s +0%
mlk_ct_sel_int16 ✅ 3s 4s -25%
mlk_keccakf1600_extract_bytes (big endian) ✅ 3s 2s +50%
mlk_keccakf1600x4_extract_bytes ✅ 3s 2s +50%
mlk_matvec_mul ✅ 3s 5s -40%
mlk_poly_compress_d11_c ✅ 3s 4s -25%
mlk_poly_compress_d4 ✅ 3s 3s +0%
mlk_poly_compress_d4_c ✅ 3s 4s -25%
mlk_poly_compress_d5_c ✅ 3s 4s -25%
mlk_poly_compress_d5_native ✅ 3s 4s -25%
mlk_poly_decompress_d10_native ✅ 3s 2s +50%
mlk_poly_decompress_d5 ✅ 3s 3s +0%
mlk_poly_getnoise_eta1122_4x ✅ 3s 3s +0%
mlk_poly_getnoise_eta2 ✅ 3s 1s +200%
mlk_poly_mulcache_compute_c ✅ 3s 3s +0%
mlk_poly_mulcache_compute_native ✅ 3s 3s +0%
mlk_poly_reduce ✅ 3s 2s +50%
mlk_poly_tobytes ✅ 3s 3s +0%
mlk_poly_tomont_c ✅ 3s 3s +0%
mlk_poly_tomsg ✅ 3s 3s +0%
mlk_polyvec_frombytes ✅ 3s 5s -40%
mlk_polyvec_invntt_tomont ✅ 3s 1s +200%
mlk_polyvec_mulcache_compute ✅ 3s 4s -25%
mlk_polyvec_permute_bitrev_to_custom_native ✅ 3s 6s -50%
mlk_polyvec_tomont ✅ 3s 2s +50%
mlk_scalar_compress_d4 ✅ 3s 1s +200%
mlk_scalar_decompress_d5 ✅ 3s 2s +50%
mlk_scalar_signed_to_unsigned_q ✅ 3s 3s +0%
mlk_sha3_512 ✅ 3s 1s +200%
mlk_shake128_squeezeblocks ✅ 3s 1s +200%
mlk_shake128x4_squeezeblocks ✅ 3s 2s +50%
mlk_shake256x4 ✅ 3s 4s -25%
mlk_value_barrier_i32 ✅ 3s 3s +0%
ntt_native_aarch64 ✅ 3s 3s +0%
poly_compress_d10_native_x86_64 ✅ 3s 2s +50%
poly_decompress_d4_native_x86_64 ✅ 3s 2s +50%
poly_invntt_tomont_native ✅ 3s 3s +0%
poly_mulcache_compute_native_x86_64 ✅ 3s 5s -40%
polyvec_basemul_acc_montgomery_cached_k2_native_aarch64 ✅ 3s 1s +200%
polyvec_basemul_acc_montgomery_cached_k2_native_x86_64 ✅ 3s 2s +50%
polyvec_basemul_acc_montgomery_cached_k4_native_aarch64 ✅ 3s 2s +50%
polyvec_basemul_acc_montgomery_cached_k4_native_x86_64 ✅ 3s 2s +50%
keccak_f1600_x4_native_aarch64_v84a ✅ 2s 3s -33%
kem_check_pk ✅ 2s 4s -50%
kem_enc ✅ 2s 2s +0%
kem_keypair ✅ 2s 2s +0%
mlk_check_pct ✅ 2s 1s +100%
mlk_ct_cmask_nonzero_u8 ✅ 2s 1s +100%
mlk_ct_get_optblocker_i32 ✅ 2s 3s -33%
mlk_ct_get_optblocker_u32 ✅ 2s 3s -33%
mlk_ct_get_optblocker_u8 ✅ 2s 2s +0%
mlk_keccakf1600_xor_bytes ✅ 2s 1s +100%
mlk_keccakf1600x4_permute ✅ 2s 2s +0%
mlk_keccakf1600x4_xor_bytes_c ✅ 2s 5s -60%
mlk_montgomery_reduce ✅ 2s 2s +0%
mlk_poly_compress_d10_c ✅ 2s 3s -33%
mlk_poly_compress_d11 ✅ 2s 3s -33%
mlk_poly_compress_d11_native ✅ 2s 3s -33%
mlk_poly_compress_du ✅ 2s 2s +0%
mlk_poly_compress_dv ✅ 2s 1s +100%
mlk_poly_decompress_d10_c ✅ 2s 2s +0%
mlk_poly_decompress_d4 ✅ 2s 3s -33%
mlk_poly_decompress_d4_c ✅ 2s 4s -50%
mlk_poly_decompress_d4_native ✅ 2s 3s -33%
mlk_poly_decompress_d5_c ✅ 2s 2s +0%
mlk_poly_decompress_dv ✅ 2s 2s +0%
mlk_poly_frombytes ✅ 2s 2s +0%
mlk_poly_invntt_tomont_c ✅ 2s 2s +0%
mlk_poly_reduce_c ✅ 2s 1s +100%
mlk_poly_tobytes_c ✅ 2s 4s -50%
mlk_poly_tomont ✅ 2s 2s +0%
mlk_poly_tomont_native ✅ 2s 4s -50%
mlk_polyvec_basemul_acc_montgomery_cached ✅ 2s 2s +0%
mlk_polyvec_reduce ✅ 2s 2s +0%
mlk_rej_uniform ✅ 2s 2s +0%
mlk_scalar_compress_d10 ✅ 2s 2s +0%
mlk_scalar_compress_d5 ✅ 2s 4s -50%
mlk_scalar_decompress_d10 ✅ 2s 2s +0%
mlk_scalar_decompress_d11 ✅ 2s 2s +0%
mlk_scalar_decompress_d4 ✅ 2s 3s -33%
mlk_sha3_256 ✅ 2s 2s +0%
mlk_shake128x4_absorb_once ✅ 2s 2s +0%
mlk_value_barrier_u8 ✅ 2s 1s +100%
nttunpack_native_x86_64 ✅ 2s 2s +0%
poly_compress_d4_native_x86_64 ✅ 2s 2s +0%
poly_compress_d5_native_x86_64 ✅ 2s 4s -50%
poly_getnoise_eta1122_4x_native ✅ 2s 3s -33%
polyvec_basemul_acc_montgomery_cached_k3_native_aarch64 ✅ 2s 2s +0%
rej_uniform_native ✅ 2s 1s +100%
sys_check_capability ✅ 2s 2s +0%
keccak_f1600_x1_native_aarch64 ✅ 1s 1s +0%
keccak_f1600_x1_native_aarch64_v84a ✅ 1s 2s -50%
keccak_f1600_x4_native_avx2 ✅ 1s 2s -50%
kem_keypair_derand ✅ 1s 1s +0%
mlk_ct_memcmp ✅ 1s 3s -67%
mlk_enc_getnoise_eta1_eta2 ✅ 1s 4s -75%
mlk_keccakf1600_xor_bytes (big endian) ✅ 1s 2s -50%
mlk_keccakf1600x4_extract_bytes_c ✅ 1s 3s -67%
mlk_keccakf1600x4_xor_bytes ✅ 1s 2s -50%
mlk_keypair_getnoise_eta1 ✅ 1s 5s -80%
mlk_poly_compress_d10 ✅ 1s 2s -50%
mlk_poly_compress_d4_native ✅ 1s 2s -50%
mlk_poly_compress_d5 ✅ 1s 5s -80%
mlk_poly_mulcache_compute ✅ 1s 2s -50%
mlk_poly_ntt_c ✅ 1s 1s +0%
mlk_polyvec_compress_du ✅ 1s 3s -67%
mlk_polyvec_decompress_du ✅ 1s 2s -50%
mlk_polyvec_tobytes ✅ 1s 1s +0%
mlk_scalar_compress_d11 ✅ 1s 4s -75%
mlk_shake128_absorb_once ✅ 1s 2s -50%
mlk_shake256 ✅ 1s 1s +0%
mlk_value_barrier_u32 ✅ 1s 3s -67%
poly_compress_d11_native_x86_64 ✅ 1s 3s -67%
poly_mulcache_compute_native_aarch64 ✅ 1s 3s -67%
poly_reduce_native_aarch64 ✅ 1s 2s -50%
poly_reduce_native_x86_64 ✅ 1s 3s -67%
poly_tobytes_native_x86_64 ✅ 1s 3s -67%
poly_tomont_native_aarch64 ✅ 1s 3s -67%
polyvec_basemul_acc_montgomery_cached_k3_native_x86_64 ✅ 1s 2s -50%

@oqs-bot

oqs-bot commented May 12, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

CBMC Results (ML-KEM-768)

⚠️ Attention Required

Proof Status Current Previous Change
mlk_polyvec_basemul_acc_montgomery_cached_c ⚠️ 76s 46s +65%
Full Results (191 proofs)
Proof Status Current Previous Change
**TOTAL** ✅ 2015s 1645s +22.5%
mlk_indcpa_keypair_derand ✅ 379s 318s +19%
mlk_indcpa_enc ✅ 279s 252s +11%
mlk_poly_rej_uniform ✅ 188s 129s +46%
mlk_rej_uniform_c ✅ 155s 114s +36%
mlk_polyvec_basemul_acc_montgomery_cached_c ⚠️ 76s 46s +65%
rej_uniform_native_x86_64 ✅ 75s 55s +36%
rej_uniform_native_aarch64 ✅ 52s 45s +16%
poly_ntt_native ✅ 48s 39s +23%
mlk_ntt_layer ✅ 43s 29s +48%
mlk_poly_reduce_native ✅ 37s 34s +9%
mlk_keccak_squeezeblocks_x4 ✅ 33s 24s +38%
mlk_fqmul ✅ 23s 16s +44%
mlk_poly_decompress_d10_native ✅ 18s 15s +20%
mlk_poly_decompress_d4_native ✅ 18s 12s +50%
keccakf1600x4_permute_native_x4 ✅ 17s 21s -19%
polyvec_basemul_acc_montgomery_cached_native ✅ 17s 14s +21%
mlk_polyvec_add ✅ 14s 12s +17%
mlk_poly_frommsg ✅ 13s 9s +44%
mlk_indcpa_dec ✅ 11s 10s +10%
mlk_poly_frombytes_native ✅ 11s 8s +38%
mlk_ntt_butterfly_block ✅ 10s 7s +43%
mlk_keccak_squeezeblocks ✅ 9s 8s +12%
mlk_keccak_squeeze_once ✅ 8s 7s +14%
mlk_poly_add ✅ 8s 7s +14%
mlk_poly_ntt ✅ 8s 5s +60%
mlk_invntt_layer ✅ 7s 4s +75%
mlk_keccak_absorb_once_x4 ✅ 7s 5s +40%
mlk_keccakf1600_permute_c ✅ 7s 6s +17%
mlk_poly_rej_uniform_x4 ✅ 7s 5s +40%
mlk_poly_sub ✅ 7s 10s -30%
kem_dec ✅ 6s 5s +20%
mlk_poly_decompress_d4_c ✅ 6s 4s +50%
poly_decompress_d10_native_x86_64 ✅ 6s 5s +20%
poly_frombytes_native_x86_64 ✅ 6s 5s +20%
polyvec_basemul_acc_montgomery_cached_k3_native_aarch64 ✅ 6s 2s +200%
keccak_f1600_x1_native_aarch64 ✅ 5s 1s +400%
keccak_f1600_x4_native_aarch64_v8a_scalar_hybrid ✅ 5s 3s +67%
mlk_poly_decompress_du ✅ 5s 1s +400%
mlk_poly_frombytes_c ✅ 5s 4s +25%
mlk_poly_getnoise_eta2 ✅ 5s 2s +150%
mlk_polymat_permute_bitrev_to_custom ✅ 5s 3s +67%
mlk_shake256x4 ✅ 5s 3s +67%
poly_compress_d10_native_x86_64 ✅ 5s 5s +0%
polyvec_basemul_acc_montgomery_cached_k2_native_aarch64 ✅ 5s 3s +67%
polyvec_basemul_acc_montgomery_cached_k4_native_x86_64 ✅ 5s 2s +150%
kem_enc ✅ 4s 2s +100%
kem_enc_derand ✅ 4s 3s +33%
kem_keypair ✅ 4s 2s +100%
kem_keypair_derand ✅ 4s 2s +100%
mlk_ct_cmask_neg_i16 ✅ 4s 3s +33%
mlk_ct_cmask_nonzero_u8 ✅ 4s 4s +0%
mlk_gen_matrix_serial ✅ 4s 2s +100%
mlk_poly_compress_d4 ✅ 4s 3s +33%
mlk_poly_getnoise_eta1_4x ✅ 4s 2s +100%
mlk_poly_getnoise_eta1_4x_native ✅ 4s 3s +33%
mlk_poly_invntt_tomont ✅ 4s 4s +0%
mlk_poly_ntt_c ✅ 4s 1s +300%
mlk_polyvec_ntt ✅ 4s 4s +0%
mlk_polyvec_permute_bitrev_to_custom_native ✅ 4s 2s +100%
mlk_shake256 ✅ 4s 2s +100%
poly_decompress_d4_native_x86_64 ✅ 4s 6s -33%
poly_mulcache_compute_native_x86_64 ✅ 4s 3s +33%
rej_uniform_native ✅ 4s 2s +100%
intt_native_aarch64 ✅ 3s 5s -40%
intt_native_x86_64 ✅ 3s 3s +0%
keccak_f1600_x4_native_avx2 ✅ 3s 2s +50%
keccakf1600x4_extract_bytes_native ✅ 3s 3s +0%
keccakf1600x4_xor_bytes_native ✅ 3s 2s +50%
kem_check_sk ✅ 3s 2s +50%
mlk_ct_get_optblocker_u32 ✅ 3s 1s +200%
mlk_ct_sel_int16 ✅ 3s 3s +0%
mlk_ct_sel_uint8 ✅ 3s 1s +200%
mlk_enc_getnoise_eta1_eta2 ✅ 3s 3s +0%
mlk_gen_matrix ✅ 3s 2s +50%
mlk_keccak_absorb_once ✅ 3s 3s +0%
mlk_keccakf1600_xor_bytes (big endian) ✅ 3s 1s +200%
mlk_keccakf1600x4_permute ✅ 3s 4s -25%
mlk_keccakf1600x4_xor_bytes ✅ 3s 2s +50%
mlk_matvec_mul ✅ 3s 4s -25%
mlk_poly_cbd_eta2 ✅ 3s 2s +50%
mlk_poly_compress_d5_native ✅ 3s 2s +50%
mlk_poly_compress_du ✅ 3s 1s +200%
mlk_poly_decompress_d11 ✅ 3s 2s +50%
mlk_poly_decompress_d11_c ✅ 3s 3s +0%
mlk_poly_decompress_d11_native ✅ 3s 1s +200%
mlk_poly_decompress_d5_native ✅ 3s 3s +0%
mlk_poly_invntt_tomont_c ✅ 3s 2s +50%
mlk_poly_mulcache_compute_c ✅ 3s 2s +50%
mlk_poly_tomont ✅ 3s 1s +200%
mlk_poly_tomont_native ✅ 3s 3s +0%
mlk_poly_tomsg ✅ 3s 3s +0%
mlk_polyvec_frombytes ✅ 3s 3s +0%
mlk_polyvec_invntt_tomont ✅ 3s 1s +200%
mlk_polyvec_mulcache_compute ✅ 3s 2s +50%
mlk_polyvec_permute_bitrev_to_custom ✅ 3s 1s +200%
mlk_polyvec_tomont ✅ 3s 1s +200%
mlk_rej_uniform ✅ 3s 1s +200%
mlk_scalar_decompress_d11 ✅ 3s 3s +0%
mlk_shake128_squeezeblocks ✅ 3s 3s +0%
mlk_shake128x4_absorb_once ✅ 3s 3s +0%
ntt_native_aarch64 ✅ 3s 3s +0%
ntt_native_x86_64 ✅ 3s 3s +0%
poly_compress_d4_native_x86_64 ✅ 3s 3s +0%
poly_compress_d5_native_x86_64 ✅ 3s 2s +50%
poly_decompress_d11_native_x86_64 ✅ 3s 1s +200%
poly_mulcache_compute_native_aarch64 ✅ 3s 6s -50%
poly_tobytes_native_aarch64 ✅ 3s 1s +200%
poly_tomont_native_x86_64 ✅ 3s 1s +200%
polyvec_basemul_acc_montgomery_cached_k2_native_x86_64 ✅ 3s 4s -25%
sys_check_capability ✅ 3s 3s +0%
keccak_f1600_x1_native_aarch64_v84a ✅ 2s 3s -33%
keccak_f1600_x4_native_aarch64_v84a ✅ 2s 2s +0%
keccak_f1600_x4_native_aarch64_v8a_v84a_scalar_hybrid ✅ 2s 1s +100%
keccakf1600_permute_native ✅ 2s 3s -33%
mlk_barrett_reduce ✅ 2s 2s +0%
mlk_ct_cmask_nonzero_u16 ✅ 2s 4s -50%
mlk_ct_cmov_zero ✅ 2s 3s -33%
mlk_ct_get_optblocker_i32 ✅ 2s 1s +100%
mlk_ct_memcmp ✅ 2s 4s -50%
mlk_keccakf1600_extract_bytes ✅ 2s 4s -50%
mlk_keccakf1600_extract_bytes (big endian) ✅ 2s 2s +0%
mlk_keccakf1600_permute ✅ 2s 1s +100%
mlk_keccakf1600_xor_bytes ✅ 2s 3s -33%
mlk_keccakf1600x4_extract_bytes ✅ 2s 4s -50%
mlk_keypair_getnoise_eta1 ✅ 2s 2s +0%
mlk_montgomery_reduce ✅ 2s 1s +100%
mlk_poly_cbd_eta1 ✅ 2s 1s +100%
mlk_poly_compress_d10_c ✅ 2s 2s +0%
mlk_poly_compress_d10_native ✅ 2s 2s +0%
mlk_poly_compress_d11 ✅ 2s 1s +100%
mlk_poly_compress_d11_c ✅ 2s 1s +100%
mlk_poly_compress_d4_native ✅ 2s 3s -33%
mlk_poly_compress_d5 ✅ 2s 2s +0%
mlk_poly_compress_d5_c ✅ 2s 1s +100%
mlk_poly_decompress_d10_c ✅ 2s 1s +100%
mlk_poly_decompress_d5 ✅ 2s 2s +0%
mlk_poly_decompress_d5_c ✅ 2s 3s -33%
mlk_poly_decompress_dv ✅ 2s 2s +0%
mlk_poly_getnoise_eta1122_4x ✅ 2s 1s +100%
mlk_poly_mulcache_compute_native ✅ 2s 1s +100%
mlk_poly_reduce ✅ 2s 2s +0%
mlk_poly_reduce_c ✅ 2s 3s -33%
mlk_poly_tobytes ✅ 2s 3s -33%
mlk_poly_tobytes_c ✅ 2s 1s +100%
mlk_poly_tobytes_native ✅ 2s 1s +100%
mlk_polyvec_basemul_acc_montgomery_cached ✅ 2s 4s -50%
mlk_polyvec_compress_du ✅ 2s 1s +100%
mlk_polyvec_decompress_du ✅ 2s 4s -50%
mlk_polyvec_reduce ✅ 2s 1s +100%
mlk_polyvec_tobytes ✅ 2s 1s +100%
mlk_scalar_compress_d10 ✅ 2s 2s +0%
mlk_scalar_compress_d11 ✅ 2s 1s +100%
mlk_scalar_compress_d4 ✅ 2s 2s +0%
mlk_scalar_decompress_d4 ✅ 2s 2s +0%
mlk_scalar_decompress_d5 ✅ 2s 2s +0%
mlk_sha3_256 ✅ 2s 2s +0%
mlk_shake128x4_squeezeblocks ✅ 2s 1s +100%
mlk_value_barrier_i32 ✅ 2s 2s +0%
mlk_value_barrier_u8 ✅ 2s 2s +0%
nttunpack_native_x86_64 ✅ 2s 3s -33%
poly_compress_d11_native_x86_64 ✅ 2s 3s -33%
poly_getnoise_eta1122_4x_native ✅ 2s 1s +100%
poly_reduce_native_aarch64 ✅ 2s 2s +0%
poly_reduce_native_x86_64 ✅ 2s 2s +0%
polyvec_basemul_acc_montgomery_cached_k3_native_x86_64 ✅ 2s 2s +0%
polyvec_basemul_acc_montgomery_cached_k4_native_aarch64 ✅ 2s 1s +100%
kem_check_pk ✅ 1s 2s -50%
mlk_check_pct ✅ 1s 3s -67%
mlk_ct_get_optblocker_u8 ✅ 1s 2s -50%
mlk_keccakf1600x4_extract_bytes_c ✅ 1s 2s -50%
mlk_keccakf1600x4_xor_bytes_c ✅ 1s 1s +0%
mlk_poly_compress_d10 ✅ 1s 2s -50%
mlk_poly_compress_d11_native ✅ 1s 4s -75%
mlk_poly_compress_d4_c ✅ 1s 1s +0%
mlk_poly_compress_dv ✅ 1s 1s +0%
mlk_poly_decompress_d10 ✅ 1s 2s -50%
mlk_poly_decompress_d4 ✅ 1s 3s -67%
mlk_poly_frombytes ✅ 1s 2s -50%
mlk_poly_mulcache_compute ✅ 1s 2s -50%
mlk_poly_tomont_c ✅ 1s 3s -67%
mlk_scalar_compress_d1 ✅ 1s 2s -50%
mlk_scalar_compress_d5 ✅ 1s 1s +0%
mlk_scalar_decompress_d10 ✅ 1s 2s -50%
mlk_scalar_signed_to_unsigned_q ✅ 1s 5s -80%
mlk_sha3_512 ✅ 1s 3s -67%
mlk_shake128_absorb_once ✅ 1s 1s +0%
mlk_value_barrier_u32 ✅ 1s 2s -50%
poly_decompress_d5_native_x86_64 ✅ 1s 4s -75%
poly_invntt_tomont_native ✅ 1s 2s -50%
poly_tobytes_native_x86_64 ✅ 1s 3s -67%
poly_tomont_native_aarch64 ✅ 1s 1s +0%

@hanno-becker

hanno-becker commented Aug 5, 2026

Copy link
Copy Markdown
Contributor

Looks OK to me. @mkannwischer What's your plan with this?

@mkannwischer
Convert issue templates to YAML Issue Forms with SPDX header
87fcb86 
Concert legacy .md issue template to the more modern yml format and add SPDX
headers.

Signed-off-by: Matthias J. Kannwischer <matthias@zerorisc.com>
@mkannwischer
mkannwischer force-pushed the spdx/issue-templates-yml branch from 6408527 to 87fcb86 Compare August 5, 2026 03:39
@mkannwischer

mkannwischer commented Aug 5, 2026

Copy link
Copy Markdown
Contributor Author

Looks OK to me. @mkannwischer What's your plan with this?

Main reason for adding those was that these files got flagged by the LF in a license scan, but it wasn't important enough for me to continue with it. We can go ahead and merge it in case CI is happy.

@mkannwischer
mkannwischer marked this pull request as ready for review August 5, 2026 03:40
@mkannwischer
mkannwischer requested a review from a team as a code owner August 5, 2026 03:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

needs-mldsa-native-port

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@mkannwischer @oqs-bot @hanno-becker