I wish the Apple Secure Enclave had an implementation of EEC secp256k1 🤓. Interesting version of the seL4 Microkernel. Regarding the manufacturing supply chain, the Apple Secure Enclave chip is not publicly disclosed by Apple. This component, in particular, is probably not made in China. https://support.apple.com/en-gb/guide/security/sec59b0b31ff/web