Contributed to the MystenLabs/seal repository by enhancing the project’s design documentation with a key feature focused on security and auditability. Integrated a reference to the Seal whitepaper, providing a comprehensive technical analysis and formal security proofs directly within the documentation. This work, implemented using Markdown and technical writing skills, improved the clarity and traceability of security requirements, supporting future verification and compliance efforts. The approach emphasized formal security analysis and version control best practices, aligning the documentation with Seal’s security standards. No bugs were addressed during this period, with efforts concentrated on strengthening documentation quality and supporting audit readiness.