How the most-used zero-knowledge proof system (Groth16) works | Hacker News Reader