---
typeId: req
recordId: benac-enc-020
fields:
  title: Stronger privacy mechanisms require separate requirements
  statement: If Benac supports trusted execution environments, remote attestation,
    secure multiparty computation, homomorphic encryption, or zero-knowledge proof
    packages, the semantics shall be defined by separate requirements and conformance
    tests. Benac shall not imply those guarantees from package import, package
    approval, package trust, encryption support, or ordinary compute support.
  rationale: Stronger privacy mechanisms need explicit semantics and conformance tests
    rather than implied guarantees.
  verification: Conformance tests prove ordinary package import, package approval,
    package trust, encryption support, and ordinary compute support do not imply TEE,
    remote attestation, MPC, FHE, or zero-knowledge proof guarantees.
  testable: true
  status: draft
  area: BENAC-ENC
  sourceDocument: /home/johnb/Downloads/benac_syrs_v0_4_integrated_authentication.md
  sourceVersion: v0.4
  sourceSections:
    - 10.6 Encryption, decryption, and disclosure control
  order: 74
---
