We audited the sepc256r1 ecdsa verify in FreshCryptoLib. This repo contains the test files we used to conduct it. - View it on GitHub