secp256k1 used with the BitBox01 (see branch) - View it on GitHub