Feedback on ATS, HTLC counterparty risk

[fulldecent]

The cross-chain synchronization feature of ATS is not specified. If the approach is to use a hashed time-locked contract then counterparty exists.

Economic incentive helps to ensure that:

• Sender locks up token on sending chain
• Receiver accepts token on receiving chain

However other outcomes are possible, resulting in unstable total supply or unsynchronized total supply.

Even though ATS says that cross-chain transactions are out of scope of the specification, the requirements it places on cross-chain transactions make them impossible when working with existing cross-chain technology.