Cryptography
Leader Selection
Dytallix uses a practical stand-in for leader selection randomness instead of a formally standardized PQC verifiable random function. Replacement with a standardized construction remains future work.
Open Research
Some Dytallix protocol components require more research, proof, implementation review, or independent audit evidence.
Cryptography
Timing-Safe Signing
The signing path includes timing-leak controls. It has not completed a formal side-channel review across deployment environments. A constant-time review remains part of the pre-mainnet security track.
Consensus
Signature Compression
PQC signatures are larger than many classical signatures. The current checkpoint-proof compression does not have the efficiency of a true aggregate signature system.
Networking
PQC Handshake
The PQC handshake design follows an established secure pattern. The exact construction has not completed formal verification in symbolic or computational models.
Protocol design
Randomness Beacon
Epoch randomness currently comes from chain activity. A dedicated randomness beacon would improve unpredictability. Its final architecture remains open.