[sangfroid]

Hi. I'm the author. Thanks for pointing this out. You were not the only one. We've reworked the attributions paragraph to include all of the institutions that had a hand in this particular work. And we also tried to make it clear that the snarks they worked on were specific to the zcash project.