Related work elsewhere (2012): https://research.swtch.com/qart