It would be very useful to produce a table that lists in the rows all the different pieces of information, and in column, who learns that information. Not only this would help the comprehension when reading the text, it would also help understanding right away why an attester cannot collude with an issuer or an origin, since basically all the rows would have checkboxes, i.e., a collusion of an attester and an origin would enable to learn most of the pieces of information. It would help for example with Section 9.4.
It would be very useful to produce a table that lists in the rows all the different pieces of information, and in column, who learns that information. Not only this would help the comprehension when reading the text, it would also help understanding right away why an attester cannot collude with an issuer or an origin, since basically all the rows would have checkboxes, i.e., a collusion of an attester and an origin would enable to learn most of the pieces of information. It would help for example with Section 9.4.