Until now, ZKPS is the proof system that has only one prover. But ZKPS must be extended to multi-prover ZKPS for application of ZKPS to social-oriented cryptosystem in which a group of prover is the unit of interaction and t(＜ total member of prover-group) members of the group cannot successfully run the proof system.
In this paper, we extended such one-prover ZKPS to case of multi-provers and we called this proof system "ZKPS of knowledge sharing". We introduced "completeness of knowledge sharing" among multi-prover and polynomial-time algorithm "Shared-computer" so that multi-prover proof system becomes zero-knowledge, efficient and interactive proof system.
Our "ZKPS of knowledge sharing" can serve as social-oriented cryptographic tools in zero-knowledge fashion. Specially, group identification scheme and group signature scheme can be directly constructed from "ZKPS of knowledge sharing". Also, It can be extended to threshold ZKPS of knowledge(or secret) sharing and this extension can serve as a method for constructing threshold scheme in zero-knowledge fashion.
최근까지의 영지식 증명에서는 참가하는 증명인이 오직 한 명뿐이었다. 그러나 증명인들의 집단이 상호작용의 단위가 되고 증명인 집단내의 일부가 성공적으로 증명할 수 없는 사회지향적 암호시스템에로의 적용을 위해서는 기존의 단독 증명인만을 가지는 영지식 증명을 다수의 증명인이 참가하는 영지식 증명으로 확장할 필요가 있다.
본 연구에서는 기존의 단독 증명인만이 참가하는 영지식 증명을 다수의 증명인이 참가하는 영지식 증명으로 확장했으며, 이 영지식 증명을 "지식공유의 영지식 증명"이라 칭했다. 우리는 증명집단내의 증명인들간의 "지식공유의 완전성"이라는 조건적 개념과 "공유된 컴퓨터"라는 폴리노미얼-시간 알고리즘을 새롭게 첨가하여 "영지식"의 특성과 "완전한 지식공유"의 특성을 가지는 단순화된, 다수 증명인이 참가할 수 있는 영지식 증명 시스템을 구축하였다.
우리의 "지식공유의 영지식 증명"은 영지식 특성을 가지는 사회지향적 암호시스템을 만드는 수단으로 사용될 수 있다. 특별히, 집단인증과 집단서명 프로토콜은 직접적으로 용이하게 만들 수 있다. 본 연구에서는 "지식공유의 영지식 증명"의 확장된 개념인 "트래쉬홀드 영지식증명"을 제시하였으며 이는 영지식 특성을 가지는 트래쉬홀드 시스템을 만드는 수단이 될 수 있다.
