My advisor Alessandro Chiesa released a book, together with Eylon Yogev!
It covers *all* there is to know to build SNARGs and STARKs in the (pure) random oracle model, with explicit bounds and parameter-setting guidance.
Available (with source code!) at 🧵