Formal Protocol Security vs OPAQUE for Secure Analytics (2026)