Using Petri-Nets to Construct Zero Knowledge Proofs | Dark Hacker News