单查询可验证顺序工作证明
密码学与安全
2022-05-27 v2
摘要
我们提出一种顺序工作证明（PoSW），其可对每个随机挑战仅以对随机预言机的单次查询完成验证。顺序工作证明是使验证者高效验证证明者是否按顺序执行了指定数量计算的协议。以N表示此顺序计算数量，具有poly(N)并行度的证明者须耗费顺序时间，而验证者使用至多O(log N)并行度在O(log N)顺序时间内验证计算。我们提出一种PoSW，允许任何验证者（即便无并行者）仅通过对单一挑战的单一顺序计算验证。所有现有PoSW [10, 5, 2, 6]要求证明者针对N轮查询从随机预言机计算一串响应。随后证明者用PoSW中预定义的承诺方案（如Merkle根（类）承诺）承诺此序列。验证者随即要求证明者针对计算序列中t个随机选定检查点（称挑战）提供一组证明。验证者从各证明中以对预言机O(log N)轮查询找出承诺。仅当验证者拥有O(log N)并行度 [6]时可减至单轮查询。我们的PoSW中验证者无需并行，但对各t挑战使用对随机预言机的单查询验证。关键观察在于，先前工作的承诺方案本身验证即需O(log N)次预言机查询。
引用
@article{arxiv.2202.10295,
title = {Single-Query Verifiable Proof-of-Sequential-Work},
author = {Souvik Sur},
journal= {arXiv preprint arXiv:2202.10295},
year = {2022}
}