Laurent Feuilloley, Pierre Fraigniaud, Juho Hirvonen, Ami Paz, and Mor Perry.

This paper had a conference version at
DISC 2018.
The journal version is basically the same paper, but with all the
proofs, and with an improved presentation.

I presented both this paper and the paper Local verification of global proofs at DISC 2018 in New Orleans. (That's why there is one set of slides for both.)

I also presented it at the ANR Descartes meeting at IRIF, in March 2018. Ami also presented the paper a couple of times.