Sign generates a proof that miner `M` generate message `m` Out: sig - a signature err - a standard error message indicating any process issues In: m - a series of bytes representing a message to be signed .

Verify validates the statement: only `M` could have generated `sig` given the validator has a message `m`, a signature `sig`, and a public key `pk`.