LFDT-Nightstream
Explained projects
Security & Supply Chain
Nightstream: The Post-Quantum zkVM That Folds an Infinite Stream
A lattice-based proving system for coroutine-style execution, where CCS, Ajtai commitments, and recursive IVC turn long-running computation into something you can keep proving without abandoning post-quantum security.
Security & Supply Chain
Nightstream: The Post-Quantum zkVM Built Like a Proof, Not a Guess
A lattice-based folding machine in Lean and Rust that turns recursive proving, memory consistency, and future-proof security into one research prototype.