
본 논문에서는 NP에 속하는 모든 언어에 대해 증거 데이터에서 제한된 비트만 확인하여 검증 가능하면서도, 증거 자체에 대한 정보는 전혀 드러나지 않는 효율적인 영지식 증명 시스템을 구축하는 방법을 제시합니다.


coremsg

영지식-pcp-정리-np를-위한-상수-쿼리-복잡도의-영지식-pcp-구축


영지식 PCP 정리: NP를 위한 상수 쿼리 복잡도의 영지식 PCP 구축


title_rewrite


This research paper proves that any language in NP has a polynomial-size proof verifiable by probing a constant number of bits, while guaranteeing zero-knowledge against adversaries with a bounded query budget.


a-zero-knowledge-pcp-theorem-for-np-with-constant-query-complexity


A Zero-Knowledge PCP Theorem for NP with Constant Query Complexity



Constructing Perfect Zero-Knowledge Probabilistically Checkable Proofs (PZK-PCPs) for #P with non-adaptivity and zero knowledge.


perfect-zero-knowledge-pcps-for-p-constructing-pzk-pcps-for-p-with-non-adaptivity-and-zero-knowledge


Perfect Zero-Knowledge PCPs for #P: Constructing PZK-PCPs for #P with Non-Adaptivity and Zero Knowledge
