Titan: Efficient Polynomial Commitments from IOPs over GroupsChethan KamathRavi Prakashet al.2026CCS 2026Conference paper