xPerp: trading calls with receipts