pub(super) fn sponge_after_index( index: &PlonkVerificationKeyEvals<Fp>, w: &mut Witness<Fp>, ) -> Sponge<Fp>