Shielding Probabilistically Checkable Proofs: Zero-Knowledge PCPs from Leakage Resilience

Probabilistically Checkable Proofs (PCPs) allows a randomized verifier, with oracle access to a purported proof, to probabilistically verify an input statement of the form “ [Formula: see text] ” by querying only a few proof bits. Zero-Knowledge PCPs (ZK-PCPs) enhance standard PCPs to additionally g...

Descripción completa

Detalles Bibliográficos
Autor principal: Weiss, Mor
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2022
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9324656/
https://www.ncbi.nlm.nih.gov/pubmed/35885193
http://dx.doi.org/10.3390/e24070970

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9324656/
https://www.ncbi.nlm.nih.gov/pubmed/35885193
http://dx.doi.org/10.3390/e24070970

Ejemplares similares