We don't check consistency with the merkle root for all the evaluations in a share (with multiplicity). The share only contains the merkle path for the first evaluation.
If we consider doing KZG eval batching in the future, we should represent the VID share such that consistency check with the merkle root can be done for all evaluations still.
Discussion of issue here: https://github.com/EspressoSystems/jellyfish/pull/653#issue-2466614905
We don't check consistency with the merkle root for all the evaluations in a share (with multiplicity). The share only contains the merkle path for the first evaluation.
If we consider doing KZG eval batching in the future, we should represent the VID share such that consistency check with the merkle root can be done for all evaluations still.