Relation¶
A relation \(R\) specifies a collection of “valid” instance-witness pairs \((h,w)\). For example, \(h=g^w\) for discrete logarithm relation.
A relation \(R\) specifies a collection of “valid” instance-witness pairs \((h,w)\). For example, \(h=g^w\) for discrete logarithm relation.