I'm glad to share that our book on zero-knowledge protocols now has a full chapter on post-quantum zero-knowledge proving systems with over 100 pages!
It covers lattice-based ฮฃ-protocols, LaBRADOR, and ZK-STARKs, with all the necessary prerequisites included.
Link below ๐