基于哈希证明系统的区块链两方椭圆曲线数字签名算法研究
刘峰, 杨杰, 齐佳音

Two-Party ECDSA for Blockchain Based on Hash Proof Systems
LIU Feng, YANG Jie, QI Jiayin
表1 通用符号定义与说明
符号标记 解释说明
$X$ NP问题的一个实例集合
$L$ 归属$X$的NP语言集合
$W$ 证明给定元素在$L$内的证据集合
$R$ 定义语言$L$的二元关系,$R\subset X\times W$
${{Z}_{q}}$ 整数模$q$的乘法群
$Z_{q}^{*}$ 单位群
${{R}_{DL}}$ 椭圆曲线离散对数知识的功能性函数
$F_{zk-com}^{{{R}_{DL}}}$ 零知识性承诺函数
$F_{zk-proof}^{{{R}_{DL}}}$ 零知识性承诺证明函数
${{R}_{HPS-DL}}$ 基于哈希证明系统的零知识功能函数
$F_{zk}^{{{R}_{HPS-DL}}}$ 零知识性哈希证明函数
$contrac{{t}_{bp}}$ 用于背书备份加密信息的智能合约
$contrac{{t}_{ver}}$ 用于验证共享公钥及签名的智能合约