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

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