DAG-$\Sigma$: A DAG-based Sigma Protocol for Relations in CNF

ePrint Report: DAG-$\Sigma$: A DAG-based Sigma Protocol for Relations in CNF

Gongxian Zeng, Junzuo Lai, Zhengan Huang, Yu Wang, Zhiming Zheng

At CRYPTO 1994, Cramer, Damg{\aa}rd and Schoenmakers proposed a general method to construct proofs of knowledge (PoKs), especially for $k$-out-of-$n$ partial knowledge, of which relations can be expressed in disjunctive normal form (DNF). Since then, proofs of $k$-out-of-$n$ partial knowledge have attracted much attention and some efficient constructions have been proposed. However, many practical scenarios require efficient PoK protocols …

eprint report protocol sigma