pflow_zk_arkworks/lib.rs
1//! Arkworks-based ZK prover for Petri nets.
2//!
3//! Compiles Petri net topology into R1CS constraints and generates
4//! Groth16 proofs over BN254. Uses Poseidon hash for state commitments.
5
6pub mod circuit;
7pub mod hash;
8pub mod solidity_export;
9
10mod prover;
11
12pub use prover::ArkworksProver;