The author has open-sourced Nona, a zero-heap cryptographic engine designed for AWS Nitro Enclaves, built using Rust and verified with 122 Verus proofs. Despite the author's background in facilities engineering and software QA, they utilized LLMs to ensure the code met specifications. They seek feedback from the Rust community on the architecture and setup.