Support EIP 7594 - PeerDAS #28
Description
Motivation
Fusaka fork introduces EIP-7594: PeerDAS - Peer Data Availability Sampling which forces blob originators to update their blob transaction creation. We (ethrex as multi-proof ZK rollup) need to update our blob submittion because of this.
SP1 is one of our zkVM backends and we use kzg-rs for proof of equivalence in our SP1 guest program. To be able to continue supporting SP1 as a prover backend in our stack after Fusaka we'd need for kzg-rs to support this functionallity.
In particular, we'd need an equivalent for c-kzg's compute_cells, compute_cells_and_kzg_proofs, and verify_cell_kzg_proof_batch functions for blob cells computation and verification.