add cshake overrides to top-level functions
@@ -74,7 +74,8 @@ crypto_kem_keypair_ov <- verify_unint "SIKE_P503_crypto_kem_keypair"
let O_kem_enc =
[ randombytes_sike_ov, ephemeralSecretAgreement_A_ov
- , ephemeralKeyGeneration_A_378_ov ];
+ , ephemeralKeyGeneration_A_378_ov, cshake256_simple_enc_ov0
+ , cshake256_simple_enc_ov1, cshake256_simple_enc_ov2 ];
let U_kem_enc =
[ "EphemeralSecretAgreement_A_short" , "EphemeralKeyGeneration_A_short"
@@ -89,8 +90,9 @@ crypto_kem_enc_ov <- verify_unint "SIKE_P503_crypto_kem_enc"
// as issue #103, and has been repaired.
crypto_kem_dec_ov <- custom_verify "SIKE_P503_crypto_kem_dec"
- [ ephemeralSecretAgreement_B_ov,
- ephemeralKeyGeneration_A_378_ov, memcmp_ov_for_kem_dec ]
+ [ ephemeralSecretAgreement_B_ov, cshake256_simple_enc_ov0
+ , cshake256_simple_enc_ov1, cshake256_simple_enc_ov2
+ , ephemeralKeyGeneration_A_378_ov, memcmp_ov_for_kem_dec ]
crypto_kem_dec_spec
(unint_z3
[ "EphemeralSecretAgreement_B_short", "cshake"
