Researchers Apply Formal Analysis to the Payment Protocols Agents Use to Spend Money · Polylog