The MoonMath Manual to zk-SNARKs

The MoonMath Manual is a free-to-download guide, now at version 1.1.7, intended to make zk-SNARKs understandable to readers with minimal cryptography or programming experience. zk-SNARKs, a type of zero-knowledge proof, let one prove correct computation and possession of information without revealing that information, but the text says existing explanations are scattered and hard to follow, which deters developers and can increase security risks. The manual is designed so readers can build a minimal cryptographic stack and compute zk-SNARK internals with pen and paper, completing exercises along the way. The text also says the mathematics covered applies to other zero-knowledge proofs and cryptography more generally.