Questions tagged [sigma]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
3 votes
3 answers

State of the art for Graph Isomorphism

I want to know the state of the art result for proving knowledge of graph isomorphism. As described here, the classical Goldreich-Micali-Wigderson (GMW) protocol is a $\Sigma$-protocol with soundness ...
Gareth Ma's user avatar
  • 350
1 vote
0 answers

How to design a Zero-Knowledge Proof of a message in a certain range? [duplicate]

Given a message $m$, how can I prove that $m$ lies between 0 and 31 without revealing the message using a Sigma protocol? The message is encrypted as: $$c = a^{\beta} \cdot g^m ,$$ where: $a$ is the ...
Daniel Chan's user avatar
1 vote
1 answer

Input Delayed Sigma-Protocol

In a Sigma-protocol, the steps are (1) commitment, (2) challenge, and (3) response. In general, the prover has a statement and witness that they can use to compute the commitment step. But in some ...
eternalmothra's user avatar