Worked on expanding the Risc0 Resource Machine specifications documentation within the anoma/nspec repository, focusing on clarifying VM primitives, the proof system, fields, AES cryptography, and the structure of Resource and Compliance structs in Rust. The approach emphasized aligning technical documentation with the Rust codebase to streamline developer onboarding and facilitate security and compliance reviews. Leveraged expertise in cryptography, system design, and documentation best practices to improve traceability and support future verification efforts. The work consolidated feedback from previous iterations, ensuring the documentation accurately reflected current design decisions and provided a solid foundation for ongoing and upcoming Resource Machine development.