The key breakthrough is to remove the simultaneity requirement (lol, I am the one who fixes Gregory Maxwell's broken CoinJoin in 10 minutes of my spare time while my head is deep in designing a programming language)
And, sadly, the margin of this forum is too small to include the proof.
Should you one day find a margin large enough to contain substantial reviewable work in your lengthy tribulations through the Internet, give us a shout.