Prover: Double Spends

Proves that a double spend occurred.

Two valid transaction proofs must be provided.

  1. The input metadata for each transaction proof must be different.
  2. The referenced input metadata (i.e. the spent state element) for each transaction proof must match.