2 problems
- 0 votes0 replies0 views
Existence of a generator hard for all proof systems
By a generator we mean a map whose restriction to has range contained in , where , and is computed by a circuit of size . For…
- 0 votes0 replies0 views
Computational zero-knowledge conjecture for the Sibert authentication scheme on braid groups
Let be the braid group and let be a distribution on . Computational zero-knowledge conjecture. The Sibert et al. authentication scheme can be computationally zero k…