DisjunctiveProof typedef

DisjunctiveProof = List<SigmaProof>

A disjunctive proof that a ciphertext encrypts one value of a public list: one (c, z) per value, in the list's order (CONVENTIONS §9.3).

Implementation

typedef DisjunctiveProof = List<SigmaProof>;