├── src ├── Spec.Noise.API.DState.fst ├── Spec.Noise.API.Device.fst ├── Spec.Noise.API.State.fst ├── c │ └── header.h ├── Spec.Noise.Base.fst ├── Spec.Noise.Testing.fst ├── Spec.Noise.API.DState.Lemmas.fsti ├── Spec.Noise.API.Device.Lemmas.fsti ├── Impl.Noise.API.State.fst ├── Spec.Noise.API.State.fsti ├── Spec.Noise.API.Device.fsti ├── Impl.Noise.PatternMessages.fst └── Spec.Noise.API.DState.fsti └── noise-all ├── api-K ├── K_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── K_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── K_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── K_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── K_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── K_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── K_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── K_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-N ├── N_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── N_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── N_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── N_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── N_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── N_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── N_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── N_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-X ├── X_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── X_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── X_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── X_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── X_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── X_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── X_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── X_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-I1K ├── I1K_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── I1K_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── I1K_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── I1K_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── I1K_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── I1K_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── I1K_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── I1K_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-I1N ├── I1N_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── I1N_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── I1N_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── I1N_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── I1N_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── I1N_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── I1N_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── I1N_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-I1X ├── I1X_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── I1X_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── I1X_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── I1X_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── I1X_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── I1X_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── I1X_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── I1X_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-IK ├── IK_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── IK_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── IK_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── IK_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── IK_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── IK_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── IK_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── IK_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-IK1 ├── IK1_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── IK1_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── IK1_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── IK1_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── IK1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── IK1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── IK1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── IK1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-IN ├── IN_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── IN_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── IN_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── IN_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── IN_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── IN_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── IN_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── IN_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-IX ├── IX_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── IX_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── IX_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── IX_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── IX_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── IX_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── IX_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── IX_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-IX1 ├── IX1_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── IX1_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── IX1_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── IX1_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── IX1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── IX1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── IX1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── IX1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-K1K ├── K1K_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── K1K_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── K1K_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── K1K_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── K1K_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── K1K_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── K1K_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── K1K_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-K1N ├── K1N_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── K1N_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── K1N_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── K1N_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── K1N_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── K1N_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── K1N_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── K1N_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-K1X ├── K1X_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── K1X_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── K1X_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── K1X_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── K1X_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── K1X_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── K1X_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── K1X_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-KK ├── KK_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── KK_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── KK_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── KK_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── KK_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── KK_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── KK_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── KK_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-KK1 ├── KK1_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── KK1_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── KK1_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── KK1_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── KK1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── KK1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── KK1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── KK1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-KN ├── KN_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── KN_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── KN_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── KN_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── KN_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── KN_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── KN_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── KN_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-KX ├── KX_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── KX_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── KX_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── KX_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── KX_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── KX_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── KX_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── KX_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-KX1 ├── KX1_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── KX1_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── KX1_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── KX1_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── KX1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── KX1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── KX1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── KX1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-NK ├── NK_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── NK_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── NK_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── NK_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── NK_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── NK_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── NK_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── NK_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-NK1 ├── NK1_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── NK1_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── NK1_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── NK1_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── NK1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── NK1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── NK1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── NK1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-NN ├── NN_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── NN_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── NN_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── NN_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── NN_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── NN_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── NN_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── NN_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-NX ├── NX_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── NX_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── NX_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── NX_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── NX_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── NX_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── NX_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── NX_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-NX1 ├── NX1_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── NX1_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── NX1_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── NX1_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── NX1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── NX1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── NX1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── NX1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-X1K ├── X1K_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── X1K_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── X1K_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── X1K_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── X1K_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── X1K_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── X1K_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── X1K_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-X1N ├── X1N_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── X1N_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── X1N_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── X1N_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── X1N_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── X1N_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── X1N_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── X1N_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-X1X ├── X1X_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── X1X_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── X1X_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── X1X_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── X1X_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── X1X_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── X1X_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── X1X_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-XK ├── XK_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── XK_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── XK_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── XK_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── XK_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── XK_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── XK_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── XK_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-XK1 ├── XK1_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── XK1_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── XK1_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── XK1_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── XK1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── XK1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── XK1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── XK1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-XN ├── XN_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── XN_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── XN_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── XN_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── XN_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── XN_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── XN_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── XN_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-XX ├── XX_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── XX_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── XX_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── XX_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── XX_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── XX_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── XX_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── XX_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-XX1 ├── XX1_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── XX1_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── XX1_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── XX1_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── XX1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── XX1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── XX1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── XX1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-I1K1 ├── I1K1_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── I1K1_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── I1K1_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── I1K1_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── I1K1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include ├── I1K1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── I1K1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include └── I1K1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── api-I1X1 ├── I1X1_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── I1X1_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── I1X1_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── I1X1_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── I1X1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include ├── I1X1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── I1X1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include └── I1X1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── api-IKpsk1 ├── IKpsk1_25519_AESGCM_SHA256 │ └── Makefile ├── IKpsk1_25519_AESGCM_SHA512 │ └── Makefile ├── IKpsk1_25519_AESGCM_BLAKE2b │ └── Makefile ├── IKpsk1_25519_AESGCM_BLAKE2s │ └── Makefile ├── IKpsk1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── IKpsk1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── IKpsk1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── IKpsk1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-IKpsk2 ├── IKpsk2_25519_AESGCM_SHA256 │ └── Makefile ├── IKpsk2_25519_AESGCM_SHA512 │ └── Makefile ├── IKpsk2_25519_AESGCM_BLAKE2b │ └── Makefile ├── IKpsk2_25519_AESGCM_BLAKE2s │ └── Makefile ├── IKpsk2_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── IKpsk2_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── IKpsk2_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── IKpsk2_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-INpsk1 ├── INpsk1_25519_AESGCM_SHA256 │ └── Makefile ├── INpsk1_25519_AESGCM_SHA512 │ └── Makefile ├── INpsk1_25519_AESGCM_BLAKE2b │ └── Makefile ├── INpsk1_25519_AESGCM_BLAKE2s │ └── Makefile ├── INpsk1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── INpsk1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── INpsk1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── INpsk1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-INpsk2 ├── INpsk2_25519_AESGCM_SHA256 │ └── Makefile ├── INpsk2_25519_AESGCM_SHA512 │ └── Makefile ├── INpsk2_25519_AESGCM_BLAKE2b │ └── Makefile ├── INpsk2_25519_AESGCM_BLAKE2s │ └── Makefile ├── INpsk2_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── INpsk2_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── INpsk2_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── INpsk2_25519_ChaChaPoly_SHA512 │ └── Makefile ├── api-IXpsk2 ├── IXpsk2_25519_AESGCM_SHA256 │ └── Makefile ├── IXpsk2_25519_AESGCM_SHA512 │ └── Makefile ├── IXpsk2_25519_AESGCM_BLAKE2b │ └── Makefile ├── IXpsk2_25519_AESGCM_BLAKE2s │ └── Makefile ├── IXpsk2_25519_ChaChaPoly_BLAKE2b │ └── Makefile ├── IXpsk2_25519_ChaChaPoly_BLAKE2s │ └── Makefile ├── IXpsk2_25519_ChaChaPoly_SHA256 │ └── Makefile └── IXpsk2_25519_ChaChaPoly_SHA512 │ └── Makefile ├── api-K1K1 ├── K1K1_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── K1K1_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── K1K1_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── K1K1_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── K1K1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include ├── K1K1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── K1K1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include └── K1K1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── api-K1X1 ├── K1X1_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── K1X1_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── K1X1_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── K1X1_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── K1X1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include ├── K1X1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── K1X1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include └── K1X1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── api-KKpsk0 ├── KKpsk0_25519_AESGCM_SHA256 │ └── Makefile ├── KKpsk0_25519_AESGCM_SHA512 │ └── Makefile ├── KKpsk0_25519_AESGCM_BLAKE2b │ └── Makefile ├── KKpsk0_25519_AESGCM_BLAKE2s │ └── Makefile ├── KKpsk0_25519_ChaChaPoly_BLAKE2b │ └── Makefile ├── KKpsk0_25519_ChaChaPoly_BLAKE2s │ └── Makefile ├── KKpsk0_25519_ChaChaPoly_SHA256 │ └── Makefile └── KKpsk0_25519_ChaChaPoly_SHA512 │ └── Makefile ├── api-KKpsk2 ├── KKpsk2_25519_AESGCM_SHA256 │ └── Makefile ├── KKpsk2_25519_AESGCM_SHA512 │ └── Makefile ├── KKpsk2_25519_AESGCM_BLAKE2b │ └── Makefile ├── KKpsk2_25519_AESGCM_BLAKE2s │ └── Makefile ├── KKpsk2_25519_ChaChaPoly_BLAKE2b │ └── Makefile ├── KKpsk2_25519_ChaChaPoly_BLAKE2s │ └── Makefile ├── KKpsk2_25519_ChaChaPoly_SHA256 │ └── Makefile └── KKpsk2_25519_ChaChaPoly_SHA512 │ └── Makefile ├── api-KNpsk0 ├── KNpsk0_25519_AESGCM_SHA256 │ └── Makefile ├── KNpsk0_25519_AESGCM_SHA512 │ └── Makefile ├── KNpsk0_25519_AESGCM_BLAKE2b │ └── Makefile ├── KNpsk0_25519_AESGCM_BLAKE2s │ └── Makefile ├── KNpsk0_25519_ChaChaPoly_BLAKE2b │ └── Makefile ├── KNpsk0_25519_ChaChaPoly_BLAKE2s │ └── Makefile ├── KNpsk0_25519_ChaChaPoly_SHA256 │ └── Makefile └── KNpsk0_25519_ChaChaPoly_SHA512 │ └── Makefile ├── api-KNpsk2 ├── KNpsk2_25519_AESGCM_SHA256 │ └── Makefile ├── KNpsk2_25519_AESGCM_SHA512 │ └── Makefile ├── KNpsk2_25519_AESGCM_BLAKE2b │ └── Makefile ├── KNpsk2_25519_AESGCM_BLAKE2s │ └── Makefile ├── KNpsk2_25519_ChaChaPoly_BLAKE2b │ └── Makefile ├── KNpsk2_25519_ChaChaPoly_BLAKE2s │ └── Makefile ├── KNpsk2_25519_ChaChaPoly_SHA256 │ └── Makefile └── KNpsk2_25519_ChaChaPoly_SHA512 │ └── Makefile ├── api-KXpsk2 ├── KXpsk2_25519_AESGCM_SHA256 │ └── Makefile ├── KXpsk2_25519_AESGCM_SHA512 │ └── Makefile ├── KXpsk2_25519_AESGCM_BLAKE2b │ └── Makefile ├── KXpsk2_25519_AESGCM_BLAKE2s │ └── Makefile ├── KXpsk2_25519_ChaChaPoly_BLAKE2b │ └── Makefile ├── KXpsk2_25519_ChaChaPoly_BLAKE2s │ └── Makefile ├── KXpsk2_25519_ChaChaPoly_SHA256 │ └── Makefile └── KXpsk2_25519_ChaChaPoly_SHA512 │ └── Makefile ├── api-Kpsk0 ├── Kpsk0_25519_AESGCM_BLAKE2b │ └── Makefile ├── Kpsk0_25519_AESGCM_BLAKE2s │ └── Makefile ├── Kpsk0_25519_AESGCM_SHA256 │ └── Makefile ├── Kpsk0_25519_AESGCM_SHA512 │ └── Makefile ├── Kpsk0_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── Kpsk0_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── Kpsk0_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── Kpsk0_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-NKpsk0 ├── NKpsk0_25519_AESGCM_SHA256 │ └── Makefile ├── NKpsk0_25519_AESGCM_SHA512 │ └── Makefile ├── NKpsk0_25519_AESGCM_BLAKE2b │ └── Makefile ├── NKpsk0_25519_AESGCM_BLAKE2s │ └── Makefile ├── NKpsk0_25519_ChaChaPoly_BLAKE2b │ └── Makefile ├── NKpsk0_25519_ChaChaPoly_BLAKE2s │ └── Makefile ├── NKpsk0_25519_ChaChaPoly_SHA256 │ └── Makefile └── NKpsk0_25519_ChaChaPoly_SHA512 │ └── Makefile ├── api-NKpsk2 ├── NKpsk2_25519_AESGCM_SHA256 │ └── Makefile ├── NKpsk2_25519_AESGCM_SHA512 │ └── Makefile ├── NKpsk2_25519_AESGCM_BLAKE2b │ └── Makefile ├── NKpsk2_25519_AESGCM_BLAKE2s │ └── Makefile ├── NKpsk2_25519_ChaChaPoly_BLAKE2b │ └── Makefile ├── NKpsk2_25519_ChaChaPoly_BLAKE2s │ └── Makefile ├── NKpsk2_25519_ChaChaPoly_SHA256 │ └── Makefile └── NKpsk2_25519_ChaChaPoly_SHA512 │ └── Makefile ├── api-NNpsk0 ├── NNpsk0_25519_AESGCM_SHA256 │ └── Makefile ├── NNpsk0_25519_AESGCM_SHA512 │ └── Makefile ├── NNpsk0_25519_AESGCM_BLAKE2b │ └── Makefile ├── NNpsk0_25519_AESGCM_BLAKE2s │ └── Makefile ├── NNpsk0_25519_ChaChaPoly_BLAKE2b │ └── Makefile ├── NNpsk0_25519_ChaChaPoly_BLAKE2s │ └── Makefile ├── NNpsk0_25519_ChaChaPoly_SHA256 │ └── Makefile └── NNpsk0_25519_ChaChaPoly_SHA512 │ └── Makefile ├── api-NNpsk2 ├── NNpsk2_25519_AESGCM_SHA256 │ └── Makefile ├── NNpsk2_25519_AESGCM_SHA512 │ └── Makefile ├── NNpsk2_25519_AESGCM_BLAKE2b │ └── Makefile ├── NNpsk2_25519_AESGCM_BLAKE2s │ └── Makefile ├── NNpsk2_25519_ChaChaPoly_BLAKE2b │ └── Makefile ├── NNpsk2_25519_ChaChaPoly_BLAKE2s │ └── Makefile ├── NNpsk2_25519_ChaChaPoly_SHA256 │ └── Makefile └── NNpsk2_25519_ChaChaPoly_SHA512 │ └── Makefile ├── api-NXpsk2 ├── NXpsk2_25519_AESGCM_SHA256 │ └── Makefile ├── NXpsk2_25519_AESGCM_SHA512 │ └── Makefile ├── NXpsk2_25519_AESGCM_BLAKE2b │ └── Makefile ├── NXpsk2_25519_AESGCM_BLAKE2s │ └── Makefile ├── NXpsk2_25519_ChaChaPoly_BLAKE2b │ └── Makefile ├── NXpsk2_25519_ChaChaPoly_BLAKE2s │ └── Makefile ├── NXpsk2_25519_ChaChaPoly_SHA256 │ └── Makefile └── NXpsk2_25519_ChaChaPoly_SHA512 │ └── Makefile ├── api-Npsk0 ├── Npsk0_25519_AESGCM_BLAKE2b │ └── Makefile ├── Npsk0_25519_AESGCM_BLAKE2s │ └── Makefile ├── Npsk0_25519_AESGCM_SHA256 │ └── Makefile ├── Npsk0_25519_AESGCM_SHA512 │ └── Makefile ├── Npsk0_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── Npsk0_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── Npsk0_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include └── Npsk0_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── api-X1K1 ├── X1K1_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── X1K1_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── X1K1_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── X1K1_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── X1K1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include ├── X1K1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── X1K1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include └── X1K1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── api-X1X1 ├── X1X1_25519_AESGCM_BLAKE2b │ ├── Makefile │ └── Makefile.include ├── X1X1_25519_AESGCM_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── X1X1_25519_AESGCM_SHA256 │ ├── Makefile │ └── Makefile.include ├── X1X1_25519_AESGCM_SHA512 │ ├── Makefile │ └── Makefile.include ├── X1X1_25519_ChaChaPoly_SHA256 │ ├── Makefile │ └── Makefile.include ├── X1X1_25519_ChaChaPoly_SHA512 │ ├── Makefile │ └── Makefile.include ├── X1X1_25519_ChaChaPoly_BLAKE2b │ ├── Makefile │ └── Makefile.include └── X1X1_25519_ChaChaPoly_BLAKE2s │ ├── Makefile │ └── Makefile.include ├── api-XKpsk3 ├── XKpsk3_25519_AESGCM_SHA256 │ └── Makefile ├── XKpsk3_25519_AESGCM_SHA512 │ └── Makefile ├── XKpsk3_25519_AESGCM_BLAKE2b │ └── Makefile ├── XKpsk3_25519_AESGCM_BLAKE2s │ └── Makefile ├── XKpsk3_25519_ChaChaPoly_BLAKE2b │ └── Makefile ├── XKpsk3_25519_ChaChaPoly_BLAKE2s │ └── Makefile ├── XKpsk3_25519_ChaChaPoly_SHA256 │ └── Makefile └── XKpsk3_25519_ChaChaPoly_SHA512 │ └── Makefile ├── api-XNpsk3 ├── XNpsk3_25519_AESGCM_SHA256 │ └── Makefile ├── XNpsk3_25519_AESGCM_SHA512 │ └── Makefile ├── XNpsk3_25519_AESGCM_BLAKE2b │ └── Makefile ├── XNpsk3_25519_AESGCM_BLAKE2s │ └── Makefile ├── XNpsk3_25519_ChaChaPoly_BLAKE2b │ └── Makefile ├── XNpsk3_25519_ChaChaPoly_BLAKE2s │ └── Makefile ├── XNpsk3_25519_ChaChaPoly_SHA256 │ └── Makefile └── XNpsk3_25519_ChaChaPoly_SHA512 │ └── Makefile ├── api-XXpsk3 ├── XXpsk3_25519_AESGCM_SHA256 │ └── Makefile ├── XXpsk3_25519_AESGCM_SHA512 │ └── Makefile ├── XXpsk3_25519_AESGCM_BLAKE2b │ └── Makefile ├── XXpsk3_25519_AESGCM_BLAKE2s │ └── Makefile ├── XXpsk3_25519_ChaChaPoly_BLAKE2b │ └── Makefile ├── XXpsk3_25519_ChaChaPoly_BLAKE2s │ └── Makefile ├── XXpsk3_25519_ChaChaPoly_SHA256 │ └── Makefile └── XXpsk3_25519_ChaChaPoly_SHA512 │ └── Makefile └── api-Xpsk1 ├── Xpsk1_25519_AESGCM_BLAKE2b └── Makefile ├── Xpsk1_25519_AESGCM_BLAKE2s └── Makefile ├── Xpsk1_25519_AESGCM_SHA256 └── Makefile ├── Xpsk1_25519_AESGCM_SHA512 └── Makefile ├── Xpsk1_25519_ChaChaPoly_BLAKE2b ├── Makefile └── Makefile.include ├── Xpsk1_25519_ChaChaPoly_BLAKE2s ├── Makefile └── Makefile.include ├── Xpsk1_25519_ChaChaPoly_SHA256 ├── Makefile └── Makefile.include └── Xpsk1_25519_ChaChaPoly_SHA512 ├── Makefile └── Makefile.include /src/Spec.Noise.API.DState.fst: -------------------------------------------------------------------------------- 1 | module Spec.Noise.API.DState 2 | -------------------------------------------------------------------------------- /src/Spec.Noise.API.Device.fst: -------------------------------------------------------------------------------- 1 | module Spec.Noise.API.Device 2 | -------------------------------------------------------------------------------- /src/Spec.Noise.API.State.fst: -------------------------------------------------------------------------------- 1 | module Spec.Noise.API.State 2 | -------------------------------------------------------------------------------- /src/c/header.h: -------------------------------------------------------------------------------- 1 | /** This file was automatically generated */ 2 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk1/IKpsk1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk1/IKpsk1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk2/IKpsk2_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk2/IKpsk2_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk1/INpsk1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk1/INpsk1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk2/INpsk2_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk2/INpsk2_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IXpsk2/IXpsk2_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IXpsk2/IXpsk2_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk0/KKpsk0_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk0/KKpsk0_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk2/KKpsk2_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk2/KKpsk2_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk0/KNpsk0_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk0/KNpsk0_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk2/KNpsk2_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk2/KNpsk2_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KXpsk2/KXpsk2_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KXpsk2/KXpsk2_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Kpsk0/Kpsk0_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Kpsk0/Kpsk0_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Kpsk0/Kpsk0_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Kpsk0/Kpsk0_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk0/NKpsk0_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk0/NKpsk0_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk2/NKpsk2_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk2/NKpsk2_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk0/NNpsk0_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk0/NNpsk0_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk2/NNpsk2_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk2/NNpsk2_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NXpsk2/NXpsk2_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NXpsk2/NXpsk2_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Npsk0/Npsk0_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Npsk0/Npsk0_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Npsk0/Npsk0_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Npsk0/Npsk0_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XKpsk3/XKpsk3_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XKpsk3/XKpsk3_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XNpsk3/XNpsk3_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XNpsk3/XNpsk3_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XXpsk3/XXpsk3_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XXpsk3/XXpsk3_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Xpsk1/Xpsk1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Xpsk1/Xpsk1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Xpsk1/Xpsk1_25519_AESGCM_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Xpsk1/Xpsk1_25519_AESGCM_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk1/IKpsk1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk1/IKpsk1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk1/IKpsk1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk1/IKpsk1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk1/IKpsk1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk1/IKpsk1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk2/IKpsk2_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk2/IKpsk2_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk2/IKpsk2_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk2/IKpsk2_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk2/IKpsk2_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk2/IKpsk2_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk1/INpsk1_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk1/INpsk1_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk1/INpsk1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk1/INpsk1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk1/INpsk1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk1/INpsk1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk2/INpsk2_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk2/INpsk2_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk2/INpsk2_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk2/INpsk2_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk2/INpsk2_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-INpsk2/INpsk2_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IXpsk2/IXpsk2_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IXpsk2/IXpsk2_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IXpsk2/IXpsk2_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IXpsk2/IXpsk2_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IXpsk2/IXpsk2_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-IXpsk2/IXpsk2_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk0/KKpsk0_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk0/KKpsk0_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk0/KKpsk0_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk0/KKpsk0_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk0/KKpsk0_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk0/KKpsk0_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk2/KKpsk2_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk2/KKpsk2_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk2/KKpsk2_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk2/KKpsk2_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk2/KKpsk2_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KKpsk2/KKpsk2_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk0/KNpsk0_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk0/KNpsk0_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk0/KNpsk0_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk0/KNpsk0_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk0/KNpsk0_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk0/KNpsk0_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk2/KNpsk2_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk2/KNpsk2_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk2/KNpsk2_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk2/KNpsk2_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk2/KNpsk2_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KNpsk2/KNpsk2_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KXpsk2/KXpsk2_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KXpsk2/KXpsk2_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KXpsk2/KXpsk2_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KXpsk2/KXpsk2_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KXpsk2/KXpsk2_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-KXpsk2/KXpsk2_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Kpsk0/Kpsk0_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Kpsk0/Kpsk0_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Kpsk0/Kpsk0_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Kpsk0/Kpsk0_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk0/NKpsk0_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk0/NKpsk0_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk0/NKpsk0_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk0/NKpsk0_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk0/NKpsk0_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk0/NKpsk0_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk2/NKpsk2_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk2/NKpsk2_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk2/NKpsk2_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk2/NKpsk2_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk2/NKpsk2_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NKpsk2/NKpsk2_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk0/NNpsk0_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk0/NNpsk0_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk0/NNpsk0_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk0/NNpsk0_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk0/NNpsk0_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk0/NNpsk0_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk2/NNpsk2_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk2/NNpsk2_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk2/NNpsk2_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk2/NNpsk2_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk2/NNpsk2_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NNpsk2/NNpsk2_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NXpsk2/NXpsk2_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NXpsk2/NXpsk2_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NXpsk2/NXpsk2_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NXpsk2/NXpsk2_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NXpsk2/NXpsk2_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-NXpsk2/NXpsk2_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Npsk0/Npsk0_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Npsk0/Npsk0_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Npsk0/Npsk0_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Npsk0/Npsk0_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XKpsk3/XKpsk3_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XKpsk3/XKpsk3_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XKpsk3/XKpsk3_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XKpsk3/XKpsk3_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XKpsk3/XKpsk3_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XKpsk3/XKpsk3_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XNpsk3/XNpsk3_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XNpsk3/XNpsk3_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XNpsk3/XNpsk3_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XNpsk3/XNpsk3_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XNpsk3/XNpsk3_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XNpsk3/XNpsk3_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XXpsk3/XXpsk3_25519_AESGCM_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XXpsk3/XXpsk3_25519_AESGCM_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XXpsk3/XXpsk3_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XXpsk3/XXpsk3_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XXpsk3/XXpsk3_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-XXpsk3/XXpsk3_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Xpsk1/Xpsk1_25519_ChaChaPoly_BLAKE2b/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Xpsk1/Xpsk1_25519_ChaChaPoly_BLAKE2s/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Xpsk1/Xpsk1_25519_ChaChaPoly_SHA256/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /noise-all/api-Xpsk1/Xpsk1_25519_ChaChaPoly_SHA512/Makefile: -------------------------------------------------------------------------------- 1 | include Makefile.basic 2 | -------------------------------------------------------------------------------- /src/Spec.Noise.Base.fst: -------------------------------------------------------------------------------- 1 | module Spec.Noise.Base 2 | 3 | include Spec.Noise.Base.Definitions 4 | include Spec.Noise.Base.Lemmas 5 | -------------------------------------------------------------------------------- /src/Spec.Noise.Testing.fst: -------------------------------------------------------------------------------- 1 | module Spec.Noise.Testing 2 | 3 | include Spec.Noise.Testing.Base 4 | include Spec.Noise.Testing.Load 5 | -------------------------------------------------------------------------------- /src/Spec.Noise.API.DState.Lemmas.fsti: -------------------------------------------------------------------------------- 1 | module Spec.Noise.API.DState.Lemmas 2 | 3 | #set-options "--z3rlimit 50 --fuel 0 --ifuel 1" 4 | -------------------------------------------------------------------------------- /src/Spec.Noise.API.Device.Lemmas.fsti: -------------------------------------------------------------------------------- 1 | module Spec.Noise.API.Device.Lemmas 2 | 3 | #set-options "--z3rlimit 50 --fuel 0 --ifuel 1" 4 | -------------------------------------------------------------------------------- /src/Impl.Noise.API.State.fst: -------------------------------------------------------------------------------- 1 | module Impl.Noise.API.State 2 | 3 | include Impl.Noise.API.State.Base 4 | include Impl.Noise.API.State.StateMachine 5 | -------------------------------------------------------------------------------- /src/Spec.Noise.API.State.fsti: -------------------------------------------------------------------------------- 1 | module Spec.Noise.API.State 2 | 3 | include Spec.Noise.API.State.Definitions 4 | include Spec.Noise.API.State.Lemmas 5 | -------------------------------------------------------------------------------- /src/Spec.Noise.API.Device.fsti: -------------------------------------------------------------------------------- 1 | module Spec.Noise.API.Device 2 | 3 | include Spec.Noise.API.Device.Definitions 4 | include Spec.Noise.API.Device.Lemmas 5 | -------------------------------------------------------------------------------- /src/Impl.Noise.PatternMessages.fst: -------------------------------------------------------------------------------- 1 | module Impl.Noise.PatternMessages 2 | 3 | include Impl.Noise.PatternMessages.Definitions 4 | include Impl.Noise.PatternMessages.Tactics 5 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K.c K.c 5 | ALL_H_FILES=Hacl.h Noise_K.h K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K.c K.c 5 | ALL_H_FILES=Hacl.h Noise_K.h K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K.c K.c 5 | ALL_H_FILES=Hacl.h Noise_K.h K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K.c K.c 5 | ALL_H_FILES=Hacl.h Noise_K.h K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_N.c N.c 5 | ALL_H_FILES=Hacl.h Noise_N.h N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_N.c N.c 5 | ALL_H_FILES=Hacl.h Noise_N.h N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_N.c N.c 5 | ALL_H_FILES=Hacl.h Noise_N.h N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_N.c N.c 5 | ALL_H_FILES=Hacl.h Noise_N.h N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X.c X.c 5 | ALL_H_FILES=Hacl.h Noise_X.h X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X.c X.c 5 | ALL_H_FILES=Hacl.h Noise_X.h X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X.c X.c 5 | ALL_H_FILES=Hacl.h Noise_X.h X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X.c X.c 5 | ALL_H_FILES=Hacl.h Noise_X.h X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK.c IK.c 5 | ALL_H_FILES=Hacl.h Noise_IK.h IK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK.c IK.c 5 | ALL_H_FILES=Hacl.h Noise_IK.h IK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK.c IK.c 5 | ALL_H_FILES=Hacl.h Noise_IK.h IK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK.c IK.c 5 | ALL_H_FILES=Hacl.h Noise_IK.h IK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IN.c IN.c 5 | ALL_H_FILES=Hacl.h Noise_IN.h IN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IN.c IN.c 5 | ALL_H_FILES=Hacl.h Noise_IN.h IN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IN.c IN.c 5 | ALL_H_FILES=Hacl.h Noise_IN.h IN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IN.c IN.c 5 | ALL_H_FILES=Hacl.h Noise_IN.h IN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX.c IX.c 5 | ALL_H_FILES=Hacl.h Noise_IX.h IX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX.c IX.c 5 | ALL_H_FILES=Hacl.h Noise_IX.h IX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX.c IX.c 5 | ALL_H_FILES=Hacl.h Noise_IX.h IX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX.c IX.c 5 | ALL_H_FILES=Hacl.h Noise_IX.h IX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K.c K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K.h K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K.c K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K.h K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK.c KK.c 5 | ALL_H_FILES=Hacl.h Noise_KK.h KK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK.c KK.c 5 | ALL_H_FILES=Hacl.h Noise_KK.h KK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK.c KK.c 5 | ALL_H_FILES=Hacl.h Noise_KK.h KK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK.c KK.c 5 | ALL_H_FILES=Hacl.h Noise_KK.h KK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KN.c KN.c 5 | ALL_H_FILES=Hacl.h Noise_KN.h KN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KN.c KN.c 5 | ALL_H_FILES=Hacl.h Noise_KN.h KN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KN.c KN.c 5 | ALL_H_FILES=Hacl.h Noise_KN.h KN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KN.c KN.c 5 | ALL_H_FILES=Hacl.h Noise_KN.h KN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX.c KX.c 5 | ALL_H_FILES=Hacl.h Noise_KX.h KX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX.c KX.c 5 | ALL_H_FILES=Hacl.h Noise_KX.h KX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX.c KX.c 5 | ALL_H_FILES=Hacl.h Noise_KX.h KX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX.c KX.c 5 | ALL_H_FILES=Hacl.h Noise_KX.h KX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_N.c N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_N.h N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_N.c N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_N.h N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK.c NK.c 5 | ALL_H_FILES=Hacl.h Noise_NK.h NK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK.c NK.c 5 | ALL_H_FILES=Hacl.h Noise_NK.h NK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK.c NK.c 5 | ALL_H_FILES=Hacl.h Noise_NK.h NK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK.c NK.c 5 | ALL_H_FILES=Hacl.h Noise_NK.h NK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NN.c NN.c 5 | ALL_H_FILES=Hacl.h Noise_NN.h NN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NN.c NN.c 5 | ALL_H_FILES=Hacl.h Noise_NN.h NN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NN.c NN.c 5 | ALL_H_FILES=Hacl.h Noise_NN.h NN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NN.c NN.c 5 | ALL_H_FILES=Hacl.h Noise_NN.h NN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX.c NX.c 5 | ALL_H_FILES=Hacl.h Noise_NX.h NX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX.c NX.c 5 | ALL_H_FILES=Hacl.h Noise_NX.h NX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX.c NX.c 5 | ALL_H_FILES=Hacl.h Noise_NX.h NX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX.c NX.c 5 | ALL_H_FILES=Hacl.h Noise_NX.h NX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X.c X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X.h X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X.c X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X.h X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK.c XK.c 5 | ALL_H_FILES=Hacl.h Noise_XK.h XK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK.c XK.c 5 | ALL_H_FILES=Hacl.h Noise_XK.h XK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK.c XK.c 5 | ALL_H_FILES=Hacl.h Noise_XK.h XK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK.c XK.c 5 | ALL_H_FILES=Hacl.h Noise_XK.h XK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XN.c XN.c 5 | ALL_H_FILES=Hacl.h Noise_XN.h XN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XN.c XN.c 5 | ALL_H_FILES=Hacl.h Noise_XN.h XN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XN.c XN.c 5 | ALL_H_FILES=Hacl.h Noise_XN.h XN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XN.c XN.c 5 | ALL_H_FILES=Hacl.h Noise_XN.h XN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX.c XX.c 5 | ALL_H_FILES=Hacl.h Noise_XX.h XX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX.c XX.c 5 | ALL_H_FILES=Hacl.h Noise_XX.h XX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX.c XX.c 5 | ALL_H_FILES=Hacl.h Noise_XX.h XX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX.c XX.c 5 | ALL_H_FILES=Hacl.h Noise_XX.h XX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K.c I1K.c 5 | ALL_H_FILES=Hacl.h Noise_I1K.h I1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K.c I1K.c 5 | ALL_H_FILES=Hacl.h Noise_I1K.h I1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K.c I1K.c 5 | ALL_H_FILES=Hacl.h Noise_I1K.h I1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K.c I1K.c 5 | ALL_H_FILES=Hacl.h Noise_I1K.h I1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1N.c I1N.c 5 | ALL_H_FILES=Hacl.h Noise_I1N.h I1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1N.c I1N.c 5 | ALL_H_FILES=Hacl.h Noise_I1N.h I1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1N.c I1N.c 5 | ALL_H_FILES=Hacl.h Noise_I1N.h I1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1N.c I1N.c 5 | ALL_H_FILES=Hacl.h Noise_I1N.h I1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X.c I1X.c 5 | ALL_H_FILES=Hacl.h Noise_I1X.h I1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X.c I1X.c 5 | ALL_H_FILES=Hacl.h Noise_I1X.h I1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X.c I1X.c 5 | ALL_H_FILES=Hacl.h Noise_I1X.h I1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X.c I1X.c 5 | ALL_H_FILES=Hacl.h Noise_I1X.h I1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK1.c IK1.c 5 | ALL_H_FILES=Hacl.h Noise_IK1.h IK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK1.c IK1.c 5 | ALL_H_FILES=Hacl.h Noise_IK1.h IK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK1.c IK1.c 5 | ALL_H_FILES=Hacl.h Noise_IK1.h IK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK1.c IK1.c 5 | ALL_H_FILES=Hacl.h Noise_IK1.h IK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX1.c IX1.c 5 | ALL_H_FILES=Hacl.h Noise_IX1.h IX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX1.c IX1.c 5 | ALL_H_FILES=Hacl.h Noise_IX1.h IX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX1.c IX1.c 5 | ALL_H_FILES=Hacl.h Noise_IX1.h IX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX1.c IX1.c 5 | ALL_H_FILES=Hacl.h Noise_IX1.h IX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K.c K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K.h K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K/K_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K.c K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K.h K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K.c K1K.c 5 | ALL_H_FILES=Hacl.h Noise_K1K.h K1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K.c K1K.c 5 | ALL_H_FILES=Hacl.h Noise_K1K.h K1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K.c K1K.c 5 | ALL_H_FILES=Hacl.h Noise_K1K.h K1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K.c K1K.c 5 | ALL_H_FILES=Hacl.h Noise_K1K.h K1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1N.c K1N.c 5 | ALL_H_FILES=Hacl.h Noise_K1N.h K1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1N.c K1N.c 5 | ALL_H_FILES=Hacl.h Noise_K1N.h K1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1N.c K1N.c 5 | ALL_H_FILES=Hacl.h Noise_K1N.h K1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1N.c K1N.c 5 | ALL_H_FILES=Hacl.h Noise_K1N.h K1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X.c K1X.c 5 | ALL_H_FILES=Hacl.h Noise_K1X.h K1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X.c K1X.c 5 | ALL_H_FILES=Hacl.h Noise_K1X.h K1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X.c K1X.c 5 | ALL_H_FILES=Hacl.h Noise_K1X.h K1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X.c K1X.c 5 | ALL_H_FILES=Hacl.h Noise_K1X.h K1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK1.c KK1.c 5 | ALL_H_FILES=Hacl.h Noise_KK1.h KK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK1.c KK1.c 5 | ALL_H_FILES=Hacl.h Noise_KK1.h KK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK1.c KK1.c 5 | ALL_H_FILES=Hacl.h Noise_KK1.h KK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK1.c KK1.c 5 | ALL_H_FILES=Hacl.h Noise_KK1.h KK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX1.c KX1.c 5 | ALL_H_FILES=Hacl.h Noise_KX1.h KX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX1.c KX1.c 5 | ALL_H_FILES=Hacl.h Noise_KX1.h KX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX1.c KX1.c 5 | ALL_H_FILES=Hacl.h Noise_KX1.h KX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX1.c KX1.c 5 | ALL_H_FILES=Hacl.h Noise_KX1.h KX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_N.c N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_N.h N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-N/N_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_N.c N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_N.h N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK1.c NK1.c 5 | ALL_H_FILES=Hacl.h Noise_NK1.h NK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK1.c NK1.c 5 | ALL_H_FILES=Hacl.h Noise_NK1.h NK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK1.c NK1.c 5 | ALL_H_FILES=Hacl.h Noise_NK1.h NK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK1.c NK1.c 5 | ALL_H_FILES=Hacl.h Noise_NK1.h NK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX1.c NX1.c 5 | ALL_H_FILES=Hacl.h Noise_NX1.h NX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX1.c NX1.c 5 | ALL_H_FILES=Hacl.h Noise_NX1.h NX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX1.c NX1.c 5 | ALL_H_FILES=Hacl.h Noise_NX1.h NX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX1.c NX1.c 5 | ALL_H_FILES=Hacl.h Noise_NX1.h NX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X.c X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X.h X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X/X_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X.c X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X.h X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K.c X1K.c 5 | ALL_H_FILES=Hacl.h Noise_X1K.h X1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K.c X1K.c 5 | ALL_H_FILES=Hacl.h Noise_X1K.h X1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K.c X1K.c 5 | ALL_H_FILES=Hacl.h Noise_X1K.h X1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K.c X1K.c 5 | ALL_H_FILES=Hacl.h Noise_X1K.h X1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1N.c X1N.c 5 | ALL_H_FILES=Hacl.h Noise_X1N.h X1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1N.c X1N.c 5 | ALL_H_FILES=Hacl.h Noise_X1N.h X1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1N.c X1N.c 5 | ALL_H_FILES=Hacl.h Noise_X1N.h X1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1N.c X1N.c 5 | ALL_H_FILES=Hacl.h Noise_X1N.h X1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X.c X1X.c 5 | ALL_H_FILES=Hacl.h Noise_X1X.h X1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X.c X1X.c 5 | ALL_H_FILES=Hacl.h Noise_X1X.h X1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X.c X1X.c 5 | ALL_H_FILES=Hacl.h Noise_X1X.h X1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X.c X1X.c 5 | ALL_H_FILES=Hacl.h Noise_X1X.h X1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK1.c XK1.c 5 | ALL_H_FILES=Hacl.h Noise_XK1.h XK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK1.c XK1.c 5 | ALL_H_FILES=Hacl.h Noise_XK1.h XK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK1.c XK1.c 5 | ALL_H_FILES=Hacl.h Noise_XK1.h XK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK1.c XK1.c 5 | ALL_H_FILES=Hacl.h Noise_XK1.h XK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX1.c XX1.c 5 | ALL_H_FILES=Hacl.h Noise_XX1.h XX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX1.c XX1.c 5 | ALL_H_FILES=Hacl.h Noise_XX1.h XX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX1.c XX1.c 5 | ALL_H_FILES=Hacl.h Noise_XX1.h XX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX1.c XX1.c 5 | ALL_H_FILES=Hacl.h Noise_XX1.h XX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K1.c I1K1.c 5 | ALL_H_FILES=Hacl.h Noise_I1K1.h I1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K1.c I1K1.c 5 | ALL_H_FILES=Hacl.h Noise_I1K1.h I1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X1.c I1X1.c 5 | ALL_H_FILES=Hacl.h Noise_I1X1.h I1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X1.c I1X1.c 5 | ALL_H_FILES=Hacl.h Noise_I1X1.h I1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK.c IK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IK.h IK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK.c IK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IK.h IK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK.c IK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IK.h IK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK/IK_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK.c IK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IK.h IK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IN.c IN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IN.h IN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IN.c IN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IN.h IN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IN.c IN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IN.h IN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IN/IN_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IN.c IN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IN.h IN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX.c IX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IX.h IX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX.c IX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IX.h IX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX.c IX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IX.h IX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX/IX_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX.c IX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IX.h IX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K1.c K1K1.c 5 | ALL_H_FILES=Hacl.h Noise_K1K1.h K1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K1.c K1K1.c 5 | ALL_H_FILES=Hacl.h Noise_K1K1.h K1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X1.c K1X1.c 5 | ALL_H_FILES=Hacl.h Noise_K1X1.h K1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X1.c K1X1.c 5 | ALL_H_FILES=Hacl.h Noise_K1X1.h K1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK.c KK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KK.h KK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK.c KK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KK.h KK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK.c KK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KK.h KK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK/KK_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK.c KK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KK.h KK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KN.c KN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KN.h KN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KN.c KN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KN.h KN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KN.c KN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KN.h KN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KN/KN_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KN.c KN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KN.h KN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX.c KX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KX.h KX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX.c KX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KX.h KX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX.c KX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KX.h KX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX/KX_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX.c KX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KX.h KX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK.c NK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NK.h NK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK.c NK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NK.h NK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK.c NK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NK.h NK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK/NK_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK.c NK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NK.h NK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NN.c NN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NN.h NN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NN.c NN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NN.h NN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NN.c NN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NN.h NN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NN/NN_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NN.c NN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NN.h NN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX.c NX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NX.h NX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX.c NX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NX.h NX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX.c NX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NX.h NX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX/NX_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX.c NX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NX.h NX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K1.c X1K1.c 5 | ALL_H_FILES=Hacl.h Noise_X1K1.h X1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K1.c X1K1.c 5 | ALL_H_FILES=Hacl.h Noise_X1K1.h X1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X1.c X1X1.c 5 | ALL_H_FILES=Hacl.h Noise_X1X1.h X1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X1.c X1X1.c 5 | ALL_H_FILES=Hacl.h Noise_X1X1.h X1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK.c XK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XK.h XK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK.c XK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XK.h XK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK.c XK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XK.h XK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK/XK_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK.c XK.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XK.h XK.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XN.c XN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XN.h XN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XN.c XN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XN.h XN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XN.c XN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XN.h XN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XN/XN_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XN.c XN.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XN.h XN.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX.c XX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XX.h XX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX.c XX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XX.h XX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX.c XX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XX.h XX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX/XX_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX.c XX.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XX.h XX.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K.c I1K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1K.h I1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K.c I1K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1K.h I1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K.c I1K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1K.h I1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K/I1K_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K.c I1K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1K.h I1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K1.c I1K1.c 5 | ALL_H_FILES=Hacl.h Noise_I1K1.h I1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K1.c I1K1.c 5 | ALL_H_FILES=Hacl.h Noise_I1K1.h I1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1N.c I1N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1N.h I1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1N.c I1N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1N.h I1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1N.c I1N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1N.h I1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1N/I1N_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1N.c I1N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1N.h I1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X.c I1X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1X.h I1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X.c I1X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1X.h I1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X.c I1X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1X.h I1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X/I1X_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X.c I1X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1X.h I1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X1.c I1X1.c 5 | ALL_H_FILES=Hacl.h Noise_I1X1.h I1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X1.c I1X1.c 5 | ALL_H_FILES=Hacl.h Noise_I1X1.h I1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK1.c IK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IK1.h IK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK1.c IK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IK1.h IK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK1.c IK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IK1.h IK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IK1/IK1_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IK1.c IK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IK1.h IK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX1.c IX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IX1.h IX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX1.c IX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IX1.h IX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX1.c IX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IX1.h IX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IX1/IX1_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IX1.c IX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_IX1.h IX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K.c K1K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1K.h K1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K.c K1K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1K.h K1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K.c K1K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1K.h K1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K/K1K_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K.c K1K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1K.h K1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K1.c K1K1.c 5 | ALL_H_FILES=Hacl.h Noise_K1K1.h K1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K1.c K1K1.c 5 | ALL_H_FILES=Hacl.h Noise_K1K1.h K1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1N.c K1N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1N.h K1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1N.c K1N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1N.h K1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1N.c K1N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1N.h K1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1N/K1N_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1N.c K1N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1N.h K1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X.c K1X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1X.h K1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X.c K1X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1X.h K1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X.c K1X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1X.h K1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X/K1X_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X.c K1X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1X.h K1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X1.c K1X1.c 5 | ALL_H_FILES=Hacl.h Noise_K1X1.h K1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X1.c K1X1.c 5 | ALL_H_FILES=Hacl.h Noise_K1X1.h K1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK1.c KK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KK1.h KK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK1.c KK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KK1.h KK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK1.c KK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KK1.h KK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KK1/KK1_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KK1.c KK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KK1.h KK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX1.c KX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KX1.h KX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX1.c KX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KX1.h KX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX1.c KX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KX1.h KX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-KX1/KX1_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_KX1.c KX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_KX1.h KX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK1.c NK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NK1.h NK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK1.c NK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NK1.h NK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK1.c NK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NK1.h NK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NK1/NK1_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NK1.c NK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NK1.h NK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX1.c NX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NX1.h NX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX1.c NX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NX1.h NX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX1.c NX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NX1.h NX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-NX1/NX1_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_NX1.c NX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_NX1.h NX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K.c X1K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1K.h X1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K.c X1K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1K.h X1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K.c X1K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1K.h X1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K/X1K_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K.c X1K.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1K.h X1K.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K1.c X1K1.c 5 | ALL_H_FILES=Hacl.h Noise_X1K1.h X1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K1.c X1K1.c 5 | ALL_H_FILES=Hacl.h Noise_X1K1.h X1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1N.c X1N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1N.h X1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1N.c X1N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1N.h X1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1N.c X1N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1N.h X1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1N/X1N_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1N.c X1N.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1N.h X1N.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X.c X1X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1X.h X1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X.c X1X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1X.h X1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X.c X1X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1X.h X1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X/X1X_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X.c X1X.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1X.h X1X.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X1.c X1X1.c 5 | ALL_H_FILES=Hacl.h Noise_X1X1.h X1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X1.c X1X1.c 5 | ALL_H_FILES=Hacl.h Noise_X1X1.h X1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK1.c XK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XK1.h XK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK1.c XK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XK1.h XK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK1.c XK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XK1.h XK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XK1/XK1_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XK1.c XK1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XK1.h XK1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX1.c XX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XX1.h XX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX1.c XX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XX1.h XX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX1.c XX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XX1.h XX1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-XX1/XX1_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_XX1.c XX1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_XX1.h XX1.h 6 | -------------------------------------------------------------------------------- /src/Spec.Noise.API.DState.fsti: -------------------------------------------------------------------------------- 1 | module Spec.Noise.API.DState 2 | 3 | #set-options "--z3rlimit 50 --fuel 0 --ifuel 1" 4 | 5 | include Spec.Noise.API.DState.Definitions 6 | include Spec.Noise.API.DState.Lemmas 7 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K1.c I1K1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1K1.h I1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K1.c I1K1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1K1.h I1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K1.c I1K1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1K1.h I1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1K1/I1K1_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1K1.c I1K1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1K1.h I1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X1.c I1X1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1X1.h I1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X1.c I1X1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1X1.h I1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X1.c I1X1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1X1.h I1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-I1X1/I1X1_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_I1X1.c I1X1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_I1X1.h I1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K1.c K1K1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1K1.h K1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K1.c K1K1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1K1.h K1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K1.c K1K1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1K1.h K1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1K1/K1K1_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1K1.c K1K1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1K1.h K1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X1.c K1X1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1X1.h K1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X1.c K1X1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1X1.h K1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X1.c K1X1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1X1.h K1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-K1X1/K1X1_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_K1X1.c K1X1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_K1X1.h K1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-Kpsk0/Kpsk0_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_Kpsk0.c Kpsk0.c 5 | ALL_H_FILES=Hacl.h Noise_Kpsk0.h Kpsk0.h 6 | -------------------------------------------------------------------------------- /noise-all/api-Kpsk0/Kpsk0_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_Kpsk0.c Kpsk0.c 5 | ALL_H_FILES=Hacl.h Noise_Kpsk0.h Kpsk0.h 6 | -------------------------------------------------------------------------------- /noise-all/api-Kpsk0/Kpsk0_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_Kpsk0.c Kpsk0.c 5 | ALL_H_FILES=Hacl.h Noise_Kpsk0.h Kpsk0.h 6 | -------------------------------------------------------------------------------- /noise-all/api-Kpsk0/Kpsk0_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_Kpsk0.c Kpsk0.c 5 | ALL_H_FILES=Hacl.h Noise_Kpsk0.h Kpsk0.h 6 | -------------------------------------------------------------------------------- /noise-all/api-Npsk0/Npsk0_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_Npsk0.c Npsk0.c 5 | ALL_H_FILES=Hacl.h Noise_Npsk0.h Npsk0.h 6 | -------------------------------------------------------------------------------- /noise-all/api-Npsk0/Npsk0_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_Npsk0.c Npsk0.c 5 | ALL_H_FILES=Hacl.h Noise_Npsk0.h Npsk0.h 6 | -------------------------------------------------------------------------------- /noise-all/api-Npsk0/Npsk0_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_Npsk0.c Npsk0.c 5 | ALL_H_FILES=Hacl.h Noise_Npsk0.h Npsk0.h 6 | -------------------------------------------------------------------------------- /noise-all/api-Npsk0/Npsk0_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_Npsk0.c Npsk0.c 5 | ALL_H_FILES=Hacl.h Noise_Npsk0.h Npsk0.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K1.c X1K1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1K1.h X1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K1.c X1K1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1K1.h X1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K1.c X1K1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1K1.h X1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1K1/X1K1_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1K1.c X1K1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1K1.h X1K1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_AESGCM_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X1.c X1X1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1X1.h X1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_AESGCM_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X1.c X1X1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1X1.h X1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_AESGCM_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X1.c X1X1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1X1.h X1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-X1X1/X1X1_25519_AESGCM_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_X1X1.c X1X1.c 5 | ALL_H_FILES=EverCrypt.h Hacl.h Noise_X1X1.h X1X1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-Xpsk1/Xpsk1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_Xpsk1.c Xpsk1.c 5 | ALL_H_FILES=Hacl.h Noise_Xpsk1.h Xpsk1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-Xpsk1/Xpsk1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_Xpsk1.c Xpsk1.c 5 | ALL_H_FILES=Hacl.h Noise_Xpsk1.h Xpsk1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-Xpsk1/Xpsk1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_Xpsk1.c Xpsk1.c 5 | ALL_H_FILES=Hacl.h Noise_Xpsk1.h Xpsk1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-Xpsk1/Xpsk1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_Xpsk1.c Xpsk1.c 5 | ALL_H_FILES=Hacl.h Noise_Xpsk1.h Xpsk1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk1/IKpsk1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IKpsk1.c IKpsk1.c 5 | ALL_H_FILES=Hacl.h Noise_IKpsk1.h IKpsk1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk1/IKpsk1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IKpsk1.c IKpsk1.c 5 | ALL_H_FILES=Hacl.h Noise_IKpsk1.h IKpsk1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk1/IKpsk1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IKpsk1.c IKpsk1.c 5 | ALL_H_FILES=Hacl.h Noise_IKpsk1.h IKpsk1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk1/IKpsk1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IKpsk1.c IKpsk1.c 5 | ALL_H_FILES=Hacl.h Noise_IKpsk1.h IKpsk1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk2/IKpsk2_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IKpsk2.c IKpsk2.c 5 | ALL_H_FILES=Hacl.h Noise_IKpsk2.h IKpsk2.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk2/IKpsk2_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IKpsk2.c IKpsk2.c 5 | ALL_H_FILES=Hacl.h Noise_IKpsk2.h IKpsk2.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk2/IKpsk2_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IKpsk2.c IKpsk2.c 5 | ALL_H_FILES=Hacl.h Noise_IKpsk2.h IKpsk2.h 6 | -------------------------------------------------------------------------------- /noise-all/api-IKpsk2/IKpsk2_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_IKpsk2.c IKpsk2.c 5 | ALL_H_FILES=Hacl.h Noise_IKpsk2.h IKpsk2.h 6 | -------------------------------------------------------------------------------- /noise-all/api-INpsk1/INpsk1_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_INpsk1.c INpsk1.c 5 | ALL_H_FILES=Hacl.h Noise_INpsk1.h INpsk1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-INpsk1/INpsk1_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_INpsk1.c INpsk1.c 5 | ALL_H_FILES=Hacl.h Noise_INpsk1.h INpsk1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-INpsk1/INpsk1_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_INpsk1.c INpsk1.c 5 | ALL_H_FILES=Hacl.h Noise_INpsk1.h INpsk1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-INpsk1/INpsk1_25519_ChaChaPoly_SHA512/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_INpsk1.c INpsk1.c 5 | ALL_H_FILES=Hacl.h Noise_INpsk1.h INpsk1.h 6 | -------------------------------------------------------------------------------- /noise-all/api-INpsk2/INpsk2_25519_ChaChaPoly_BLAKE2b/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_INpsk2.c INpsk2.c 5 | ALL_H_FILES=Hacl.h Noise_INpsk2.h INpsk2.h 6 | -------------------------------------------------------------------------------- /noise-all/api-INpsk2/INpsk2_25519_ChaChaPoly_BLAKE2s/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_INpsk2.c INpsk2.c 5 | ALL_H_FILES=Hacl.h Noise_INpsk2.h INpsk2.h 6 | -------------------------------------------------------------------------------- /noise-all/api-INpsk2/INpsk2_25519_ChaChaPoly_SHA256/Makefile.include: -------------------------------------------------------------------------------- 1 | USER_TARGET=libnoiseapi.a 2 | USER_CFLAGS= 3 | USER_C_FILES= 4 | ALL_C_FILES=Noise_INpsk2.c INpsk2.c 5 | ALL_H_FILES=Hacl.h Noise_INpsk2.h INpsk2.h 6 | --------------------------------------------------------------------------------