Zero Knowledge Proof for Petri-Nets using the circom language - View it on GitHub