用于金融流程认证的受治区块链优化

我们提出对受治区块链（governed blockchains）的正式研究，此类区块链由组织拥有和控制，既不创建加密货币，也不向密码学谜题的求解者提供任何激励。我们将此类方法视为框架，其中系统部件（如密码学谜题）可用不同技术实例化。此类区块链的所有者将谜题求解者作为其所控制的资源来采购，并使用数学模型计算密码学谜题机制或区块链其他部分的最优参数。我们通过一个用例阐释该方法：区块链记录金融流程交易的哈希值以提升其自身及审计的可信度。对于作为密码学谜题的工作量证明（Proof of Work），我们开发了详细的数学模型，以推导 MINLP 优化问题，用于计算最优工作量证明配置参数，在该受治设定下权衡可用性、弹性、安全性与成本等潜在冲突方面。我们通过求解该问题的若干实例展示了此种挖矿演算的效用。统计实验证实了构建数学模型所用随机变量的有效性，从而加强了该实验验证。我们希望我们的工作能促进领域特定区块链的创建，以广泛应用于如物联网系统中的可信信息以及传统金融服务的定制改进等场景。