@Rohit's changes. Separated prover and verifier code using named pipes.