程序执行的可信分布式认证
Trustworthy Distributed Certification of Program Execution
AI总结：
针对程序执行验证缺乏明确证明的问题，提出结合原型编程语言Mona与认证协议OCCP的分布式认证方法，借助区块链管理工作流，减少执行次数以提升认证效率，为程序执行验证提供可信解决方案。
摘要：
验证程序的执行过程复杂，且常受限于无法验证代码正确性。这是科学研究的关键环节，需确保实验结果的可复现性与有效性；在客户软件测试中，客户也难以验证其特定程序版本是否被测试或执行。现有先进解决方案（如基于硬件的方法、约束求解器和可验证计算系统）无法提供明确的执行证明，阻碍了对程序结果的可靠测试与分析。本文提出创新方法，结合名为Mona的原型编程语言与认证协议OCCP，实现程序段的分布式、去中心化重执行。该协议无需简单重执行即可在分布式、不可变且可信的系统中认证程序段，大幅节省时间与计算资源。我们还借鉴该领域其他方法，探索利用区块链技术管理协议工作流。此方法为程序执行验证的挑战提供了有前景的解决方案，为该领域进一步研发创造了机会。研究结果表明，与现有先进方法相比，该方法能有效减少程序执行次数，提升程序执行认证的效率。
英文摘要：
Verifying the execution of a program is complicated and often limited by the inability to validate the code's correctness. It is a crucial aspect of scientific research, where it is needed to ensure the reproducibility and validity of experimental results. Similarly, in customer software testing, it is difficult for customers to verify that their specific program version was tested or executed at all. Existing state-of-the-art solutions, such as hardware-based approaches, constraint solvers, and verifiable computation systems, do not provide definitive proof of execution, which hinders reliable testing and analysis of program results. In this paper, we propose an innovative approach that combines a prototype programming language called Mona with a certification protocol OCCP to enable the distributed and decentralized re-execution of program segments. Our protocol allows for certification of program segments in a distributed, immutable, and trustworthy system without the need for naive re-execution, resulting in significant improvements in terms of time and computational resources used. We also explore the use of blockchain technology to manage the protocol workflow following other approaches in this space. Our approach offers a promising solution to the challenges of program execution verification and opens up opportunities for further research and development in this area. Our findings demonstrate the efficiency of our approach in reducing the number of program executions compared to existing state-of-the-art methods, thus improving the efficiency of certifying program executions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
