Haetae Security API

Side-channel claim limit. Nothing on this page claims constant-time behaviour or side-channel resistance for any target: the side-channel harness covers nothing (finding A48) and no measurement exists. The Rust and C cores are designed for constant time and unmeasured; managed runtimes (JIT, GC, bounds checks) make no timing claim. Where this page names constant-time or side-channel techniques, in prose or in code, they are design intent or recommendations, not measured properties.

Version: 1.0.0
Last Updated: 2025-01-02
Security Classification: Korean PQC Signature
Author: MetaMUI Security Team

Overview

Haetae is a Korean lattice-based digital signature scheme with compact signatures and efficient verification.

Security Warnings ⚠️

  1. Compact Signatures: Smaller than ML-DSA
  2. Efficiency: Optimized for verification speed
  3. Korean Standard: Regional standardization
  4. Lattice-based: Based on module-SIS problem

API Functions

Similar structure to ML-DSA with Korean-specific optimizations.

Security Analysis

Threat Model: Haetae Threat Model

The comprehensive threat analysis covers:

For complete security analysis and risk assessment, see the dedicated threat model documentation.

References

  1. Haetae Specification
  2. Korean PQC Standardization

Back to Algorithm Security APIs