Chapter 4 of "Foundations of Cryptography" by Oded Goldreich covers ZK proofs in depth. If you've enjoyed L12 and L13, that's the place to start reading, IMHO. @Andrew Xia thanks again for the upload. Much appreciated.
Why can't the verifier use Lengendre symbol to compute if a value is in QNR in sub polynomial time. What's the need of a proof system between prover and verifier
Any chance you have the recording of L13 sitting around somewhere and could upload it? Don't think it's in the playlist on your channel unfortunately :(
Chapter 4 of "Foundations of Cryptography" by Oded Goldreich covers ZK proofs in depth. If you've enjoyed L12 and L13, that's the place to start reading, IMHO.
@Andrew Xia thanks again for the upload. Much appreciated.
I wish the audio was better...
Why can't the verifier use Lengendre symbol to compute if a value is in QNR in sub polynomial time. What's the need of a proof system between prover and verifier
Any chance you have the recording of L13 sitting around somewhere and could upload it? Don't think it's in the playlist on your channel unfortunately :(
ruclips.net/video/GYBM6ZZWkdc/видео.html&list=PL6ogFv-ieghe8MOIcpD6UDtdK-UMHG8oH
@@leonardokimura3789 Thanks dawg
the audio makes this pretty much useless
does it has something to do with zero day vulnerabilities?
Only when a zero day vulnerability involves a zero-knowledge proof ;)