This blog post discusses a novel approach to file integrity verification in a bare-metal no_std Rust kernel, proposing a block-level BLAKE3 implementation that allows for efficient per-read verification by reducing the computational cost associated with whole-file re-hashing. The author shares their experiences in addressing potential issues with in-memory page corruption and invites feedback on specific technical aspects of their method.