Explanation of how using Schnorr signatures, we can achieve an atomic swap of the "scriptless script" style.
This is based on Poelstra's ideas as summarised in https://download.wpsoftware.net/bitcoin/wizardry/mw-slides/2017-05-milan-meetup/slides.pdf ; also see the earlier outline in https://lists.launchpad.net/mimblewimble/msg00086.html.
Note that the details here are just my thoughts, so if you come to this randomly, don't take it as some kind of well established protocol!
We'll use ||
for concatenation and capitals for elliptic curve points and lower case letters for scalars.