Appendix A: Test Vectors

Draft

Test vectors from ESP32 hardware testing will be added here. Each vector has been verified against the Haskell reference implementation through successful decryption on real hardware.

A.1 X3DH Key Agreement Vectors

TODO: Extract from Session 18 logs

A.2 Header Encryption/Decryption Vectors

TODO: Extract from Session 18 logs

A.3 DH Ratchet Step Vectors

TODO: Extract from Session 19 logs

A.4 Chain KDF Vectors

TODO: Extract from Session 19 logs

A.5 Body Encryption/Decryption Vectors

TODO: Extract from Session 20 logs

A.6 Complete Message Decrypt (All Layers)

TODO: Full trace from raw MSG to plaintext JSON