Minor clean ups post indexed (#243)
* specify default implementation of zeko_as_prover * Factor out accumulation logic * minor clean-up * implement as prover code for foreign field ops * Remove outdated comment