def msg0 : Plaintext 4

Equations

• msg0 = ⟨[true, false, true, true], msg0._proof_1⟩

def key0 : Key 4

Equations

• key0 = ⟨[false, true, false, true], key0._proof_1⟩

def key1 : Key 4

Equations

• key1 = ⟨[true, true, false, false], key1._proof_1⟩

def msg_10 : Plaintext 2

Equations

• msg_10 = ⟨[true, false], msg_10._proof_1⟩

def msg1 : Plaintext 4

Equations

• msg1 = ⟨[true, false, true, false], msg1._proof_1⟩

def msg2 : Plaintext 4

Equations

• msg2 = ⟨[false, true, false, true], msg2._proof_1⟩

def shared_key : Key 4

Equations

• shared_key = ⟨[true, true, false, false], key1._proof_1⟩

def c1 : Ciphertext 4

Equations

• c1 = encrypt msg1 shared_key

def c2 : Ciphertext 4

Equations

• c2 = encrypt msg2 shared_key