During Negotiation, communicating peers (target and relying party) can mutually determine an attestation protocol where said protocol satisfies the target's need for constrained disclosure and the appraiser's desire for comphrehsive information.
The doc folder houses all musing and papers related to negotiation. This includes a pdf of our latest publication attempt at NFM2023.
The src folder is comprised of all formal models surrounding negotiation.