├── .github └── workflows │ ├── ct.yml │ ├── exec.yml │ ├── extract-and-prove.yml │ ├── prover-ec-dev-version.yml │ └── test.yml ├── .gitignore ├── .gitmodules ├── LICENSE ├── LICENSES ├── Apache-2.0.txt └── CC0-1.0.txt ├── Makefile ├── TODO ├── bench ├── .gitignore ├── Makefile ├── Makefile.artifact ├── README.artifact.md ├── README.md ├── benchmacros-supercop.sh ├── benchmacros.artifact.sh ├── benchmacros.sh ├── common │ ├── alignedcalloc.c │ ├── config.h │ ├── cpucycles.c │ ├── crypto_kem.c │ ├── median.c │ └── namespace.h ├── report │ ├── .gitignore │ ├── Makefile │ └── report.tex ├── results │ ├── alderlake-i71260p │ │ ├── bench_crystals_avx2.out │ │ ├── bench_crystals_ref.out │ │ ├── bench_jasmin_avx2.out │ │ ├── bench_jasmin_avx2v.out │ │ ├── bench_jasmin_ref.out │ │ ├── bench_libjade_avx2.out │ │ ├── bench_libjade_ref.out │ │ ├── bench_pqclean_avx2.out │ │ ├── bench_pqclean_clean.out │ │ ├── macros.tex │ │ └── supercop │ │ │ ├── macros.tex │ │ │ └── raw │ │ │ ├── crypto_kem_kyber768_avx2 │ │ │ ├── crypto_kem_kyber768_jasmin_avx2 │ │ │ ├── crypto_kem_kyber768_jasmin_avx2v │ │ │ ├── crypto_kem_kyber768_jasmin_ref │ │ │ ├── crypto_kem_kyber768_libjade_avx2 │ │ │ ├── crypto_kem_kyber768_libjade_ravx2 │ │ │ ├── crypto_kem_kyber768_libjade_ref │ │ │ ├── crypto_kem_kyber768_libjade_rref │ │ │ └── crypto_kem_kyber768_ref │ ├── cannonlake-i710700k │ │ ├── bench_crystals_avx2.out │ │ ├── bench_crystals_ref.out │ │ ├── bench_jasmin_avx2.out │ │ ├── bench_jasmin_avx2v.out │ │ ├── bench_jasmin_ref.out │ │ ├── bench_libjade_avx2.out │ │ ├── bench_libjade_ref.out │ │ ├── bench_pqclean_avx2.out │ │ ├── bench_pqclean_clean.out │ │ ├── macros.tex │ │ └── supercop │ │ │ ├── macros.tex │ │ │ └── raw │ │ │ ├── .gitkeep │ │ │ ├── crypto_kem_kyber768_avx2 │ │ │ ├── crypto_kem_kyber768_jasmin_avx2 │ │ │ ├── crypto_kem_kyber768_jasmin_avx2v │ │ │ ├── crypto_kem_kyber768_jasmin_ref │ │ │ ├── crypto_kem_kyber768_libjade_avx2 │ │ │ ├── crypto_kem_kyber768_libjade_ravx2 │ │ │ ├── crypto_kem_kyber768_libjade_ref │ │ │ ├── crypto_kem_kyber768_libjade_rref │ │ │ └── crypto_kem_kyber768_ref │ ├── haswell-i74770k │ │ ├── bench_crystals_avx2.out │ │ ├── bench_crystals_ref.out │ │ ├── bench_jasmin_avx2.out │ │ ├── bench_jasmin_avx2v.out │ │ ├── bench_jasmin_ref.out │ │ ├── bench_libjade_avx2.out │ │ ├── bench_libjade_ref.out │ │ ├── bench_pqclean_avx2.out │ │ ├── bench_pqclean_clean.out │ │ ├── macros.tex │ │ └── supercop │ │ │ ├── macros.tex │ │ │ └── raw │ │ │ ├── crypto_kem_kyber768_avx2 │ │ │ ├── crypto_kem_kyber768_jasmin_avx2 │ │ │ ├── crypto_kem_kyber768_jasmin_avx2v │ │ │ ├── crypto_kem_kyber768_jasmin_ref │ │ │ ├── crypto_kem_kyber768_libjade_avx2 │ │ │ ├── crypto_kem_kyber768_libjade_ravx2 │ │ │ ├── crypto_kem_kyber768_libjade_ref │ │ │ ├── crypto_kem_kyber768_libjade_rref │ │ │ └── crypto_kem_kyber768_ref │ └── skylake-i76500u │ │ ├── bench_crystals_avx2.out │ │ ├── bench_crystals_ref.out │ │ ├── bench_jasmin_avx2.out │ │ ├── bench_jasmin_avx2v.out │ │ ├── bench_jasmin_ref.out │ │ ├── bench_libjade_avx2.out │ │ ├── bench_libjade_ref.out │ │ ├── bench_pqclean_avx2.out │ │ ├── bench_pqclean_clean.out │ │ ├── macros.tex │ │ └── supercop │ │ ├── macros.tex │ │ └── raw │ │ ├── crypto_kem_kyber768_avx2 │ │ ├── crypto_kem_kyber768_jasmin_avx2 │ │ ├── crypto_kem_kyber768_jasmin_avx2v │ │ ├── crypto_kem_kyber768_jasmin_ref │ │ ├── crypto_kem_kyber768_libjade_avx2 │ │ ├── crypto_kem_kyber768_libjade_ravx2 │ │ ├── crypto_kem_kyber768_libjade_ref │ │ ├── crypto_kem_kyber768_libjade_rref │ │ └── crypto_kem_kyber768_ref ├── src │ ├── .gitignore │ ├── jasmin │ │ ├── .gitkeep │ │ ├── avx2 │ │ │ ├── Makefile │ │ │ ├── api.h │ │ │ └── jkem.jazz │ │ ├── avx2v │ │ │ ├── Makefile │ │ │ ├── api.h │ │ │ └── jkem.jazz │ │ └── ref │ │ │ ├── Makefile │ │ │ ├── api.h │ │ │ └── jkem.jazz │ ├── libjade │ │ ├── .gitkeep │ │ ├── avx2 │ │ │ ├── Makefile │ │ │ ├── api.h │ │ │ └── jkem.jpp │ │ └── ref │ │ │ ├── Makefile │ │ │ ├── api.h │ │ │ └── jkem.jpp │ ├── pq-crystals │ │ ├── avx2 │ │ │ ├── .gitignore │ │ │ ├── Makefile │ │ │ ├── PQCgenKAT_kem.c │ │ │ ├── aes256ctr.c │ │ │ ├── aes256ctr.h │ │ │ ├── align.h │ │ │ ├── api.h │ │ │ ├── basemul.S │ │ │ ├── cbd.c │ │ │ ├── cbd.h │ │ │ ├── consts.c │ │ │ ├── consts.h │ │ │ ├── cpucycles.c │ │ │ ├── cpucycles.h │ │ │ ├── fips202.c │ │ │ ├── fips202.h │ │ │ ├── fips202x4.c │ │ │ ├── fips202x4.h │ │ │ ├── fq.S │ │ │ ├── fq.inc │ │ │ ├── indcpa.c │ │ │ ├── indcpa.h │ │ │ ├── invntt.S │ │ │ ├── keccak4x │ │ │ │ ├── KeccakP-1600-times4-SIMD256.c │ │ │ │ ├── KeccakP-1600-times4-SnP.h │ │ │ │ ├── KeccakP-1600-unrolling.macros │ │ │ │ ├── KeccakP-SIMD256-config.h │ │ │ │ ├── KeccakP-align.h │ │ │ │ └── KeccakP-brg_endian.h │ │ │ ├── kem.c │ │ │ ├── kem.h │ │ │ ├── kex.c │ │ │ ├── kex.h │ │ │ ├── ntt.S │ │ │ ├── ntt.h │ │ │ ├── params.h │ │ │ ├── poly.c │ │ │ ├── poly.h │ │ │ ├── polyvec.c │ │ │ ├── polyvec.h │ │ │ ├── randombytes.h │ │ │ ├── reduce.h │ │ │ ├── rejsample.c │ │ │ ├── rejsample.h │ │ │ ├── rng.c │ │ │ ├── rng.h │ │ │ ├── sha2.h │ │ │ ├── shuffle.S │ │ │ ├── shuffle.inc │ │ │ ├── speed_print.c │ │ │ ├── speed_print.h │ │ │ ├── symmetric-shake.c │ │ │ ├── symmetric.h │ │ │ ├── test_kex.c │ │ │ ├── test_kyber.c │ │ │ ├── test_speed.c │ │ │ ├── test_vectors.c │ │ │ ├── verify.c │ │ │ └── verify.h │ │ └── ref │ │ │ ├── .gitignore │ │ │ ├── CMakeLists.txt │ │ │ ├── Makefile │ │ │ ├── PQCgenKAT_kem.c │ │ │ ├── aes256ctr.c │ │ │ ├── aes256ctr.h │ │ │ ├── api.h │ │ │ ├── cbd.c │ │ │ ├── cbd.h │ │ │ ├── cpucycles.c │ │ │ ├── cpucycles.h │ │ │ ├── fips202.c │ │ │ ├── fips202.h │ │ │ ├── indcpa.c │ │ │ ├── indcpa.h │ │ │ ├── kem.c │ │ │ ├── kem.h │ │ │ ├── kex.c │ │ │ ├── kex.h │ │ │ ├── ntt.c │ │ │ ├── ntt.h │ │ │ ├── params.h │ │ │ ├── poly.c │ │ │ ├── poly.h │ │ │ ├── polyvec.c │ │ │ ├── polyvec.h │ │ │ ├── randombytes.h │ │ │ ├── reduce.c │ │ │ ├── reduce.h │ │ │ ├── rng.c │ │ │ ├── rng.h │ │ │ ├── sha2.h │ │ │ ├── sha256.c │ │ │ ├── sha512.c │ │ │ ├── speed_print.c │ │ │ ├── speed_print.h │ │ │ ├── symmetric-aes.c │ │ │ ├── symmetric-shake.c │ │ │ ├── symmetric.h │ │ │ ├── test_kex.c │ │ │ ├── test_kyber.c │ │ │ ├── test_speed.c │ │ │ ├── test_vectors.c │ │ │ ├── verify.c │ │ │ └── verify.h │ ├── pqclean │ │ ├── README.md │ │ ├── avx2 │ │ │ ├── LICENSE │ │ │ ├── Makefile │ │ │ ├── align.h │ │ │ ├── api.h │ │ │ ├── basemul.S │ │ │ ├── cbd.c │ │ │ ├── cbd.h │ │ │ ├── cdecl.h │ │ │ ├── consts.c │ │ │ ├── consts.h │ │ │ ├── fips202.c │ │ │ ├── fips202.h │ │ │ ├── fips202x4.c │ │ │ ├── fips202x4.h │ │ │ ├── fq.S │ │ │ ├── fq.inc │ │ │ ├── indcpa.c │ │ │ ├── indcpa.h │ │ │ ├── invntt.S │ │ │ ├── keccak4x │ │ │ │ ├── KeccakP-1600-times4-SIMD256.c │ │ │ │ ├── KeccakP-1600-times4-SnP.h │ │ │ │ ├── KeccakP-1600-unrolling.macros │ │ │ │ ├── Makefile │ │ │ │ ├── Makefile.Microsoft_nmake │ │ │ │ ├── SIMD256-config.h │ │ │ │ ├── align.h │ │ │ │ └── brg_endian.h │ │ │ ├── kem.c │ │ │ ├── kem.h │ │ │ ├── ntt.S │ │ │ ├── ntt.h │ │ │ ├── params.h │ │ │ ├── poly.c │ │ │ ├── poly.h │ │ │ ├── polyvec.c │ │ │ ├── polyvec.h │ │ │ ├── reduce.h │ │ │ ├── rejsample.c │ │ │ ├── rejsample.h │ │ │ ├── shuffle.S │ │ │ ├── shuffle.inc │ │ │ ├── symmetric-shake.c │ │ │ ├── symmetric.h │ │ │ ├── verify.c │ │ │ └── verify.h │ │ └── clean │ │ │ ├── LICENSE │ │ │ ├── Makefile │ │ │ ├── api.h │ │ │ ├── cbd.c │ │ │ ├── cbd.h │ │ │ ├── fips202.c │ │ │ ├── fips202.h │ │ │ ├── indcpa.c │ │ │ ├── indcpa.h │ │ │ ├── kem.c │ │ │ ├── kem.h │ │ │ ├── ntt.c │ │ │ ├── ntt.h │ │ │ ├── params.h │ │ │ ├── poly.c │ │ │ ├── poly.h │ │ │ ├── polyvec.c │ │ │ ├── polyvec.h │ │ │ ├── reduce.c │ │ │ ├── reduce.h │ │ │ ├── symmetric-shake.c │ │ │ ├── symmetric.h │ │ │ ├── verify.c │ │ │ └── verify.h │ └── randombytes │ │ ├── Makefile │ │ ├── jasmin_syscall.c │ │ ├── jasmin_syscall.h │ │ ├── randombytes1.c │ │ └── randombytes1.h ├── supercop-patch │ ├── crypto_kem │ │ ├── kyber768 │ │ │ ├── jasmin_avx2 │ │ │ │ ├── api.h │ │ │ │ ├── goal-constbranch │ │ │ │ ├── goal-constindex │ │ │ │ └── jasmin_syscall.c │ │ │ ├── jasmin_avx2v │ │ │ │ ├── api.h │ │ │ │ ├── goal-constbranch │ │ │ │ ├── goal-constindex │ │ │ │ └── jasmin_syscall.c │ │ │ ├── jasmin_ref │ │ │ │ ├── api.h │ │ │ │ ├── goal-constbranch │ │ │ │ ├── goal-constindex │ │ │ │ └── jasmin_syscall.c │ │ │ ├── libjade_avx2 │ │ │ │ ├── api.h │ │ │ │ ├── goal-constbranch │ │ │ │ ├── goal-constindex │ │ │ │ └── jasmin_syscall.c │ │ │ ├── libjade_ravx2 │ │ │ │ ├── api.h │ │ │ │ ├── goal-constbranch │ │ │ │ ├── goal-constindex │ │ │ │ └── jasmin_syscall.c │ │ │ ├── libjade_ref │ │ │ │ ├── api.h │ │ │ │ ├── goal-constbranch │ │ │ │ ├── goal-constindex │ │ │ │ └── jasmin_syscall.c │ │ │ └── libjade_rref │ │ │ │ ├── api.h │ │ │ │ ├── goal-constbranch │ │ │ │ ├── goal-constindex │ │ │ │ └── jasmin_syscall.c │ │ └── measure.c │ ├── do-part │ ├── do-part-try-disabled │ ├── measure-anything.c │ └── used ├── supercop-run.sh ├── supercop-update.sh ├── table │ ├── Makefile │ └── table.tex └── test │ ├── crypto_kem.c │ ├── jade_kem.h │ ├── namespace.h │ ├── notrandombytes.c │ ├── notrandombytes.h │ ├── notrandombytes1.c │ ├── notrandombytes1.h │ ├── print.c │ ├── print.h │ ├── try-anything.c │ └── try-anything.h ├── code ├── Makefile.conf ├── jasmin │ ├── avx2v │ │ ├── Makefile │ │ ├── cbd.c │ │ ├── cbd.h │ │ ├── compile.bench │ │ ├── compile.bench.old │ │ ├── consts.c │ │ ├── consts.h │ │ ├── consts.jinc │ │ ├── extraction │ │ │ ├── Array1088.ec │ │ │ ├── Array128.ec │ │ │ ├── Array136.ec │ │ │ ├── Array16.ec │ │ │ ├── Array168.ec │ │ │ ├── Array2304.ec │ │ │ ├── Array24.ec │ │ │ ├── Array25.ec │ │ │ ├── Array256.ec │ │ │ ├── Array32.ec │ │ │ ├── Array33.ec │ │ │ ├── Array34.ec │ │ │ ├── Array4.ec │ │ │ ├── Array400.ec │ │ │ ├── Array5.ec │ │ │ ├── Array64.ec │ │ │ ├── Array768.ec │ │ │ ├── Array8.ec │ │ │ ├── Array960.ec │ │ │ ├── Makefile │ │ │ ├── WArray1088.ec │ │ │ ├── WArray128.ec │ │ │ ├── WArray136.ec │ │ │ ├── WArray1536.ec │ │ │ ├── WArray16.ec │ │ │ ├── WArray168.ec │ │ │ ├── WArray192.ec │ │ │ ├── WArray200.ec │ │ │ ├── WArray256.ec │ │ │ ├── WArray32.ec │ │ │ ├── WArray33.ec │ │ │ ├── WArray34.ec │ │ │ ├── WArray40.ec │ │ │ ├── WArray4608.ec │ │ │ ├── WArray512.ec │ │ │ ├── WArray64.ec │ │ │ ├── WArray768.ec │ │ │ ├── WArray800.ec │ │ │ ├── WArray960.ec │ │ │ └── jkem_avx2.ec │ │ ├── fips202.c │ │ ├── fips202.h │ │ ├── fips202.jinc │ │ ├── fips202_4x.jinc │ │ ├── fips202_common.jinc │ │ ├── fq.S │ │ ├── fq.inc │ │ ├── gen_matrix.jazz │ │ ├── gen_matrix.jinc │ │ ├── gen_matrix.jinc.try0 │ │ ├── gen_matrix_old.jinc │ │ ├── indcpa.c │ │ ├── indcpa.h │ │ ├── indcpa.jinc │ │ ├── jbench.sh │ │ ├── jfips202.jazz │ │ ├── jindcpa.jazz │ │ ├── jkem.jazz │ │ ├── jpoly.jazz │ │ ├── jpolyvec.jazz │ │ ├── jspeed.jazz │ │ ├── keccakf1600.jinc │ │ ├── kem.c │ │ ├── kem.h │ │ ├── kem.jinc │ │ ├── ntt.S │ │ ├── ntt.c │ │ ├── ntt.h │ │ ├── params.h │ │ ├── params.jinc │ │ ├── poly.c │ │ ├── poly.h │ │ ├── poly.jinc │ │ ├── poly_ntt.c │ │ ├── polyvec.c │ │ ├── polyvec.h │ │ ├── polyvec.jinc │ │ ├── reduce.c │ │ ├── reduce.h │ │ ├── reduce.jinc │ │ ├── shuffle.S │ │ ├── shuffle.inc │ │ ├── shuffle.jinc │ │ ├── speed.h │ │ ├── symmetric-fips202.c │ │ ├── symmetric.h │ │ ├── test │ │ │ ├── speed_indcpa.c │ │ │ ├── speed_kyber.c │ │ │ ├── test.sh │ │ │ ├── test_fips202.c │ │ │ ├── test_indcpa.c │ │ │ ├── test_kem.c │ │ │ ├── test_poly_add2.c │ │ │ ├── test_poly_basemul.c │ │ │ ├── test_poly_compress.c │ │ │ ├── test_poly_csubq.c │ │ │ ├── test_poly_decompress.c │ │ │ ├── test_poly_frombytes.c │ │ │ ├── test_poly_frommont.c │ │ │ ├── test_poly_frommsg.c │ │ │ ├── test_poly_getnoise.c │ │ │ ├── test_poly_invntt.c │ │ │ ├── test_poly_ntt.c │ │ │ ├── test_poly_reduce.c │ │ │ ├── test_poly_sub.c │ │ │ ├── test_poly_tobytes.c │ │ │ ├── test_poly_tomsg.c │ │ │ ├── test_polyvec_add2.c │ │ │ ├── test_polyvec_compress.c │ │ │ ├── test_polyvec_csubq.c │ │ │ ├── test_polyvec_decompress.c │ │ │ ├── test_polyvec_frombytes.c │ │ │ ├── test_polyvec_invntt.c │ │ │ ├── test_polyvec_ntt.c │ │ │ ├── test_polyvec_pointwise_acc.c │ │ │ ├── test_polyvec_reduce.c │ │ │ └── test_polyvec_tobytes.c │ │ └── verify.jinc │ ├── mlkem_avx2 │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── cbd.c │ │ ├── cbd.h │ │ ├── compile.bench │ │ ├── compile.bench.old │ │ ├── consts.c │ │ ├── consts.h │ │ ├── consts.jinc │ │ ├── cycles.jinc │ │ ├── example │ │ │ ├── .gitignore │ │ │ ├── Makefile │ │ │ ├── api.h │ │ │ └── example.c │ │ ├── extraction │ │ │ ├── Array1088.ec │ │ │ ├── Array128.ec │ │ │ ├── Array136.ec │ │ │ ├── Array16.ec │ │ │ ├── Array168.ec │ │ │ ├── Array2304.ec │ │ │ ├── Array24.ec │ │ │ ├── Array25.ec │ │ │ ├── Array256.ec │ │ │ ├── Array32.ec │ │ │ ├── Array33.ec │ │ │ ├── Array34.ec │ │ │ ├── Array4.ec │ │ │ ├── Array400.ec │ │ │ ├── Array5.ec │ │ │ ├── Array64.ec │ │ │ ├── Array768.ec │ │ │ ├── Array8.ec │ │ │ ├── Array960.ec │ │ │ ├── Makefile │ │ │ ├── WArray1088.ec │ │ │ ├── WArray128.ec │ │ │ ├── WArray136.ec │ │ │ ├── WArray1536.ec │ │ │ ├── WArray16.ec │ │ │ ├── WArray168.ec │ │ │ ├── WArray192.ec │ │ │ ├── WArray200.ec │ │ │ ├── WArray256.ec │ │ │ ├── WArray32.ec │ │ │ ├── WArray33.ec │ │ │ ├── WArray34.ec │ │ │ ├── WArray40.ec │ │ │ ├── WArray4608.ec │ │ │ ├── WArray512.ec │ │ │ ├── WArray64.ec │ │ │ ├── WArray768.ec │ │ │ ├── WArray800.ec │ │ │ ├── WArray960.ec │ │ │ └── jkem_avx2.ec │ │ ├── fips202.c │ │ ├── fips202.h │ │ ├── fips202.jinc │ │ ├── fips202_4x.jinc │ │ ├── fips202_common.jinc │ │ ├── fq.S │ │ ├── fq.inc │ │ ├── gen_matrix.jinc │ │ ├── gen_matrix.jinc.try0 │ │ ├── gen_matrix_old.jinc │ │ ├── indcpa.c │ │ ├── indcpa.h │ │ ├── indcpa.jinc │ │ ├── jbench.sh │ │ ├── jfips202.jazz │ │ ├── jgen_matrix.jazz │ │ ├── jindcpa.jazz │ │ ├── jkem.jazz │ │ ├── jpoly.jazz │ │ ├── jpolyvec.jazz │ │ ├── jspeed.jazz │ │ ├── keccakf1600.jinc │ │ ├── kem.c │ │ ├── kem.h │ │ ├── kem.jinc │ │ ├── ntt.S │ │ ├── ntt.c │ │ ├── ntt.h │ │ ├── params.h │ │ ├── params.jinc │ │ ├── poly.c │ │ ├── poly.h │ │ ├── poly.jinc │ │ ├── poly_ntt.c │ │ ├── polyvec.c │ │ ├── polyvec.h │ │ ├── polyvec.jinc │ │ ├── reduce.c │ │ ├── reduce.h │ │ ├── reduce.jinc │ │ ├── shuffle.S │ │ ├── shuffle.inc │ │ ├── shuffle.jinc │ │ ├── speed.h │ │ ├── symmetric-fips202.c │ │ ├── symmetric.h │ │ ├── test │ │ │ ├── speed_mlkem.c │ │ │ ├── test.sh │ │ │ ├── test_fips202.c │ │ │ ├── test_indcpa.c │ │ │ ├── test_kem.c │ │ │ ├── test_poly_add2.c │ │ │ ├── test_poly_basemul.c │ │ │ ├── test_poly_compress.c │ │ │ ├── test_poly_csubq.c │ │ │ ├── test_poly_decompress.c │ │ │ ├── test_poly_frombytes.c │ │ │ ├── test_poly_frommont.c │ │ │ ├── test_poly_frommsg.c │ │ │ ├── test_poly_getnoise.c │ │ │ ├── test_poly_invntt.c │ │ │ ├── test_poly_ntt.c │ │ │ ├── test_poly_reduce.c │ │ │ ├── test_poly_setrandom.c │ │ │ ├── test_poly_sub.c │ │ │ ├── test_poly_tobytes.c │ │ │ ├── test_poly_tomsg.c │ │ │ ├── test_polyvec_add2.c │ │ │ ├── test_polyvec_compress.c │ │ │ ├── test_polyvec_csubq.c │ │ │ ├── test_polyvec_decompress.c │ │ │ ├── test_polyvec_frombytes.c │ │ │ ├── test_polyvec_invntt.c │ │ │ ├── test_polyvec_ntt.c │ │ │ ├── test_polyvec_pointwise_acc.c │ │ │ ├── test_polyvec_reduce.c │ │ │ ├── test_polyvec_setrandom.c │ │ │ └── test_polyvec_tobytes.c │ │ └── verify.jinc │ ├── mlkem_ref │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── cbd.c │ │ ├── cbd.h │ │ ├── cycles.jinc │ │ ├── example │ │ │ ├── .gitignore │ │ │ ├── Makefile │ │ │ ├── api.h │ │ │ └── example.c │ │ ├── extraction │ │ │ ├── Array1088.ec │ │ │ ├── Array128.ec │ │ │ ├── Array168.ec │ │ │ ├── Array2304.ec │ │ │ ├── Array24.ec │ │ │ ├── Array25.ec │ │ │ ├── Array256.ec │ │ │ ├── Array32.ec │ │ │ ├── Array33.ec │ │ │ ├── Array34.ec │ │ │ ├── Array4.ec │ │ │ ├── Array5.ec │ │ │ ├── Array64.ec │ │ │ ├── Array768.ec │ │ │ ├── Array960.ec │ │ │ ├── Makefile │ │ │ ├── WArray1088.ec │ │ │ ├── WArray128.ec │ │ │ ├── WArray1536.ec │ │ │ ├── WArray168.ec │ │ │ ├── WArray192.ec │ │ │ ├── WArray20.ec │ │ │ ├── WArray200.ec │ │ │ ├── WArray256.ec │ │ │ ├── WArray32.ec │ │ │ ├── WArray33.ec │ │ │ ├── WArray34.ec │ │ │ ├── WArray40.ec │ │ │ ├── WArray4608.ec │ │ │ ├── WArray512.ec │ │ │ ├── WArray64.ec │ │ │ ├── WArray960.ec │ │ │ └── jkem.ec │ │ ├── fips202.c │ │ ├── fips202.h │ │ ├── fips202.jinc │ │ ├── gen_matrix.jazz │ │ ├── gen_matrix.jinc │ │ ├── indcpa.c │ │ ├── indcpa.h │ │ ├── indcpa.jinc │ │ ├── jbench.sh │ │ ├── jfips202.jazz │ │ ├── jindcpa.jazz │ │ ├── jkem.jazz │ │ ├── jpoly.jazz │ │ ├── jpolyvec.jazz │ │ ├── jspeed.jazz │ │ ├── kem.c │ │ ├── kem.h │ │ ├── kem.jinc │ │ ├── ntt.c │ │ ├── ntt.h │ │ ├── params.h │ │ ├── params.jinc │ │ ├── poly.c │ │ ├── poly.h │ │ ├── poly.jinc │ │ ├── poly_ntt.c │ │ ├── polyvec.c │ │ ├── polyvec.h │ │ ├── polyvec.jinc │ │ ├── reduce.c │ │ ├── reduce.h │ │ ├── reduce.jinc │ │ ├── speed.h │ │ ├── symmetric-fips202.c │ │ ├── symmetric.h │ │ ├── test │ │ │ ├── speed_indcpa.c │ │ │ ├── speed_mlkem.c │ │ │ ├── test.sh │ │ │ ├── test_fips202.c │ │ │ ├── test_indcpa.c │ │ │ ├── test_kem.c │ │ │ ├── test_poly_add2.c │ │ │ ├── test_poly_basemul.c │ │ │ ├── test_poly_compress.c │ │ │ ├── test_poly_csubq.c │ │ │ ├── test_poly_decompress.c │ │ │ ├── test_poly_frombytes.c │ │ │ ├── test_poly_frommont.c │ │ │ ├── test_poly_frommsg.c │ │ │ ├── test_poly_getnoise.c │ │ │ ├── test_poly_invntt.c │ │ │ ├── test_poly_ntt.c │ │ │ ├── test_poly_reduce.c │ │ │ ├── test_poly_setrandom.c │ │ │ ├── test_poly_sub.c │ │ │ ├── test_poly_tobytes.c │ │ │ ├── test_poly_tomsg.c │ │ │ ├── test_polyvec_add2.c │ │ │ ├── test_polyvec_compress.c │ │ │ ├── test_polyvec_csubq.c │ │ │ ├── test_polyvec_decompress.c │ │ │ ├── test_polyvec_frombytes.c │ │ │ ├── test_polyvec_invntt.c │ │ │ ├── test_polyvec_ntt.c │ │ │ ├── test_polyvec_pointwise_acc.c │ │ │ ├── test_polyvec_reduce.c │ │ │ ├── test_polyvec_setrandom.c │ │ │ └── test_polyvec_tobytes.c │ │ ├── verify.jinc │ │ └── zetas.jinc │ ├── ref │ │ ├── Makefile │ │ ├── cbd.c │ │ ├── cbd.h │ │ ├── extraction │ │ │ ├── Array1088.ec │ │ │ ├── Array128.ec │ │ │ ├── Array168.ec │ │ │ ├── Array2304.ec │ │ │ ├── Array24.ec │ │ │ ├── Array25.ec │ │ │ ├── Array256.ec │ │ │ ├── Array32.ec │ │ │ ├── Array33.ec │ │ │ ├── Array34.ec │ │ │ ├── Array4.ec │ │ │ ├── Array5.ec │ │ │ ├── Array64.ec │ │ │ ├── Array768.ec │ │ │ ├── Array960.ec │ │ │ ├── Makefile │ │ │ ├── WArray1088.ec │ │ │ ├── WArray128.ec │ │ │ ├── WArray1536.ec │ │ │ ├── WArray168.ec │ │ │ ├── WArray192.ec │ │ │ ├── WArray20.ec │ │ │ ├── WArray200.ec │ │ │ ├── WArray256.ec │ │ │ ├── WArray32.ec │ │ │ ├── WArray33.ec │ │ │ ├── WArray34.ec │ │ │ ├── WArray40.ec │ │ │ ├── WArray4608.ec │ │ │ ├── WArray512.ec │ │ │ ├── WArray64.ec │ │ │ ├── WArray960.ec │ │ │ └── jkem.ec │ │ ├── fips202.c │ │ ├── fips202.h │ │ ├── fips202.jinc │ │ ├── gen_matrix.jazz │ │ ├── gen_matrix.jinc │ │ ├── indcpa.c │ │ ├── indcpa.h │ │ ├── indcpa.jinc │ │ ├── jbench.sh │ │ ├── jfips202.jazz │ │ ├── jindcpa.jazz │ │ ├── jkem.jazz │ │ ├── jpoly.jazz │ │ ├── jpolyvec.jazz │ │ ├── kem.c │ │ ├── kem.h │ │ ├── kem.jinc │ │ ├── ntt.c │ │ ├── ntt.h │ │ ├── params.h │ │ ├── params.jinc │ │ ├── poly.c │ │ ├── poly.h │ │ ├── poly.jinc │ │ ├── poly_ntt.c │ │ ├── polyvec.c │ │ ├── polyvec.h │ │ ├── polyvec.jinc │ │ ├── reduce.c │ │ ├── reduce.h │ │ ├── reduce.jinc │ │ ├── symmetric-fips202.c │ │ ├── symmetric.h │ │ ├── test │ │ │ ├── speed_indcpa.c │ │ │ ├── test.sh │ │ │ ├── test_fips202.c │ │ │ ├── test_indcpa.c │ │ │ ├── test_kem.c │ │ │ ├── test_poly_add2.c │ │ │ ├── test_poly_basemul.c │ │ │ ├── test_poly_compress.c │ │ │ ├── test_poly_csubq.c │ │ │ ├── test_poly_decompress.c │ │ │ ├── test_poly_frombytes.c │ │ │ ├── test_poly_frommont.c │ │ │ ├── test_poly_frommsg.c │ │ │ ├── test_poly_getnoise.c │ │ │ ├── test_poly_invntt.c │ │ │ ├── test_poly_ntt.c │ │ │ ├── test_poly_reduce.c │ │ │ ├── test_poly_sub.c │ │ │ ├── test_poly_tobytes.c │ │ │ ├── test_poly_tomsg.c │ │ │ ├── test_polyvec_add2.c │ │ │ ├── test_polyvec_compress.c │ │ │ ├── test_polyvec_csubq.c │ │ │ ├── test_polyvec_decompress.c │ │ │ ├── test_polyvec_frombytes.c │ │ │ ├── test_polyvec_invntt.c │ │ │ ├── test_polyvec_ntt.c │ │ │ ├── test_polyvec_pointwise_acc.c │ │ │ ├── test_polyvec_reduce.c │ │ │ └── test_polyvec_tobytes.c │ │ ├── verify.jinc │ │ └── zetas.jinc │ └── test │ │ ├── .gitignore │ │ ├── Makefile │ │ ├── avx-derand.jazz │ │ ├── avx.jazz │ │ ├── ref-derand.jazz │ │ ├── ref.jazz │ │ └── run.jazz ├── sage │ ├── genntt.py │ └── genntt7681.py └── security-estimates │ ├── Kyber-Distr-jba.ipynb │ ├── Kyber.py │ ├── Kyber_failure.py │ ├── MLWE_security.py │ ├── model_BKZ.py │ └── proba_util.py ├── config └── tests.config ├── easycrypt.project ├── ext └── randombytes │ ├── Makefile │ ├── jasmin_syscall.c │ └── jasmin_syscall.h ├── proof ├── correctness │ ├── Fq.ec │ ├── KYBER.ipynb │ ├── MLKEMFCLib.ec │ ├── MLKEM_InnerPKE.ec │ ├── MLKEM_KEM.ec │ ├── MLKEM_Poly.ec │ ├── MLKEM_PolyVec.ec │ ├── Makefile │ ├── Montgomery.ec │ ├── Montgomery16.ec │ ├── NTT.py │ ├── NTTAlgebra.ec │ ├── NTT_Fq.ec │ ├── README.md │ ├── W16extra.ec │ ├── W8extra.ec │ ├── avx2 │ │ ├── AVX2Perm.hs │ │ ├── AVX2_Ops.ec │ │ ├── Array2.ec │ │ ├── Fq_avx2.ec │ │ ├── MLKEM_InnerPKE_avx2.ec │ │ ├── MLKEM_KEM_avx2.ec │ │ ├── MLKEM_PolyVec_avx2_prevec.ec │ │ ├── MLKEM_PolyVec_avx2_proof.ec │ │ ├── MLKEM_PolyVec_avx2_vec.ec │ │ ├── MLKEM_Poly_avx2_prevec.ec │ │ ├── MLKEM_Poly_avx2_proof.ec │ │ ├── MLKEM_Poly_avx2_vec.ec │ │ ├── MLKEM_avx2_auxlemmas.ec │ │ ├── MLKEM_avx2_encdec.ec │ │ ├── MLKEM_avx2_equivs.ec │ │ ├── NTT_AVX_Fq.ec │ │ ├── NTT_AVX_j.ec │ │ ├── NTT_avx2.ec │ │ └── nttpack_unpack_perm.py │ ├── barrett.ipynb │ ├── barrett_mlkem_general.ec │ └── zetas.py ├── eclib │ ├── Fastexp.ec │ ├── For.ec │ ├── IntDiv_extra.ec │ └── List_extra.ec ├── security │ ├── FLPRG.eca │ ├── FO_MLKEM.ec │ ├── FO_TT.ec │ ├── FO_UU.ec │ ├── KEM_ROM.ec │ ├── MLWE.ec │ ├── MLWE_PKE.ec │ ├── MLWE_PKE_Basic.ec │ ├── MLWE_PKE_Hash.ec │ └── PKE_ROM.ec └── spec │ ├── KyberSecurity.ec.deprecated │ └── MLKEMSecurity.ec ├── scripts └── docker │ └── Dockerfile └── shell.nix /.github/workflows/ct.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/.github/workflows/ct.yml -------------------------------------------------------------------------------- /.github/workflows/exec.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/.github/workflows/exec.yml -------------------------------------------------------------------------------- /.github/workflows/extract-and-prove.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/.github/workflows/extract-and-prove.yml -------------------------------------------------------------------------------- /.github/workflows/prover-ec-dev-version.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/.github/workflows/prover-ec-dev-version.yml -------------------------------------------------------------------------------- /.github/workflows/test.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/.github/workflows/test.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | *.o 2 | -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | SPDX-License-Identifier: CC0-1.0 OR Apache-2.0 2 | -------------------------------------------------------------------------------- /LICENSES/Apache-2.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/LICENSES/Apache-2.0.txt -------------------------------------------------------------------------------- /LICENSES/CC0-1.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/LICENSES/CC0-1.0.txt -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/Makefile -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/TODO -------------------------------------------------------------------------------- /bench/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/.gitignore -------------------------------------------------------------------------------- /bench/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/Makefile -------------------------------------------------------------------------------- /bench/Makefile.artifact: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/Makefile.artifact -------------------------------------------------------------------------------- /bench/README.artifact.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/README.artifact.md -------------------------------------------------------------------------------- /bench/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/README.md -------------------------------------------------------------------------------- /bench/benchmacros-supercop.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/benchmacros-supercop.sh -------------------------------------------------------------------------------- /bench/benchmacros.artifact.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/benchmacros.artifact.sh -------------------------------------------------------------------------------- /bench/benchmacros.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/benchmacros.sh -------------------------------------------------------------------------------- /bench/common/alignedcalloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/common/alignedcalloc.c -------------------------------------------------------------------------------- /bench/common/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/common/config.h -------------------------------------------------------------------------------- /bench/common/cpucycles.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/common/cpucycles.c -------------------------------------------------------------------------------- /bench/common/crypto_kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/common/crypto_kem.c -------------------------------------------------------------------------------- /bench/common/median.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/common/median.c -------------------------------------------------------------------------------- /bench/common/namespace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/common/namespace.h -------------------------------------------------------------------------------- /bench/report/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/report/.gitignore -------------------------------------------------------------------------------- /bench/report/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/report/Makefile -------------------------------------------------------------------------------- /bench/report/report.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/report/report.tex -------------------------------------------------------------------------------- /bench/results/alderlake-i71260p/bench_jasmin_ref.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/alderlake-i71260p/bench_jasmin_ref.out -------------------------------------------------------------------------------- /bench/results/alderlake-i71260p/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/alderlake-i71260p/macros.tex -------------------------------------------------------------------------------- /bench/results/alderlake-i71260p/supercop/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/alderlake-i71260p/supercop/macros.tex -------------------------------------------------------------------------------- /bench/results/cannonlake-i710700k/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/cannonlake-i710700k/macros.tex -------------------------------------------------------------------------------- /bench/results/cannonlake-i710700k/supercop/raw/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/results/haswell-i74770k/bench_crystals_ref.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/haswell-i74770k/bench_crystals_ref.out -------------------------------------------------------------------------------- /bench/results/haswell-i74770k/bench_jasmin_avx2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/haswell-i74770k/bench_jasmin_avx2.out -------------------------------------------------------------------------------- /bench/results/haswell-i74770k/bench_jasmin_avx2v.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/haswell-i74770k/bench_jasmin_avx2v.out -------------------------------------------------------------------------------- /bench/results/haswell-i74770k/bench_jasmin_ref.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/haswell-i74770k/bench_jasmin_ref.out -------------------------------------------------------------------------------- /bench/results/haswell-i74770k/bench_libjade_avx2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/haswell-i74770k/bench_libjade_avx2.out -------------------------------------------------------------------------------- /bench/results/haswell-i74770k/bench_libjade_ref.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/haswell-i74770k/bench_libjade_ref.out -------------------------------------------------------------------------------- /bench/results/haswell-i74770k/bench_pqclean_avx2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/haswell-i74770k/bench_pqclean_avx2.out -------------------------------------------------------------------------------- /bench/results/haswell-i74770k/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/haswell-i74770k/macros.tex -------------------------------------------------------------------------------- /bench/results/haswell-i74770k/supercop/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/haswell-i74770k/supercop/macros.tex -------------------------------------------------------------------------------- /bench/results/skylake-i76500u/bench_crystals_ref.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/skylake-i76500u/bench_crystals_ref.out -------------------------------------------------------------------------------- /bench/results/skylake-i76500u/bench_jasmin_avx2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/skylake-i76500u/bench_jasmin_avx2.out -------------------------------------------------------------------------------- /bench/results/skylake-i76500u/bench_jasmin_avx2v.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/skylake-i76500u/bench_jasmin_avx2v.out -------------------------------------------------------------------------------- /bench/results/skylake-i76500u/bench_jasmin_ref.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/skylake-i76500u/bench_jasmin_ref.out -------------------------------------------------------------------------------- /bench/results/skylake-i76500u/bench_libjade_avx2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/skylake-i76500u/bench_libjade_avx2.out -------------------------------------------------------------------------------- /bench/results/skylake-i76500u/bench_libjade_ref.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/skylake-i76500u/bench_libjade_ref.out -------------------------------------------------------------------------------- /bench/results/skylake-i76500u/bench_pqclean_avx2.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/skylake-i76500u/bench_pqclean_avx2.out -------------------------------------------------------------------------------- /bench/results/skylake-i76500u/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/skylake-i76500u/macros.tex -------------------------------------------------------------------------------- /bench/results/skylake-i76500u/supercop/macros.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/results/skylake-i76500u/supercop/macros.tex -------------------------------------------------------------------------------- /bench/src/.gitignore: -------------------------------------------------------------------------------- 1 | *.o 2 | *.a 3 | *.s 4 | -------------------------------------------------------------------------------- /bench/src/jasmin/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/src/jasmin/avx2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/jasmin/avx2/Makefile -------------------------------------------------------------------------------- /bench/src/jasmin/avx2/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/jasmin/avx2/api.h -------------------------------------------------------------------------------- /bench/src/jasmin/avx2/jkem.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/jasmin/avx2/jkem.jazz -------------------------------------------------------------------------------- /bench/src/jasmin/avx2v/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/jasmin/avx2v/Makefile -------------------------------------------------------------------------------- /bench/src/jasmin/avx2v/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/jasmin/avx2v/api.h -------------------------------------------------------------------------------- /bench/src/jasmin/avx2v/jkem.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/jasmin/avx2v/jkem.jazz -------------------------------------------------------------------------------- /bench/src/jasmin/ref/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/jasmin/ref/Makefile -------------------------------------------------------------------------------- /bench/src/jasmin/ref/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/jasmin/ref/api.h -------------------------------------------------------------------------------- /bench/src/jasmin/ref/jkem.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/jasmin/ref/jkem.jazz -------------------------------------------------------------------------------- /bench/src/libjade/.gitkeep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/src/libjade/avx2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/libjade/avx2/Makefile -------------------------------------------------------------------------------- /bench/src/libjade/avx2/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/libjade/avx2/api.h -------------------------------------------------------------------------------- /bench/src/libjade/avx2/jkem.jpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/libjade/avx2/jkem.jpp -------------------------------------------------------------------------------- /bench/src/libjade/ref/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/libjade/ref/Makefile -------------------------------------------------------------------------------- /bench/src/libjade/ref/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/libjade/ref/api.h -------------------------------------------------------------------------------- /bench/src/libjade/ref/jkem.jpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/libjade/ref/jkem.jpp -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/.gitignore -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/Makefile -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/PQCgenKAT_kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/PQCgenKAT_kem.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/aes256ctr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/aes256ctr.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/aes256ctr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/aes256ctr.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/align.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/align.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/api.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/basemul.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/basemul.S -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/cbd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/cbd.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/cbd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/cbd.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/consts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/consts.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/consts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/consts.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/cpucycles.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/cpucycles.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/cpucycles.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/cpucycles.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/fips202.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/fips202.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/fips202.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/fips202x4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/fips202x4.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/fips202x4.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/fips202x4.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/fq.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/fq.S -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/fq.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/fq.inc -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/indcpa.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/indcpa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/indcpa.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/invntt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/invntt.S -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/keccak4x/KeccakP-align.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/keccak4x/KeccakP-align.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/kem.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/kem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/kem.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/kex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/kex.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/kex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/kex.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/ntt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/ntt.S -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/ntt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/ntt.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/params.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/params.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/poly.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/poly.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/poly.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/poly.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/polyvec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/polyvec.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/polyvec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/polyvec.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/randombytes.h: -------------------------------------------------------------------------------- 1 | ../../randombytes/randombytes1.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/reduce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/reduce.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/rejsample.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/rejsample.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/rejsample.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/rejsample.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/rng.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/rng.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/rng.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/rng.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/sha2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/sha2.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/shuffle.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/shuffle.S -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/shuffle.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/shuffle.inc -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/speed_print.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/speed_print.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/speed_print.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/speed_print.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/symmetric-shake.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/symmetric-shake.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/symmetric.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/symmetric.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/test_kex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/test_kex.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/test_kyber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/test_kyber.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/test_speed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/test_speed.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/test_vectors.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/test_vectors.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/verify.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/verify.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/avx2/verify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/avx2/verify.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/.gitignore -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/CMakeLists.txt -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/Makefile -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/PQCgenKAT_kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/PQCgenKAT_kem.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/aes256ctr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/aes256ctr.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/aes256ctr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/aes256ctr.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/api.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/cbd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/cbd.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/cbd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/cbd.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/cpucycles.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/cpucycles.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/cpucycles.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/cpucycles.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/fips202.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/fips202.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/fips202.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/indcpa.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/indcpa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/indcpa.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/kem.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/kem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/kem.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/kex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/kex.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/kex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/kex.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/ntt.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/ntt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/ntt.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/params.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/params.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/poly.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/poly.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/poly.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/poly.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/polyvec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/polyvec.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/polyvec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/polyvec.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/randombytes.h: -------------------------------------------------------------------------------- 1 | ../../randombytes/randombytes1.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/reduce.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/reduce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/reduce.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/rng.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/rng.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/rng.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/rng.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/sha2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/sha2.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/sha256.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/sha256.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/sha512.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/sha512.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/speed_print.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/speed_print.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/speed_print.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/speed_print.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/symmetric-aes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/symmetric-aes.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/symmetric-shake.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/symmetric-shake.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/symmetric.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/symmetric.h -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/test_kex.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/test_kex.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/test_kyber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/test_kyber.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/test_speed.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/test_speed.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/test_vectors.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/test_vectors.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/verify.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/verify.c -------------------------------------------------------------------------------- /bench/src/pq-crystals/ref/verify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pq-crystals/ref/verify.h -------------------------------------------------------------------------------- /bench/src/pqclean/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/README.md -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/LICENSE -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/Makefile -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/align.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/align.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/api.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/basemul.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/basemul.S -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/cbd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/cbd.c -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/cbd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/cbd.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/cdecl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/cdecl.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/consts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/consts.c -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/consts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/consts.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/fips202.c -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/fips202.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/fips202.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/fips202x4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/fips202x4.c -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/fips202x4.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/fips202x4.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/fq.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/fq.S -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/fq.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/fq.inc -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/indcpa.c -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/indcpa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/indcpa.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/invntt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/invntt.S -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/keccak4x/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/keccak4x/Makefile -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/keccak4x/SIMD256-config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/keccak4x/SIMD256-config.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/keccak4x/align.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/keccak4x/align.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/keccak4x/brg_endian.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/keccak4x/brg_endian.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/kem.c -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/kem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/kem.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/ntt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/ntt.S -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/ntt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/ntt.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/params.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/params.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/poly.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/poly.c -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/poly.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/poly.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/polyvec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/polyvec.c -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/polyvec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/polyvec.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/reduce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/reduce.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/rejsample.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/rejsample.c -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/rejsample.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/rejsample.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/shuffle.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/shuffle.S -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/shuffle.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/shuffle.inc -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/symmetric-shake.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/symmetric-shake.c -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/symmetric.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/symmetric.h -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/verify.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/verify.c -------------------------------------------------------------------------------- /bench/src/pqclean/avx2/verify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/avx2/verify.h -------------------------------------------------------------------------------- /bench/src/pqclean/clean/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/LICENSE -------------------------------------------------------------------------------- /bench/src/pqclean/clean/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/Makefile -------------------------------------------------------------------------------- /bench/src/pqclean/clean/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/api.h -------------------------------------------------------------------------------- /bench/src/pqclean/clean/cbd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/cbd.c -------------------------------------------------------------------------------- /bench/src/pqclean/clean/cbd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/cbd.h -------------------------------------------------------------------------------- /bench/src/pqclean/clean/fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/fips202.c -------------------------------------------------------------------------------- /bench/src/pqclean/clean/fips202.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/fips202.h -------------------------------------------------------------------------------- /bench/src/pqclean/clean/indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/indcpa.c -------------------------------------------------------------------------------- /bench/src/pqclean/clean/indcpa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/indcpa.h -------------------------------------------------------------------------------- /bench/src/pqclean/clean/kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/kem.c -------------------------------------------------------------------------------- /bench/src/pqclean/clean/kem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/kem.h -------------------------------------------------------------------------------- /bench/src/pqclean/clean/ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/ntt.c -------------------------------------------------------------------------------- /bench/src/pqclean/clean/ntt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/ntt.h -------------------------------------------------------------------------------- /bench/src/pqclean/clean/params.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/params.h -------------------------------------------------------------------------------- /bench/src/pqclean/clean/poly.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/poly.c -------------------------------------------------------------------------------- /bench/src/pqclean/clean/poly.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/poly.h -------------------------------------------------------------------------------- /bench/src/pqclean/clean/polyvec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/polyvec.c -------------------------------------------------------------------------------- /bench/src/pqclean/clean/polyvec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/polyvec.h -------------------------------------------------------------------------------- /bench/src/pqclean/clean/reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/reduce.c -------------------------------------------------------------------------------- /bench/src/pqclean/clean/reduce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/reduce.h -------------------------------------------------------------------------------- /bench/src/pqclean/clean/symmetric-shake.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/symmetric-shake.c -------------------------------------------------------------------------------- /bench/src/pqclean/clean/symmetric.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/symmetric.h -------------------------------------------------------------------------------- /bench/src/pqclean/clean/verify.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/verify.c -------------------------------------------------------------------------------- /bench/src/pqclean/clean/verify.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/pqclean/clean/verify.h -------------------------------------------------------------------------------- /bench/src/randombytes/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/randombytes/Makefile -------------------------------------------------------------------------------- /bench/src/randombytes/jasmin_syscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/randombytes/jasmin_syscall.c -------------------------------------------------------------------------------- /bench/src/randombytes/jasmin_syscall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/randombytes/jasmin_syscall.h -------------------------------------------------------------------------------- /bench/src/randombytes/randombytes1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/randombytes/randombytes1.c -------------------------------------------------------------------------------- /bench/src/randombytes/randombytes1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/src/randombytes/randombytes1.h -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/kyber768/jasmin_avx2/goal-constbranch: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/kyber768/jasmin_avx2/goal-constindex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/kyber768/jasmin_avx2v/goal-constbranch: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/kyber768/jasmin_avx2v/goal-constindex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/kyber768/jasmin_ref/goal-constbranch: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/kyber768/jasmin_ref/goal-constindex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/kyber768/libjade_avx2/goal-constbranch: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/kyber768/libjade_avx2/goal-constindex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/kyber768/libjade_ravx2/goal-constbranch: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/kyber768/libjade_ravx2/goal-constindex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/kyber768/libjade_ref/goal-constbranch: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/kyber768/libjade_ref/goal-constindex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/kyber768/libjade_rref/goal-constbranch: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/kyber768/libjade_rref/goal-constindex: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bench/supercop-patch/crypto_kem/measure.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/supercop-patch/crypto_kem/measure.c -------------------------------------------------------------------------------- /bench/supercop-patch/do-part: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/supercop-patch/do-part -------------------------------------------------------------------------------- /bench/supercop-patch/do-part-try-disabled: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/supercop-patch/do-part-try-disabled -------------------------------------------------------------------------------- /bench/supercop-patch/measure-anything.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/supercop-patch/measure-anything.c -------------------------------------------------------------------------------- /bench/supercop-patch/used: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/supercop-patch/used -------------------------------------------------------------------------------- /bench/supercop-run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/supercop-run.sh -------------------------------------------------------------------------------- /bench/supercop-update.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/supercop-update.sh -------------------------------------------------------------------------------- /bench/table/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/table/Makefile -------------------------------------------------------------------------------- /bench/table/table.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/table/table.tex -------------------------------------------------------------------------------- /bench/test/crypto_kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/test/crypto_kem.c -------------------------------------------------------------------------------- /bench/test/jade_kem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/test/jade_kem.h -------------------------------------------------------------------------------- /bench/test/namespace.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/test/namespace.h -------------------------------------------------------------------------------- /bench/test/notrandombytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/test/notrandombytes.c -------------------------------------------------------------------------------- /bench/test/notrandombytes.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/test/notrandombytes.h -------------------------------------------------------------------------------- /bench/test/notrandombytes1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/test/notrandombytes1.c -------------------------------------------------------------------------------- /bench/test/notrandombytes1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/test/notrandombytes1.h -------------------------------------------------------------------------------- /bench/test/print.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/test/print.c -------------------------------------------------------------------------------- /bench/test/print.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/test/print.h -------------------------------------------------------------------------------- /bench/test/try-anything.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/test/try-anything.c -------------------------------------------------------------------------------- /bench/test/try-anything.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/bench/test/try-anything.h -------------------------------------------------------------------------------- /code/Makefile.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/Makefile.conf -------------------------------------------------------------------------------- /code/jasmin/avx2v/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/Makefile -------------------------------------------------------------------------------- /code/jasmin/avx2v/cbd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/cbd.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/cbd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/cbd.h -------------------------------------------------------------------------------- /code/jasmin/avx2v/compile.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/compile.bench -------------------------------------------------------------------------------- /code/jasmin/avx2v/compile.bench.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/compile.bench.old -------------------------------------------------------------------------------- /code/jasmin/avx2v/consts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/consts.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/consts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/consts.h -------------------------------------------------------------------------------- /code/jasmin/avx2v/consts.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/consts.jinc -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array1088.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array1088.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array128.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array128.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array136.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array136.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array16.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array16.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array168.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array168.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array2304.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array2304.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array24.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array24.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array25.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array25.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array256.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array256.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array32.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array32.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array33.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array33.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array34.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array34.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array4.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array4.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array400.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array400.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array5.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array5.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array64.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array64.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array768.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array768.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array8.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array8.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Array960.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Array960.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/Makefile -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray1088.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray1088.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray128.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray128.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray136.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray136.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray1536.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray1536.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray16.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray16.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray168.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray168.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray192.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray192.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray200.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray200.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray256.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray256.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray32.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray32.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray33.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray33.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray34.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray34.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray40.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray40.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray4608.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray4608.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray512.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray512.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray64.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray64.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray768.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray768.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray800.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray800.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/WArray960.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/WArray960.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/extraction/jkem_avx2.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/extraction/jkem_avx2.ec -------------------------------------------------------------------------------- /code/jasmin/avx2v/fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/fips202.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/fips202.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/fips202.h -------------------------------------------------------------------------------- /code/jasmin/avx2v/fips202.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/fips202.jinc -------------------------------------------------------------------------------- /code/jasmin/avx2v/fips202_4x.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/fips202_4x.jinc -------------------------------------------------------------------------------- /code/jasmin/avx2v/fips202_common.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/fips202_common.jinc -------------------------------------------------------------------------------- /code/jasmin/avx2v/fq.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/fq.S -------------------------------------------------------------------------------- /code/jasmin/avx2v/fq.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/fq.inc -------------------------------------------------------------------------------- /code/jasmin/avx2v/gen_matrix.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/gen_matrix.jazz -------------------------------------------------------------------------------- /code/jasmin/avx2v/gen_matrix.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/gen_matrix.jinc -------------------------------------------------------------------------------- /code/jasmin/avx2v/gen_matrix.jinc.try0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/gen_matrix.jinc.try0 -------------------------------------------------------------------------------- /code/jasmin/avx2v/gen_matrix_old.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/gen_matrix_old.jinc -------------------------------------------------------------------------------- /code/jasmin/avx2v/indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/indcpa.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/indcpa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/indcpa.h -------------------------------------------------------------------------------- /code/jasmin/avx2v/indcpa.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/indcpa.jinc -------------------------------------------------------------------------------- /code/jasmin/avx2v/jbench.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/jbench.sh -------------------------------------------------------------------------------- /code/jasmin/avx2v/jfips202.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/jfips202.jazz -------------------------------------------------------------------------------- /code/jasmin/avx2v/jindcpa.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/jindcpa.jazz -------------------------------------------------------------------------------- /code/jasmin/avx2v/jkem.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/jkem.jazz -------------------------------------------------------------------------------- /code/jasmin/avx2v/jpoly.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/jpoly.jazz -------------------------------------------------------------------------------- /code/jasmin/avx2v/jpolyvec.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/jpolyvec.jazz -------------------------------------------------------------------------------- /code/jasmin/avx2v/jspeed.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/jspeed.jazz -------------------------------------------------------------------------------- /code/jasmin/avx2v/keccakf1600.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/keccakf1600.jinc -------------------------------------------------------------------------------- /code/jasmin/avx2v/kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/kem.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/kem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/kem.h -------------------------------------------------------------------------------- /code/jasmin/avx2v/kem.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/kem.jinc -------------------------------------------------------------------------------- /code/jasmin/avx2v/ntt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/ntt.S -------------------------------------------------------------------------------- /code/jasmin/avx2v/ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/ntt.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/ntt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/ntt.h -------------------------------------------------------------------------------- /code/jasmin/avx2v/params.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/params.h -------------------------------------------------------------------------------- /code/jasmin/avx2v/params.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/params.jinc -------------------------------------------------------------------------------- /code/jasmin/avx2v/poly.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/poly.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/poly.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/poly.h -------------------------------------------------------------------------------- /code/jasmin/avx2v/poly.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/poly.jinc -------------------------------------------------------------------------------- /code/jasmin/avx2v/poly_ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/poly_ntt.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/polyvec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/polyvec.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/polyvec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/polyvec.h -------------------------------------------------------------------------------- /code/jasmin/avx2v/polyvec.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/polyvec.jinc -------------------------------------------------------------------------------- /code/jasmin/avx2v/reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/reduce.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/reduce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/reduce.h -------------------------------------------------------------------------------- /code/jasmin/avx2v/reduce.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/reduce.jinc -------------------------------------------------------------------------------- /code/jasmin/avx2v/shuffle.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/shuffle.S -------------------------------------------------------------------------------- /code/jasmin/avx2v/shuffle.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/shuffle.inc -------------------------------------------------------------------------------- /code/jasmin/avx2v/shuffle.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/shuffle.jinc -------------------------------------------------------------------------------- /code/jasmin/avx2v/speed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/speed.h -------------------------------------------------------------------------------- /code/jasmin/avx2v/symmetric-fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/symmetric-fips202.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/symmetric.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/symmetric.h -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/speed_indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/speed_indcpa.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/speed_kyber.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/speed_kyber.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test.sh -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_fips202.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_indcpa.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_kem.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_add2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_add2.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_basemul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_basemul.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_compress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_compress.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_csubq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_csubq.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_decompress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_decompress.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_frombytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_frombytes.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_frommont.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_frommont.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_frommsg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_frommsg.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_getnoise.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_getnoise.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_invntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_invntt.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_ntt.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_reduce.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_sub.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_tobytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_tobytes.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_poly_tomsg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_poly_tomsg.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_polyvec_add2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_polyvec_add2.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_polyvec_compress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_polyvec_compress.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_polyvec_csubq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_polyvec_csubq.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_polyvec_decompress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_polyvec_decompress.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_polyvec_frombytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_polyvec_frombytes.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_polyvec_invntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_polyvec_invntt.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_polyvec_ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_polyvec_ntt.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_polyvec_pointwise_acc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_polyvec_pointwise_acc.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_polyvec_reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_polyvec_reduce.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/test/test_polyvec_tobytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/test/test_polyvec_tobytes.c -------------------------------------------------------------------------------- /code/jasmin/avx2v/verify.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/avx2v/verify.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/.gitignore -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/Makefile -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/cbd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/cbd.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/cbd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/cbd.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/compile.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/compile.bench -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/compile.bench.old: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/compile.bench.old -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/consts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/consts.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/consts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/consts.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/consts.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/consts.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/cycles.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/cycles.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/example/.gitignore: -------------------------------------------------------------------------------- 1 | example 2 | jkem.s 3 | -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/example/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/example/Makefile -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/example/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/example/api.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/example/example.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/example/example.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array1088.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array1088.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array128.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array128.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array136.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array136.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array16.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array16.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array168.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array168.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array2304.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array2304.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array24.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array24.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array25.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array25.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array256.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array256.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array32.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array32.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array33.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array33.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array34.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array34.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array4.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array4.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array400.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array400.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array5.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array5.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array64.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array64.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array768.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array768.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array8.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array8.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Array960.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Array960.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/Makefile -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray1088.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray1088.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray128.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray128.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray136.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray136.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray1536.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray1536.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray16.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray16.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray168.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray168.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray192.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray192.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray200.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray200.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray256.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray256.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray32.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray32.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray33.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray33.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray34.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray34.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray40.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray40.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray4608.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray4608.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray512.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray512.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray64.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray64.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray768.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray768.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray800.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray800.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/WArray960.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/WArray960.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/extraction/jkem_avx2.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/extraction/jkem_avx2.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/fips202.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/fips202.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/fips202.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/fips202.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/fips202.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/fips202_4x.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/fips202_4x.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/fips202_common.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/fips202_common.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/fq.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/fq.S -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/fq.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/fq.inc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/gen_matrix.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/gen_matrix.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/gen_matrix.jinc.try0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/gen_matrix.jinc.try0 -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/gen_matrix_old.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/gen_matrix_old.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/indcpa.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/indcpa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/indcpa.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/indcpa.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/indcpa.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/jbench.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/jbench.sh -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/jfips202.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/jfips202.jazz -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/jgen_matrix.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/jgen_matrix.jazz -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/jindcpa.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/jindcpa.jazz -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/jkem.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/jkem.jazz -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/jpoly.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/jpoly.jazz -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/jpolyvec.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/jpolyvec.jazz -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/jspeed.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/jspeed.jazz -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/keccakf1600.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/keccakf1600.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/kem.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/kem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/kem.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/kem.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/kem.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/ntt.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/ntt.S -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/ntt.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/ntt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/ntt.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/params.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/params.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/params.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/params.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/poly.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/poly.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/poly.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/poly.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/poly.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/poly.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/poly_ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/poly_ntt.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/polyvec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/polyvec.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/polyvec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/polyvec.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/polyvec.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/polyvec.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/reduce.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/reduce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/reduce.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/reduce.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/reduce.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/shuffle.S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/shuffle.S -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/shuffle.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/shuffle.inc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/shuffle.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/shuffle.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/speed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/speed.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/symmetric-fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/symmetric-fips202.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/symmetric.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/symmetric.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/speed_mlkem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/speed_mlkem.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test.sh -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_fips202.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_indcpa.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_kem.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_add2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_add2.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_basemul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_basemul.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_compress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_compress.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_csubq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_csubq.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_decompress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_decompress.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_frombytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_frombytes.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_frommont.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_frommont.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_frommsg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_frommsg.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_getnoise.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_getnoise.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_invntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_invntt.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_ntt.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_reduce.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_setrandom.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_setrandom.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_sub.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_tobytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_tobytes.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_poly_tomsg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_poly_tomsg.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_polyvec_add2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_polyvec_add2.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_polyvec_compress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_polyvec_compress.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_polyvec_csubq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_polyvec_csubq.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_polyvec_frombytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_polyvec_frombytes.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_polyvec_invntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_polyvec_invntt.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_polyvec_ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_polyvec_ntt.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_polyvec_reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_polyvec_reduce.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_polyvec_setrandom.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_polyvec_setrandom.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/test/test_polyvec_tobytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/test/test_polyvec_tobytes.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_avx2/verify.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_avx2/verify.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/.gitignore -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/Makefile -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/cbd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/cbd.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/cbd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/cbd.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/cycles.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/cycles.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/example/.gitignore: -------------------------------------------------------------------------------- 1 | example 2 | jkem.s 3 | -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/example/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/example/Makefile -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/example/api.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/example/api.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/example/example.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/example/example.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array1088.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array1088.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array128.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array128.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array168.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array168.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array2304.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array2304.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array24.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array24.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array25.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array25.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array256.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array256.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array32.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array32.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array33.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array33.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array34.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array34.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array4.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array4.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array5.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array5.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array64.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array64.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array768.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array768.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Array960.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Array960.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/Makefile -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray1088.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray1088.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray128.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray128.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray1536.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray1536.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray168.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray168.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray192.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray192.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray20.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray20.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray200.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray200.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray256.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray256.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray32.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray32.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray33.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray33.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray34.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray34.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray40.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray40.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray4608.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray4608.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray512.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray512.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray64.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray64.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/WArray960.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/WArray960.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/extraction/jkem.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/extraction/jkem.ec -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/fips202.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/fips202.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/fips202.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/fips202.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/fips202.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/gen_matrix.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/gen_matrix.jazz -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/gen_matrix.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/gen_matrix.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/indcpa.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/indcpa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/indcpa.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/indcpa.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/indcpa.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/jbench.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/jbench.sh -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/jfips202.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/jfips202.jazz -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/jindcpa.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/jindcpa.jazz -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/jkem.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/jkem.jazz -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/jpoly.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/jpoly.jazz -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/jpolyvec.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/jpolyvec.jazz -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/jspeed.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/jspeed.jazz -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/kem.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/kem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/kem.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/kem.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/kem.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/ntt.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/ntt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/ntt.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/params.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/params.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/params.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/params.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/poly.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/poly.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/poly.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/poly.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/poly.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/poly.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/poly_ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/poly_ntt.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/polyvec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/polyvec.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/polyvec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/polyvec.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/polyvec.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/polyvec.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/reduce.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/reduce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/reduce.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/reduce.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/reduce.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/speed.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/speed.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/symmetric-fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/symmetric-fips202.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/symmetric.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/symmetric.h -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/speed_indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/speed_indcpa.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/speed_mlkem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/speed_mlkem.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test.sh -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_fips202.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_indcpa.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_kem.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_add2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_add2.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_basemul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_basemul.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_compress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_compress.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_csubq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_csubq.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_decompress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_decompress.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_frombytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_frombytes.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_frommont.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_frommont.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_frommsg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_frommsg.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_getnoise.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_getnoise.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_invntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_invntt.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_ntt.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_reduce.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_setrandom.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_setrandom.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_sub.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_tobytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_tobytes.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_poly_tomsg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_poly_tomsg.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_polyvec_add2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_polyvec_add2.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_polyvec_compress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_polyvec_compress.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_polyvec_csubq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_polyvec_csubq.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_polyvec_decompress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_polyvec_decompress.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_polyvec_invntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_polyvec_invntt.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_polyvec_ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_polyvec_ntt.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_polyvec_reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_polyvec_reduce.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/test/test_polyvec_tobytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/test/test_polyvec_tobytes.c -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/verify.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/verify.jinc -------------------------------------------------------------------------------- /code/jasmin/mlkem_ref/zetas.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/mlkem_ref/zetas.jinc -------------------------------------------------------------------------------- /code/jasmin/ref/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/Makefile -------------------------------------------------------------------------------- /code/jasmin/ref/cbd.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/cbd.c -------------------------------------------------------------------------------- /code/jasmin/ref/cbd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/cbd.h -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array1088.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array1088.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array128.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array128.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array168.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array168.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array2304.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array2304.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array24.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array24.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array25.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array25.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array256.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array256.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array32.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array32.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array33.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array33.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array34.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array34.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array4.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array4.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array5.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array5.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array64.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array64.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array768.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array768.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Array960.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Array960.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/Makefile -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray1088.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray1088.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray128.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray128.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray1536.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray1536.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray168.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray168.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray192.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray192.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray20.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray20.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray200.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray200.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray256.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray256.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray32.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray32.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray33.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray33.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray34.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray34.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray40.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray40.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray4608.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray4608.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray512.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray512.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray64.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray64.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/WArray960.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/WArray960.ec -------------------------------------------------------------------------------- /code/jasmin/ref/extraction/jkem.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/extraction/jkem.ec -------------------------------------------------------------------------------- /code/jasmin/ref/fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/fips202.c -------------------------------------------------------------------------------- /code/jasmin/ref/fips202.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/fips202.h -------------------------------------------------------------------------------- /code/jasmin/ref/fips202.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/fips202.jinc -------------------------------------------------------------------------------- /code/jasmin/ref/gen_matrix.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/gen_matrix.jazz -------------------------------------------------------------------------------- /code/jasmin/ref/gen_matrix.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/gen_matrix.jinc -------------------------------------------------------------------------------- /code/jasmin/ref/indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/indcpa.c -------------------------------------------------------------------------------- /code/jasmin/ref/indcpa.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/indcpa.h -------------------------------------------------------------------------------- /code/jasmin/ref/indcpa.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/indcpa.jinc -------------------------------------------------------------------------------- /code/jasmin/ref/jbench.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/jbench.sh -------------------------------------------------------------------------------- /code/jasmin/ref/jfips202.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/jfips202.jazz -------------------------------------------------------------------------------- /code/jasmin/ref/jindcpa.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/jindcpa.jazz -------------------------------------------------------------------------------- /code/jasmin/ref/jkem.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/jkem.jazz -------------------------------------------------------------------------------- /code/jasmin/ref/jpoly.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/jpoly.jazz -------------------------------------------------------------------------------- /code/jasmin/ref/jpolyvec.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/jpolyvec.jazz -------------------------------------------------------------------------------- /code/jasmin/ref/kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/kem.c -------------------------------------------------------------------------------- /code/jasmin/ref/kem.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/kem.h -------------------------------------------------------------------------------- /code/jasmin/ref/kem.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/kem.jinc -------------------------------------------------------------------------------- /code/jasmin/ref/ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/ntt.c -------------------------------------------------------------------------------- /code/jasmin/ref/ntt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/ntt.h -------------------------------------------------------------------------------- /code/jasmin/ref/params.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/params.h -------------------------------------------------------------------------------- /code/jasmin/ref/params.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/params.jinc -------------------------------------------------------------------------------- /code/jasmin/ref/poly.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/poly.c -------------------------------------------------------------------------------- /code/jasmin/ref/poly.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/poly.h -------------------------------------------------------------------------------- /code/jasmin/ref/poly.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/poly.jinc -------------------------------------------------------------------------------- /code/jasmin/ref/poly_ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/poly_ntt.c -------------------------------------------------------------------------------- /code/jasmin/ref/polyvec.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/polyvec.c -------------------------------------------------------------------------------- /code/jasmin/ref/polyvec.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/polyvec.h -------------------------------------------------------------------------------- /code/jasmin/ref/polyvec.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/polyvec.jinc -------------------------------------------------------------------------------- /code/jasmin/ref/reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/reduce.c -------------------------------------------------------------------------------- /code/jasmin/ref/reduce.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/reduce.h -------------------------------------------------------------------------------- /code/jasmin/ref/reduce.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/reduce.jinc -------------------------------------------------------------------------------- /code/jasmin/ref/symmetric-fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/symmetric-fips202.c -------------------------------------------------------------------------------- /code/jasmin/ref/symmetric.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/symmetric.h -------------------------------------------------------------------------------- /code/jasmin/ref/test/speed_indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/speed_indcpa.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test.sh -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_fips202.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_fips202.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_indcpa.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_indcpa.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_kem.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_kem.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_add2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_add2.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_basemul.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_basemul.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_compress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_compress.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_csubq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_csubq.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_decompress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_decompress.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_frombytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_frombytes.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_frommont.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_frommont.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_frommsg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_frommsg.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_getnoise.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_getnoise.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_invntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_invntt.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_ntt.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_reduce.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_sub.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_tobytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_tobytes.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_poly_tomsg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_poly_tomsg.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_polyvec_add2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_polyvec_add2.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_polyvec_compress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_polyvec_compress.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_polyvec_csubq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_polyvec_csubq.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_polyvec_decompress.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_polyvec_decompress.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_polyvec_frombytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_polyvec_frombytes.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_polyvec_invntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_polyvec_invntt.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_polyvec_ntt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_polyvec_ntt.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_polyvec_pointwise_acc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_polyvec_pointwise_acc.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_polyvec_reduce.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_polyvec_reduce.c -------------------------------------------------------------------------------- /code/jasmin/ref/test/test_polyvec_tobytes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/test/test_polyvec_tobytes.c -------------------------------------------------------------------------------- /code/jasmin/ref/verify.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/verify.jinc -------------------------------------------------------------------------------- /code/jasmin/ref/zetas.jinc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/ref/zetas.jinc -------------------------------------------------------------------------------- /code/jasmin/test/.gitignore: -------------------------------------------------------------------------------- 1 | *.log 2 | -------------------------------------------------------------------------------- /code/jasmin/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/test/Makefile -------------------------------------------------------------------------------- /code/jasmin/test/avx-derand.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/test/avx-derand.jazz -------------------------------------------------------------------------------- /code/jasmin/test/avx.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/test/avx.jazz -------------------------------------------------------------------------------- /code/jasmin/test/ref-derand.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/test/ref-derand.jazz -------------------------------------------------------------------------------- /code/jasmin/test/ref.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/test/ref.jazz -------------------------------------------------------------------------------- /code/jasmin/test/run.jazz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/jasmin/test/run.jazz -------------------------------------------------------------------------------- /code/sage/genntt.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/sage/genntt.py -------------------------------------------------------------------------------- /code/sage/genntt7681.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/sage/genntt7681.py -------------------------------------------------------------------------------- /code/security-estimates/Kyber-Distr-jba.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/security-estimates/Kyber-Distr-jba.ipynb -------------------------------------------------------------------------------- /code/security-estimates/Kyber.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/security-estimates/Kyber.py -------------------------------------------------------------------------------- /code/security-estimates/Kyber_failure.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/security-estimates/Kyber_failure.py -------------------------------------------------------------------------------- /code/security-estimates/MLWE_security.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/security-estimates/MLWE_security.py -------------------------------------------------------------------------------- /code/security-estimates/model_BKZ.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/security-estimates/model_BKZ.py -------------------------------------------------------------------------------- /code/security-estimates/proba_util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/code/security-estimates/proba_util.py -------------------------------------------------------------------------------- /config/tests.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/config/tests.config -------------------------------------------------------------------------------- /easycrypt.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/easycrypt.project -------------------------------------------------------------------------------- /ext/randombytes/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/ext/randombytes/Makefile -------------------------------------------------------------------------------- /ext/randombytes/jasmin_syscall.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/ext/randombytes/jasmin_syscall.c -------------------------------------------------------------------------------- /ext/randombytes/jasmin_syscall.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/ext/randombytes/jasmin_syscall.h -------------------------------------------------------------------------------- /proof/correctness/Fq.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/Fq.ec -------------------------------------------------------------------------------- /proof/correctness/KYBER.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/KYBER.ipynb -------------------------------------------------------------------------------- /proof/correctness/MLKEMFCLib.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/MLKEMFCLib.ec -------------------------------------------------------------------------------- /proof/correctness/MLKEM_InnerPKE.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/MLKEM_InnerPKE.ec -------------------------------------------------------------------------------- /proof/correctness/MLKEM_KEM.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/MLKEM_KEM.ec -------------------------------------------------------------------------------- /proof/correctness/MLKEM_Poly.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/MLKEM_Poly.ec -------------------------------------------------------------------------------- /proof/correctness/MLKEM_PolyVec.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/MLKEM_PolyVec.ec -------------------------------------------------------------------------------- /proof/correctness/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/Makefile -------------------------------------------------------------------------------- /proof/correctness/Montgomery.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/Montgomery.ec -------------------------------------------------------------------------------- /proof/correctness/Montgomery16.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/Montgomery16.ec -------------------------------------------------------------------------------- /proof/correctness/NTT.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/NTT.py -------------------------------------------------------------------------------- /proof/correctness/NTTAlgebra.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/NTTAlgebra.ec -------------------------------------------------------------------------------- /proof/correctness/NTT_Fq.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/NTT_Fq.ec -------------------------------------------------------------------------------- /proof/correctness/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/README.md -------------------------------------------------------------------------------- /proof/correctness/W16extra.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/W16extra.ec -------------------------------------------------------------------------------- /proof/correctness/W8extra.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/W8extra.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/AVX2Perm.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/AVX2Perm.hs -------------------------------------------------------------------------------- /proof/correctness/avx2/AVX2_Ops.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/AVX2_Ops.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/Array2.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/Array2.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/Fq_avx2.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/Fq_avx2.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/MLKEM_InnerPKE_avx2.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/MLKEM_InnerPKE_avx2.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/MLKEM_KEM_avx2.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/MLKEM_KEM_avx2.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/MLKEM_PolyVec_avx2_vec.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/MLKEM_PolyVec_avx2_vec.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/MLKEM_Poly_avx2_prevec.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/MLKEM_Poly_avx2_prevec.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/MLKEM_Poly_avx2_proof.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/MLKEM_Poly_avx2_proof.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/MLKEM_Poly_avx2_vec.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/MLKEM_Poly_avx2_vec.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/MLKEM_avx2_auxlemmas.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/MLKEM_avx2_auxlemmas.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/MLKEM_avx2_encdec.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/MLKEM_avx2_encdec.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/MLKEM_avx2_equivs.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/MLKEM_avx2_equivs.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/NTT_AVX_Fq.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/NTT_AVX_Fq.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/NTT_AVX_j.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/NTT_AVX_j.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/NTT_avx2.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/NTT_avx2.ec -------------------------------------------------------------------------------- /proof/correctness/avx2/nttpack_unpack_perm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/avx2/nttpack_unpack_perm.py -------------------------------------------------------------------------------- /proof/correctness/barrett.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/barrett.ipynb -------------------------------------------------------------------------------- /proof/correctness/barrett_mlkem_general.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/barrett_mlkem_general.ec -------------------------------------------------------------------------------- /proof/correctness/zetas.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/correctness/zetas.py -------------------------------------------------------------------------------- /proof/eclib/Fastexp.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/eclib/Fastexp.ec -------------------------------------------------------------------------------- /proof/eclib/For.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/eclib/For.ec -------------------------------------------------------------------------------- /proof/eclib/IntDiv_extra.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/eclib/IntDiv_extra.ec -------------------------------------------------------------------------------- /proof/eclib/List_extra.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/eclib/List_extra.ec -------------------------------------------------------------------------------- /proof/security/FLPRG.eca: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/security/FLPRG.eca -------------------------------------------------------------------------------- /proof/security/FO_MLKEM.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/security/FO_MLKEM.ec -------------------------------------------------------------------------------- /proof/security/FO_TT.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/security/FO_TT.ec -------------------------------------------------------------------------------- /proof/security/FO_UU.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/security/FO_UU.ec -------------------------------------------------------------------------------- /proof/security/KEM_ROM.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/security/KEM_ROM.ec -------------------------------------------------------------------------------- /proof/security/MLWE.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/security/MLWE.ec -------------------------------------------------------------------------------- /proof/security/MLWE_PKE.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/security/MLWE_PKE.ec -------------------------------------------------------------------------------- /proof/security/MLWE_PKE_Basic.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/security/MLWE_PKE_Basic.ec -------------------------------------------------------------------------------- /proof/security/MLWE_PKE_Hash.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/security/MLWE_PKE_Hash.ec -------------------------------------------------------------------------------- /proof/security/PKE_ROM.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/security/PKE_ROM.ec -------------------------------------------------------------------------------- /proof/spec/KyberSecurity.ec.deprecated: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/spec/KyberSecurity.ec.deprecated -------------------------------------------------------------------------------- /proof/spec/MLKEMSecurity.ec: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/proof/spec/MLKEMSecurity.ec -------------------------------------------------------------------------------- /scripts/docker/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/scripts/docker/Dockerfile -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/formosa-crypto/formosa-mlkem/HEAD/shell.nix --------------------------------------------------------------------------------