Cargando…
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...
| Autor principal: | |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
MDPI
2022
|
| Materias: | |
| 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 |