- [ ] Add batch inverse for the evaluations of the Z Polynomial. See: [Plonk prover, L356](https://github.com/lambdaclass/lambdaworks/blob/cffa505af7c0c9f73d938577958be20e6b92676a/provers/plonk/src/prover.rs#L356) - [ ] Add rayon to the more expensive iterators
