The full paper is https://eprint.iacr.org/2020/014.pdf if anyone is interested