Chrisimos：一种用于求解图最小支配集的有用工作量证明
密码学与安全
2023-09-14 v2 数据结构与算法
摘要
比特币区块链中使用的基于哈希的工作量证明（PoW）导致高能耗与资源浪费。本文旨在通过用具有商业效用的现实问题替代哈希函数，重新利用这些能源。我们提出 Chrisimos，一种有用的工作量证明，要求矿工为现实图实例寻找最小支配集。能在区块间隔时间内输出给定图最小支配集的矿工赢得挖矿竞赛。我们还提出一种新的链选择规则以确保方案安全性。因此，我们的协议也实现了针对任意图实例的去中心化最小支配集求解器。我们提供了正确性的形式化证明，并通过实验结果表明区块间隔时间在基于哈希的 PoW 的可行范围内。
引用
@article{arxiv.2308.04407,
title = {Chrisimos: A useful Proof-of-Work for finding Minimal Dominating Set of a graph},
author = {Diptendu Chatterjee and Prabal Banerjee and Subhra Mazumdar},
journal= {arXiv preprint arXiv:2308.04407},
year = {2023}
}
备注
20 pages, 3 figures. An abridged version of the paper got accepted in The International Symposium on Intelligent and Trustworthy Computing, Communications, and Networking (ITCCN-2023) held in conjunction with the 22nd IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom-2023)