Paper: more efficient rational proofs (grant)

Grant to Chaya Ganesh. In collaboration with Rosario Gennaro