Combining two signature schemes

Keys and signatures are pairs, encodings concatenate, and verification is the conjunction of the two component checks, so the hybrid is unforgeable if at least one component is.

def Cryptlib.Primitives.Sign.Combiner.combineSign (s₁ s₂ : Sign.Signature) : Sign.Signature

Equations

• One or more equations did not get rendered due to their size.