Proof Systems for General Statements about Discrete Logarithms 学习笔记

Jan Camenisch和Markus Stadler 1997年论文《Proof Systems for General Statements about Discrete Logarithms》。 1. 背景知识 Monotone Boolean function定义: Concatenation of tuples: Modified Cartesian Product: Knowledg
相关文章
相关标签/搜索