Variable

Definition

Merkle Verify (proof, v, MR)

Function to verify whether proof is the existential proof of leaf v with Merkle root MR.

ktagVerify (proof, ktag)

Function to verify whether ktag conforms to existential proof.

(epk, esk)

Key pair for encryption use.

(spk, ssk)

Key pair for signing use.

K

Symmetric key K.

signssk (m)

To sign message m with ssk.

encepk (m)

To encrypt message m with epk.

encK (m)

To encrypt message m with K.

rand (λ)

To generate a randomness of length λ.

H (m)

Collision-resistant hash function with

input m.