Please find below a selection of the articles and posts that helped me to write this series of posts.


First of all, the three key posts written by Vitalik Buterin:


Then, a series of posts that Ariel Gabizon wrote when at zCash:


And then, the B appendix, pag 25, of Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, and Madars Virza 's  "Succinct Non-Interactive Zero Knowledge for a von Neumann Architecture".