基于可满足性问题的有用工作量证明共识机制

为减少在公链上基于哈希的工作量证明中无意义计算消耗，合理利用区块链网络算力，创建一个促进可满足性问题（SAT）研究的有用工作社区环境，基于 SAT 问题求解，开发一种有用工作量证明共识机制，通过竞争解决困难 SAT 问题的方法获得区块链中区块构造权，并使各节点间达成共识。实验证明，基于该共识算法的区块链系统性能稳定，且各算法在系统中运行平稳，基于 SAT 求解的工作量证明共识机制有助于解决基于哈希计算工作量证明的无意义消耗问题，更好创造 SAT 问题的研究环境。

Proof-of-useful-work Consensus Mechanism Based on Boolean Satisfiability Problems

In order to alleviate the computational waste involved in hashing-based puzzles on the public blockchain，reasonably and meaningfully utilize the computing power of the blockchain network and create a community environment that facilitates useful work for satisfiablity problem（SAT）problem research，this paper presents a proof-of-useful-work blockchain consensus mechanism based on SAT solving. The consensus mechanism achieves distributed consensus among nodes by competing to solve the random difficult SAT，to obtain the structural rights of the blocks in the blockchain. The blockchain system based on this consensus algorithm can run all algorithms stably，and the blockchain system operates steadily. The proof-of-work consensus mechanism based on solving SAT helps to solve the problem of meaningless of proof-of-work based on hashing-based puzzles，and create a better SAT problem research environment.