February 19, 2002
Practical Aspects of Modern Cryptography
79
An Non-Interactive ZK Proof
Y
Y
1
Y
3
Y
2
Y
4
Y
5
Y
100
0
0
1
1
0
1
√
(Y
2
•
Y)
√
(Y
100
•
Y)
√
(Y
3
•
Y)
√
Y
1
√
Y
4
√
Y
3
