以太坊智能合约中Pietrzak可验证延迟函数的经济高效验证实现研究
密码学与安全
2025-01-23 v5
摘要
可验证延迟函数（VDF）是一种密码学概念，它通过顺序处理确保在输出前有最小延迟，且能抵抗并行计算。Pietrzak提出的VDF协议是学术界评审的重要VDF协议之一。然而，对于区块链环境而言，Pietrzak VDF存在证明体积大和递归协议计算等缺点。在本文中，我们提出了一项关于在以太坊虚拟机（EVM）上进行Pietrzak VDF验证的实现研究。我们发现，Pietrzak原始论文中的讨论有助于在EVM中进行明确的优化，因为EVM中的计算成本被预定义为特定数量的gas。在我们的结果中，VDF验证的成本可以从4M gas降低到2M gas，并且在使用2048位RSA密钥长度时，证明长度可以生成在8 KB以下，这远小于之前的预期。
引用
@article{arxiv.2405.06498,
title = {Implementation Study of Cost-Effective Verification for Pietrzak's Verifiable Delay Function in Ethereum Smart Contracts},
author = {Suhyeon Lee and Euisin Gee and Junghee Lee},
journal= {arXiv preprint arXiv:2405.06498},
year = {2025}
}