基于哈希证明系统的区块链两方椭圆曲线数字签名算法研究

Loading [MathJax]/jax/output/HTML-CSS/jax.js

基于哈希证明系统的区块链两方椭圆曲线数字签名算法研究

刘峰, 杨杰, 齐佳音

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}}$	用于验证共享公钥及签名的智能合约