VEKOS is a Rust-based experimental operating system that focuses on runtime verification and security. Every filesystem operation and memory allocation generates cryptographic proofs that can be verified in real-time, ensuring system integrity even in compromised hardware. The blockchain of system operations.