.png){kind=icon}
返回
Efficient Generation of Program Execution Hash
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2022.3181283.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Distributed computing systems often require verifiable computing techniques in case their node is untrusted. To verify a node's computation result, proof-of-work (PoW) is often utilized as a basis of verifiable computing method; however, this mechanism is only valid for computations producing results based on specific algorithm (e.g., AES decryption). To date, there is no efficient PoW mechanism applicable to arbitrary algorithm or a computation that does not produce any tangible output (e.g., void function). This paper proposes execution hash to serve as a proof for a program's idempotent computation result without relying on its algorithm. Two versions of execution hash generation methods were designed and implemented and the efficacy was evaluated in terms of performance and reliability. Implementation was based on LLVM/Clang 6.0 and evaluation was based on open-source software, including GNU binutils/coreutils and Google's OSSFuzz projects.
Keyword:
Codes
Fuzzing
Software
Pins
Instruments
Task analysis
Convergence
Binary
execution hash
proof of work
program trace
verifiable computing
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
Application of Physiologically Based Pharmacokinetic Models for Assessing Drug Disposition in Space
PREAI
分享收藏A Model of Postural Control in Quiet Standing: Robust Compensation of Delay-Induced Instability Using Intermittent Activation of Feedback Control安静站立的姿势控制模型: 使用反馈控制的间歇性激活对延迟引起的不稳定性进行鲁棒补偿.png)
PLoS ONEOAAI
PLoS ONEIF0
OAAI分享收藏
查看更多内容