Make it Possible

Camenisch-Stadler Notation

Camenisch-Stadler Notation是Camenisch和Stadler在论文Proof Systems for General Statements about Discrete Logarithms中提出的符号标记方法,被各种论文沿用至今。

  • ||
    字符串(bitstring)的拼接
  • `’
    空字符串
  • \Z_p
    p是素数,代表模p整数加法环
  • \Z_p^*
    p是素数,代表模p乘法群
  • SPK\lbrace(e,m,v):A ^e\equiv R^mS^vZ\bmod n\rbrace
    代表一个签名验证算法,冒号前的参数是被验证者提供给验证者的参数,冒号后的表达式是验证通过的条件。
点赞

发表评论

电子邮件地址不会被公开。 必填项已用*标注

此站点使用Akismet来减少垃圾评论。了解我们如何处理您的评论数据