Support for both the computation as well as the verification of cell-based proofs in the context of EIP-7594 (PeerDAS), thanks a lot to @n8wb for the generous code contribution! ❤️
Main work being done in PR #20, some follow-up PRs for optimizations and adjustments.
