«zero-knowledge» 태그된 질문

Greg Kuperberg가 나에게 묻는 질문에 따라 다양한 종류 의 지식 증명을 인정하는 복잡한 언어 클래스를 정의하고 연구하는 논문이 있는지 궁금합니다 . 같은 클래스 SZK 및 NISZK은 우리가 영의 지식에 대해 완전히 잊고 그들의 완전한 약속 문제의 관점에서 그들을 정의 된 경우에도 복잡성의 관점에서 매우 자연입니다. 반대로, '지식 증명'이라는 인터넷 검색에서 …

16 complexity-classes  cr.crypto-security  zero-knowledge 

에서 HAC (10.4.2)의 10 장 , 우리는 제곱근이 요인 어려운 복합 모듈로 추출 (추정) 어려움을 사용하여 영 지식 증명을 기반으로 잘 알려진 Feige - 피아트 - 샤미르 식별 프로토콜을 참조하십시오. 나는 그 계획을 내 자신의 말로 줄 것이다. 더 간단한 체계로 시작합시다 : 은 팩토링이 난해 할 정도로 충분히 큰 …

12 cr.crypto-security  proofs  zero-knowledge 

Goldreich et al.의 3 가지 착색성에 제로 지식 증명이 있다는 증거는 각 라운드에서 그래프의 전체 채색에 비트 약정을 사용합니다 [1]. 그래프에 개의 정점과 e 모서리가 있고 보안 해시에 b 비트가 있고 오류 확률 p를 찾는 경우 총 통신 비용은 다음과 같습니다.nnneeebbbppp O(benlog(1/p))O(benlog⁡(1/p))O(ben \log(1/p)) 이상은 라운드. 점진적으로 공개 된 Merkle 트리를 …

11 communication-complexity  zero-knowledge 

증명자가 HORN-SAT 표현이 만족 스럽다는 것을 검증 자에게 확신시킬 수있는 방법이 있습니까? HORN-SAT에 대한 선형 시간 알고리즘이 있기 때문에 물론 이것은 어리석은 것처럼 보일 수 있습니다. 반면, HORN-SAT는 P- 완료이므로 P = L이 아니면 로그 공간 알고리즘이 없습니다. 따라서 검증기의 계산 능력을 L로 제한하십시오. 이제 검증기는 매우 미약하므로 문제는 더 …

10 cc.complexity-theory  interactive-proofs  zero-knowledge