Full construction details for the AAC architecture: receipt format, predicate-to-circuit mapping, in-circuit verification steps, proof-system choice, hash-based commitments, and PQC hybrid signature compatibility. Plus a survey of related work in privacy-preserving authorization across the IETF and IRTF ecosystem.Technical companion to Paper #3 of the Non-Human Identity Series.
Mohamad Amin Hasbini (Tue,) studied this question.