The team manually audited the respective files using code analysis and inspection tools to identify sensitive patterns and assess code structure, with a particular focus on the handling and storage of key materials. We also conducted runtime testing on a physical device to validate behavior and identify potential issues during execution. During the manual audit, the Certora team discovered bugs in the code, as listed on the following page.