使用区块链的可验证制造
密码学与安全
2023-02-28 v1
摘要
我们提出一种基于区块链的解决方案以实现制造过程的可验证性。我们的方案基于可验证计算的方法论,该方法最初为云计算开发,使客户端能够将计算外包给更强大的服务器,而无需信任服务器正确执行了期望的计算。可验证计算通过使客户端生成加密对象来实现这一点,服务器必须使用这些对象来产生验证结果正确性的密码学证明。云计算中服务器的黑箱性质类似于上游制造商制造过程的黑箱性质。在这项工作中,我们建立了物理过程与其作为状态序列的数字表示之间的一一对应,这是实现可验证计算所必需的。由于可验证计算在此情况下的直接应用在计算上难以承受,我们引入区块链以提供应用于物理过程的可验证计算的计算可行方法。我们在Hyperledger Fabric上开发的概念验证中实现了我们的方案并展示了实现结果。
引用
@article{arxiv.2302.13353,
title = {Verifiable Manufacturing Using Blockchain},
author = {Michael Chiu and Jyotiraditya Panda and Abraham Goldsmith and Uros Kalabic},
journal= {arXiv preprint arXiv:2302.13353},
year = {2023}
}