married to polynomial commitment scheme