From 8027ccbf380966ed899f263e9334c0940ab61915 Mon Sep 17 00:00:00 2001 From: James Brownlee Date: Wed, 22 Nov 2023 20:18:33 -0500 Subject: [PATCH] removing commented out code --- analysis/rosenpass/oracles.mpv | 14 ++++---------- 1 file changed, 4 insertions(+), 10 deletions(-) diff --git a/analysis/rosenpass/oracles.mpv b/analysis/rosenpass/oracles.mpv index 1a22b41..0825f7a 100644 --- a/analysis/rosenpass/oracles.mpv +++ b/analysis/rosenpass/oracles.mpv @@ -21,16 +21,10 @@ fun biscuit_key(kem_sk) : key [private]. SETUP_KEM_PAIR(sk, pk, setup) \ biscuit_key <- biscuit_key(sk); -// #ifdef CONSTANT_KEYS -// #define SETUP_HANDSHAKE_STATE() \ -// biscuit_key <- biscuit_key(sk); \ -// psk <- setup_key(Spsk); -// #else - #define SETUP_HANDSHAKE_STATE() \ - SETUP_SERVER(biscuit_key, sskm, spkm, Ssskm) \ - psk <- setup_key(Spsk); \ - spkt <- setup_kem_pk(Sspkt); -// #endif +#define SETUP_HANDSHAKE_STATE() \ + SETUP_SERVER(biscuit_key, sskm, spkm, Ssskm) \ + psk <- setup_key(Spsk); \ + spkt <- setup_kem_pk(Sspkt); type seed. fun rng_key(seed) : key.