"book-pflow-xyz/chapters/appendix-d-glossary.md" . . "A zero-knowledge proof system used in pflow for verifying Petri net transitions without revealing state. Produces constant-size proofs with fast verification, at the cost of a per-circuit trusted setup (Chapter 12)."@en . . "Groth16"@en . "12"^^ .