Design a proof system with which the taker can report to the tracker for a failed swap. The proof system should deterministically prove and identify which maker is the culprit.