This isn't a completely necessary change, but makes the specification more closely match the proof. Using hiding commitments makes the proof easier because you don't need to assume anything about the entropy of elements being committed, even though in practice these elements were all random polynomials, so high enough entropy.
This isn't a completely necessary change, but makes the specification more closely match the proof. Using hiding commitments makes the proof easier because you don't need to assume anything about the entropy of elements being committed, even though in practice these elements were all random polynomials, so high enough entropy.