Instead of passing Cs, ys and zs to the prover, we can create a prover query and verifier query abstraction like in the Rust implementation
Instead of passing Cs, ys and zs to the prover, we can create a prover query and verifier query abstraction like in the Rust implementation