Crate pflow_zk_arkworks 

Arkworks-based ZK prover for Petri nets.

Compiles Petri net topology into R1CS constraints and generates Groth16 proofs over BN254. Uses Poseidon hash for state commitments.

Modules

circuit

Petri net transition circuit for R1CS constraint generation.

hash

Poseidon hash gadget for state commitments.

solidity_export

Solidity export: convert arkworks Groth16 verifying keys and proofs into deployable Solidity contracts using BN254 precompiles.

Structs

ArkworksProver

Arkworks-based Groth16 prover for Petri net transitions.