How the most-used zero-knowledge proof system (Groth16) works
blog.zksecurity.xyz