区块链技术正处于快速发展的状态,被誉为是新的颠覆性技术,许多领域都有关于区块链应用的身影。区块链技术包含许多底层技术,而使用了共识算法来保证分布式系统的区块链网络节点数据的一致性。工作量证明机制是区块链公链上常使用的共识算法,而比特币网络、以太坊网络等加密货币系统常利用竞争哈希函数的计算来完成工作量证明。然而该基于哈希运算的工作量证明存在着依赖大量无意义哈希计算的能源消耗的问题,哈希值大都用过即弃,除了完成工作量证明外,并没有带来更多有意义工作。为了减少上述问题的无意义计算的能源消耗,使得工作量证明的区块链算力可以用于有用的工作研究上,本文结合了有用工作量证明机制的思想,提出了基于可满足性问题的工作量证明,可满足性问题是计算机科学领域中的重要问题,研究可满足性问题的求解方法具有实际应用价值。区块链网络节点通过对给定框架生成的符合工业需求的困难可满足性问题竞争求解来完成工作量证明,从而获得区块的生成权、交易的记账权,且使得网络中的节点可以就区块账本达成共识,保证数据信息的一致性。该机制使得网络中的计算资源的利用变得有意义,对可满足性问题可以进一步完善研究。本文给出了基于可满足性问题的工作量证明机制的网络区块设计、框架设计、矿工节点工作流程等详细设计方案和相关算法,且给出了利用可满足性问题变量数作为网络的难度值来控制该网络中区块的生成速度的研究工作和相关结果,并通过实验测试和结果分析说明了机制的设计方案和相关算法的可行性,还通过了拟真实验来模拟使用该机制的区块链系统节点达成共识的过程说明了矿工节点可以有效达成共识。