secp256k1-scalar-fv-test. Formal Verification of secp256k1 modular scalar multiplication
bitcoin-rpc-errors. Parse errors returned by bitcoin core's rpc interface
