@$pb.TagNumber(8) $3.ProofOps get proofOps => $_getN(6);
@$pb.TagNumber(8) set proofOps($3.ProofOps v) { setField(8, v); }