Function createWitnessEqualityMetaStatement

  • Takes an equality of messages across statements and returns the MetaStatement to be used in the proof.

    Parameters

    • equality: Map<number, [msgNames: string[], msgStructure: any]>

      Map with key as the statement index and value as the message names of that statement that are to be proved equal and the message structure.

    Returns WitnessEqualityMetaStatement