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

• 作者: 唐屹 萧梓健
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 共识机制 区块链 可满足性问题 有用工作量证明
• 年，卷（期）: 2020,（8）
• 所属期刊栏目: 计算机软件与理论
• 页码范围: 72-75
• 页数: 4页
• 分类号: TP301
• 字数: 3082字
• 语种: 中文
• DOI: 10.11907/rjdk.201569

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	唐屹	广州大学数学与信息科学学院	45	160	6.0	10.0
5	萧梓健	广州大学数学与信息科学学院	1	0	0.0	0.0