Test; Add sp align for performance; no proof updates

[manastasova]

Test; Add sp align for performance; no proof updates

[oqs-bot]

ppc64le (POWER10) benchmarks

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	59138 cycles	60047 cycles	0.98
ML-KEM-512 encaps	71876 cycles	72930 cycles	0.99
ML-KEM-512 decaps	91619 cycles	92987 cycles	0.99
ML-KEM-768 keypair	98291 cycles	98984 cycles	0.99
ML-KEM-768 encaps	114598 cycles	115469 cycles	0.99
ML-KEM-768 decaps	140290 cycles	141322 cycles	0.99
ML-KEM-1024 keypair	148375 cycles	149075 cycles	1.00
ML-KEM-1024 encaps	167095 cycles	167651 cycles	1.00
ML-KEM-1024 decaps	198463 cycles	198842 cycles	1.00

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

Arm Cortex-A76 (Raspberry Pi 5) benchmarks

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	28264 cycles	28233 cycles	1.00
ML-KEM-512 encaps	34111 cycles	34105 cycles	1.00
ML-KEM-512 decaps	44381 cycles	44329 cycles	1.00
ML-KEM-768 keypair	47678 cycles	47627 cycles	1.00
ML-KEM-768 encaps	53934 cycles	53956 cycles	1.00
ML-KEM-768 decaps	68366 cycles	68377 cycles	1.00
ML-KEM-1024 keypair	70254 cycles	70255 cycles	1.00
ML-KEM-1024 encaps	78785 cycles	78806 cycles	1.00
ML-KEM-1024 decaps	98457 cycles	98442 cycles	1.00

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

Intel Xeon 4th gen (c7i)

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	11608 cycles	11971 cycles	0.97
ML-KEM-512 encaps	13290 cycles	13745 cycles	0.97
ML-KEM-512 decaps	17410 cycles	17771 cycles	0.98
ML-KEM-768 keypair	20265 cycles	21010 cycles	0.96
ML-KEM-768 encaps	21425 cycles	22095 cycles	0.97
ML-KEM-768 decaps	27625 cycles	28300 cycles	0.98
ML-KEM-1024 keypair	28815 cycles	29866 cycles	0.96
ML-KEM-1024 encaps	30929 cycles	31758 cycles	0.97
ML-KEM-1024 decaps	38555 cycles	39591 cycles	0.97

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

AMD EPYC 3rd gen (c6a)

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	13945 cycles	14291 cycles	0.98
ML-KEM-512 encaps	15711 cycles	16019 cycles	0.98
ML-KEM-512 decaps	21196 cycles	21507 cycles	0.99
ML-KEM-768 keypair	23726 cycles	24715 cycles	0.96
ML-KEM-768 encaps	25197 cycles	25491 cycles	0.99
ML-KEM-768 decaps	32959 cycles	33275 cycles	0.99
ML-KEM-1024 keypair	33276 cycles	37264 cycles	0.89
ML-KEM-1024 encaps	35688 cycles	36892 cycles	0.97
ML-KEM-1024 decaps	46234 cycles	46772 cycles	0.99

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

Intel Xeon 4th gen (c7i) (no-opt)

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	28246 cycles	28131 cycles	1.00
ML-KEM-512 encaps	36629 cycles	36568 cycles	1.00
ML-KEM-512 decaps	45117 cycles	45119 cycles	1.00
ML-KEM-768 keypair	46295 cycles	46297 cycles	1.00
ML-KEM-768 encaps	55812 cycles	55658 cycles	1.00
ML-KEM-768 decaps	69909 cycles	69941 cycles	1.00
ML-KEM-1024 keypair	70504 cycles	70194 cycles	1.00
ML-KEM-1024 encaps	82541 cycles	82475 cycles	1.00
ML-KEM-1024 decaps	99431 cycles	98796 cycles	1.01

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

AMD EPYC 4th gen (c7a)

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	12694 cycles	12768 cycles	0.99
ML-KEM-512 encaps	14203 cycles	14254 cycles	1.00
ML-KEM-512 decaps	19083 cycles	19131 cycles	1.00
ML-KEM-768 keypair	21944 cycles	22414 cycles	0.98
ML-KEM-768 encaps	22982 cycles	23041 cycles	1.00
ML-KEM-768 decaps	29951 cycles	30089 cycles	1.00
ML-KEM-1024 keypair	30727 cycles	33024 cycles	0.93
ML-KEM-1024 encaps	32778 cycles	33006 cycles	0.99
ML-KEM-1024 decaps	42198 cycles	42430 cycles	0.99

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

Intel Xeon 3rd gen (c6i)

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	17465 cycles	17485 cycles	1.00
ML-KEM-512 encaps	19786 cycles	19875 cycles	1.00
ML-KEM-512 decaps	26331 cycles	26415 cycles	1.00
ML-KEM-768 keypair	29833 cycles	31874 cycles	0.94
ML-KEM-768 encaps	30983 cycles	31109 cycles	1.00
ML-KEM-768 decaps	41467 cycles	41545 cycles	1.00
ML-KEM-1024 keypair	42332 cycles	46137 cycles	0.92
ML-KEM-1024 encaps	44994 cycles	45137 cycles	1.00
ML-KEM-1024 decaps	59093 cycles	58253 cycles	1.01

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

AMD EPYC 3rd gen (c6a) (no-opt)

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	40232 cycles	40253 cycles	1.00
ML-KEM-512 encaps	48438 cycles	48411 cycles	1.00
ML-KEM-512 decaps	62602 cycles	62600 cycles	1.00
ML-KEM-768 keypair	63805 cycles	63756 cycles	1.00
ML-KEM-768 encaps	74888 cycles	74947 cycles	1.00
ML-KEM-768 decaps	93475 cycles	93618 cycles	1.00
ML-KEM-1024 keypair	95243 cycles	94982 cycles	1.00
ML-KEM-1024 encaps	109285 cycles	109167 cycles	1.00
ML-KEM-1024 decaps	132037 cycles	131931 cycles	1.00

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

AMD EPYC 4th gen (c7a) (no-opt)

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	36586 cycles	36584 cycles	1.00
ML-KEM-512 encaps	43098 cycles	43043 cycles	1.00
ML-KEM-512 decaps	55754 cycles	55694 cycles	1.00
ML-KEM-768 keypair	58706 cycles	58618 cycles	1.00
ML-KEM-768 encaps	67505 cycles	67618 cycles	1.00
ML-KEM-768 decaps	84434 cycles	84427 cycles	1.00
ML-KEM-1024 keypair	89045 cycles	88963 cycles	1.00
ML-KEM-1024 encaps	99239 cycles	99133 cycles	1.00
ML-KEM-1024 decaps	120648 cycles	120720 cycles	1.00

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

Intel Xeon 3rd gen (c6i) (no-opt)

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	45739 cycles	45656 cycles	1.00
ML-KEM-512 encaps	54414 cycles	54451 cycles	1.00
ML-KEM-512 decaps	69799 cycles	69753 cycles	1.00
ML-KEM-768 keypair	74118 cycles	74171 cycles	1.00
ML-KEM-768 encaps	86046 cycles	85948 cycles	1.00
ML-KEM-768 decaps	106571 cycles	106520 cycles	1.00
ML-KEM-1024 keypair	112112 cycles	112098 cycles	1.00
ML-KEM-1024 encaps	124671 cycles	124601 cycles	1.00
ML-KEM-1024 decaps	150728 cycles	150531 cycles	1.00

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

Graviton4

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	17675 cycles	17650 cycles	1.00
ML-KEM-512 encaps	20596 cycles	20601 cycles	1.00
ML-KEM-512 decaps	27080 cycles	27068 cycles	1.00
ML-KEM-768 keypair	29924 cycles	29899 cycles	1.00
ML-KEM-768 encaps	32728 cycles	32776 cycles	1.00
ML-KEM-768 decaps	41988 cycles	41967 cycles	1.00
ML-KEM-1024 keypair	43755 cycles	43750 cycles	1.00
ML-KEM-1024 encaps	48728 cycles	48727 cycles	1.00
ML-KEM-1024 decaps	61384 cycles	61390 cycles	1.00

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

Graviton3

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	18663 cycles	18639 cycles	1.00
ML-KEM-512 encaps	21885 cycles	21876 cycles	1.00
ML-KEM-512 decaps	28876 cycles	28861 cycles	1.00
ML-KEM-768 keypair	31591 cycles	31540 cycles	1.00
ML-KEM-768 encaps	34743 cycles	34771 cycles	1.00
ML-KEM-768 decaps	44810 cycles	44775 cycles	1.00
ML-KEM-1024 keypair	46079 cycles	46082 cycles	1.00
ML-KEM-1024 encaps	51489 cycles	51501 cycles	1.00
ML-KEM-1024 decaps	65020 cycles	65036 cycles	1.00

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

Graviton4 (no-opt)

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	35449 cycles	35416 cycles	1.00
ML-KEM-512 encaps	40098 cycles	40122 cycles	1.00
ML-KEM-512 decaps	51099 cycles	51145 cycles	1.00
ML-KEM-768 keypair	56745 cycles	56670 cycles	1.00
ML-KEM-768 encaps	64542 cycles	65151 cycles	0.99
ML-KEM-768 decaps	79376 cycles	79295 cycles	1.00
ML-KEM-1024 keypair	88002 cycles	87866 cycles	1.00
ML-KEM-1024 encaps	96983 cycles	96879 cycles	1.00
ML-KEM-1024 decaps	116081 cycles	115822 cycles	1.00

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

Graviton3 (no-opt)

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	38929 cycles	38887 cycles	1.00
ML-KEM-512 encaps	44528 cycles	44596 cycles	1.00
ML-KEM-512 decaps	56590 cycles	56673 cycles	1.00
ML-KEM-768 keypair	62340 cycles	62294 cycles	1.00
ML-KEM-768 encaps	71055 cycles	72330 cycles	0.98
ML-KEM-768 decaps	87350 cycles	87696 cycles	1.00
ML-KEM-1024 keypair	96359 cycles	96160 cycles	1.00
ML-KEM-1024 encaps	106137 cycles	106135 cycles	1.00
ML-KEM-1024 decaps	126888 cycles	126583 cycles	1.00

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

Graviton2

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	28266 cycles	28256 cycles	1.00
ML-KEM-512 encaps	34182 cycles	34110 cycles	1.00
ML-KEM-512 decaps	44384 cycles	44398 cycles	1.00
ML-KEM-768 keypair	47628 cycles	47665 cycles	1.00
ML-KEM-768 encaps	53953 cycles	53940 cycles	1.00
ML-KEM-768 decaps	68362 cycles	68363 cycles	1.00
ML-KEM-1024 keypair	70342 cycles	70328 cycles	1.00
ML-KEM-1024 encaps	78756 cycles	78757 cycles	1.00
ML-KEM-1024 decaps	98551 cycles	98529 cycles	1.00

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

Graviton2 (no-opt)

Details

Benchmark suite	Current: aca3c03	Previous: 712709d	Ratio
ML-KEM-512 keypair	59107 cycles	59049 cycles	1.00
ML-KEM-512 encaps	68602 cycles	68578 cycles	1.00
ML-KEM-512 decaps	87324 cycles	87314 cycles	1.00
ML-KEM-768 keypair	95615 cycles	95479 cycles	1.00
ML-KEM-768 encaps	110438 cycles	109908 cycles	1.00
ML-KEM-768 decaps	134647 cycles	134361 cycles	1.00
ML-KEM-1024 keypair	147717 cycles	147876 cycles	1.00
ML-KEM-1024 encaps	163847 cycles	163805 cycles	1.00
ML-KEM-1024 decaps	195407 cycles	195456 cycles	1.00

This comment was automatically generated by workflow using github-action-benchmark.

[oqs-bot]

CBMC Results (ML-KEM-512)

Full Results (187 proofs)

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

[oqs-bot]

CBMC Results (ML-KEM-768)

Full Results (187 proofs)

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

[oqs-bot]

CBMC Results (ML-KEM-1024)

Full Results (187 proofs)

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