Smaller PoRep proofs