Function createWitnessEqualityMetaStatement

  • createWitnessEqualityMetaStatement(equality): WitnessEqualityMetaStatement

  • 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

Settings

Member Visibility