Content
@
0 reply
0 recast
0 reaction
avi
@avichalp
zk proofs covered in NYT in 1992
1 reply
1 recast
10 reactions
Shriphani Palakodety
@shriphani
I think this might be PCPs - the timeline and author list (sanjeev arora) matches this.
1 reply
0 recast
1 reaction
avi
@avichalp
yes, i believe first zkps were constructed using PCPs
1 reply
0 recast
0 reaction
avi
@avichalp
https://people.csail.mit.edu/silvio/Selected%20Scientific%20Papers/Proof%20Systems/Computationally_Sound_Proofs.pdf
0 reply
0 recast
1 reaction
