add link to schema in proofs rfc