secp256k1 (new formula)

New formula for secp256k1, an experimental curves library from Bitcoin.