挖矿的具体程序如下：
交易收集
矿工首先从网络中收集待确认的交易，并将其打包成一个交易列表。
计算哈希值
矿工使用特定的算法（如SHA256）对交易列表进行计算，生成一个哈希值。这个哈希值必须满足一定的难度要求，通常是由网络中的难度目标决定的。
调整随机数
如果计算出的哈希值不满足难度要求，矿工就会调整随机数（称为“nonce”），重新进行计算。这个过程会不断重复，直到找到一个满足要求的哈希值为止。
创建新区块
一旦找到一个有效的哈希值，矿工就可以创建一个新的区块，并将其广播到网络中。新区块中包含了之前的交易列表、一个指向前一个区块的指针以及其他一些元数据。
验证与确认
其他节点收到新区块后，会对其进行验证。验证的过程包括检查区块的哈希值是否正确、交易是否合法等。如果通过验证，节点就会将新区块添加到自己的区块链副本中，并继续进行挖矿。
总结起来，挖矿的过程就是矿工通过大量计算来找到一个满足特定条件的哈希值，并将这个哈希值打包成一个新的区块，然后广播到网络中，由其他节点进行验证和确认。这个过程需要大量的计算能力和电力，因为要解决的数学难题非常复杂，需要大量的计算资源来完成。