The Bitcoin Red Team spent between $20,000 and $25,000 running AI security scans specifically on the libsecp256k1 cryptographic library