Zk-SNARKs 편집하기

IT위키

경고: 로그인하지 않았습니다. 편집을 하면 IP 주소가 공개되게 됩니다. 로그인하거나 계정을 생성하면 편집자가 사용자 이름으로 기록되고, 다른 장점도 있습니다.

편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.

최신판 당신의 편집
1번째 줄: 1번째 줄:
[[분류:보안]][[분류:알고리즘]]
[[분류:보안]][[분류:알고리즘]]
;Zero-Knowledge Succinct Non-Interactive Argument of Knowledge
;Zero-Knowledge Succinct Non-Interactive Argument of Knowledge
;기존의 [[영지식 증명]]을 좀 더 간결하고(Succinct) 비상호적인 환경(Non-Interactive)에서 적용 가능하도록 변형한 기술
;기존의 [[영지식 증명]]을 좀 더 간결하고(succinct) 비상호적인 환경(non-interactive)에서 적용 가능하도록 변형한 기술
* 지캐시(Zcash)에서 시작
* 지캐시(Zcash)에서 시작
== 특징 ==
* 영지식(ZKP)
* 간결성(Succinct): Non-interactive ZKP의 계산 과부하 해소
* 타원곡선(ECC): 비대칭키를 이용한 수학적 증명
== 절차 ==
* Keygen: Key Generator를 이용해 Key Pair (P<sub>k</sub>, V<sub>k</sub>)를 생성하는 과정
* Prove: Prover가 Proof 를 생성하는 과정
* Verify: Verifier가 Proof를 Verifying하는 과정
== 활용성 ==
* 확장성(Scalability): append-only 블록체인의 용량 감소 가능
* 익명성
== 활용 ==
* 지캐시: zk-SNARKs를 이용하여 익명 코인 실현
** Shielded Address와 Transparent Address 사용
* 코다: zk-SNARKs사용하여 원본 검증 생략, 확장성 도모
* 이더리움: 익명성, 확장성을 위해 zk-SNARKs 적용 연구 중
== 한계 ==
* 신뢰 기관(Trusted Party)의 존재
* 증명 생성을 위한 부하
* 양자컴퓨팅에 취약
IT위키에서의 모든 기여는 크리에이티브 커먼즈 저작자표시-비영리-동일조건변경허락 라이선스로 배포된다는 점을 유의해 주세요(자세한 내용에 대해서는 IT위키:저작권 문서를 읽어주세요). 만약 여기에 동의하지 않는다면 문서를 저장하지 말아 주세요.
또한, 직접 작성했거나 퍼블릭 도메인과 같은 자유 문서에서 가져왔다는 것을 보증해야 합니다. 저작권이 있는 내용을 허가 없이 저장하지 마세요!
취소 편집 도움말 (새 창에서 열림)