Paper: more efficient rational proofs (grant)