| http://www.w3.org/ns/prov#value | - This group is particularly useful for cryptography since it is a gap-group, in which the computational problem (i.e., computing square roots) is as hard as factoring, while the corresponding decisional problem (i.e., recognizing \emph{signed} quadratic residues) is easy.
|
