October 7, 2025Algebraic Cipher Types: Confidentiality Trade-offs in Type Constructors over Trapdoor Computing