High-Dimensional
Verifiable Credentials
ML-DSA-65 • Dual H3 + attribute Merkle trees • Selective disclosure
Rust no_std core
ML-DSA-65 • Dual H3 + attribute Merkle trees • Selective disclosure
Rust no_std core
Flat attribute tree + H3 spatial tree under one ML-DSA-65 signature
ML-DSA-65 deterministic mode on embedded from day one
Reveal only what the verifier needs — everything else stays hidden
<200 ms verification on Cortex-M4, 118 KB binary
Paste a presentation (CBOR hex) → verified instantly by real Rust (exqub-core via WASM)