Reference code is interactive and runs prover and verifier together

The README states that prover and verifier work "are implemented side-by-side", and that intermediate values written to files are for the prover's reference only. It says an industrial deployment would need to separate the two and apply Fiat–Shamir to make proofs non-interactive ². The released code gives a verifier no standalone check.