Binding, hiding commitment to a polynomial used to verify evaluations succinctly.