Goal
Before the v1.0.0 stable release, commission an independent security audit of PAP's cryptographic operations, trust model, and protocol invariants.
Scope
Priority areas for audit:
- Ed25519 keypair management — principal, session, and delegation key material
- SD-JWT selective disclosure — IETF draft-08 compliance, disclosure linkage prevention
- Mandate chain verification — recursive scope/TTL bounds cannot be exceeded
- Session DID unlinkability — ephemeral DIDs cannot be correlated to principal
- Receipt co-signature — property-reference-only constraint is enforced
- Federation TOFU TLS pinning — pin lifecycle, rotation, and revocation
- FFI boundary safety — `pap-c` null pointer handling, thread safety
- Progressive decay enforcement — state transitions cannot be reversed
Acceptance Criteria
Goal
Before the v1.0.0 stable release, commission an independent security audit of PAP's cryptographic operations, trust model, and protocol invariants.
Scope
Priority areas for audit:
Acceptance Criteria