Multi-Party Multiplication Mixing을 이용한 분산 zk-SNARKs Generator 설계 및 구현
Design and Implementation of distributed zk-SNARKs Generator using Multi-Party Multiplication Mixing
- 주제(키워드) 영지식 , 분산 , 탈중앙화
- 발행기관 서강대학교 일반대학원
- 지도교수 박수용
- 발행년도 2021
- 학위수여년월 2021. 2
- 학위명 석사
- 학과 및 전공 일반대학원 컴퓨터공학과
- UCI I804:11029-000000066003
- 본문언어 한국어
- 저작권 서강대학교 논문은 저작권보호를 받습니다.
초록/요약
zk-SNARKs는 비상호적 환경에서 ZKP 프로토콜을 사용하기 위해 구현된 시스템이다. zk-SNARKs는 비상호적 환경에서 작동되기 위해 시스템 구성 중 Generator 내의 Trusted Setup Party(이하 TSP)라는 곳에서 증명과 검증을 위한 proof를 만들 때 쓰이는 매개변수를 제공하게 된다. 그러나 TSP에서 제공하는 매개변수는 TSP에서 단독적으로 선정하고 사용되기 때문에 이 점을 이용하여 TSP가 외부의 다른 세력들과 결탁하거나 특정한 단체에게 매개변수를 제공한다면 zk-SNARKs 기반의 ZKP 시스템은 신뢰에 큰 타격을 입을 수 밖에 없다. 이러한 TSP의 중앙성 문제를 해결하기 위해 본 논문에서는 기존에 Generator에서 수행하던 TSP의 역할을 여러 곳의 영향력이 들어간 multi-party 형식의 Multiplication Mixing 프로세스를 통해 매개변수를 제공하는 MPMM 방식으로 바꾸고 이를 시스템적으로 구현한 분산 zk-SNARKs Generator의 탈중앙화 방안을 제시한다. 또한, 이 방안을 구현하며 발생할 수 있는 추가적인 중앙화 문제를 대비하기 위해 임의선택 방식 및 binary 매핑 전파 방식을 사용한다.
more초록/요약
zk-SNARKs is a system implemented to use the ZKP protocol in an unfriendly environment. zk-SNARKs provide the parameters used to create proofs and verifications in a system configuration called Trusted Setup Party (TSP) within the generator to operate in an unfriendly environment. However, since the parameters provided by TSP are selected and used exclusively by TSP, the ZKP system based on zk-SNARKs will suffer a great deal of trust if TSPs use this to collude with other forces outside or provide parameters to specific organizations. To address this centrality problem of TSP, this paper presents a method of decentralization of distributed zk-SNARKs Generator, which is a systematic implementation of the role of TSP, in which it provides parameters through multi-party-type multi-party-mixing processes with multiple influences. Furthermore, to implement this scheme and prepare for any additional centralization problems that may arise, we use a random selection method and binary mapping propagation methods.
more