영지식 증명: 두 판 사이의 차이
IT위키
편집 요약 없음 |
편집 요약 없음 |
||
| 15번째 줄: | 15번째 줄: | ||
**어떤 조건이 참일 때, 검증자는 이 조건이 참이라는 사실 이외의 아무 정보를 알 수 없다. | **어떤 조건이 참일 때, 검증자는 이 조건이 참이라는 사실 이외의 아무 정보를 알 수 없다. | ||
== 분류 == | == 활용 == | ||
{| class="wikitable" | |||
!활용 예 | |||
!설명 | |||
|- | |||
|Z-cash | |||
|블록체인상의 거래내역 추적을 막는 익명성 부과 | |||
|- | |||
|Zk roll up | |||
|Layer2의 상태를 Layer1에서 검증할 수 있도록 증명 | |||
|- | |||
|Zokrates | |||
|Off-chain에서 생성한 증명을 검증 가능한 스마트 컨트랙트 생성 | |||
|- | |||
|zkvm | |||
|컨트랙트 실행 환경 VM의 상태 증명 | |||
|- | |||
|Oracle | |||
|오프체인의 개인 데이터를 온체인에서 검증 가능하도록 구현 | |||
|- | |||
|Interoperability | |||
|Chain간 블록 및 상태 전이에 관한 증명 및 검증 | |||
|- | |||
|Selective Disclosure | |||
|DID의 Claim을 Verifier에게 선택적으로 증명 | |||
|} | |||
==분류== | |||
{| class="wikitable" | {| class="wikitable" | ||
! colspan="2" |분류 | ! colspan="2" |분류 | ||
| 22번째 줄: | 49번째 줄: | ||
| colspan="2" |Interactive | | colspan="2" |Interactive | ||
| | | | ||
* Graph Isomorphism | *Graph Isomorphism | ||
* zk-stick(2018) | *zk-stick(2018) | ||
|- | |- | ||
| rowspan="2" |Non-Interactive | | rowspan="2" |Non-Interactive | ||
|TTP 사용 | |TTP 사용 | ||
| | | | ||
* [[Zk-SNARKs|zk-snark(2013)]] | *[[Zk-SNARKs|zk-snark(2013)]] | ||
* Libra(2019) | *Libra(2019) | ||
|- | |- | ||
|TTP 미사용 | |TTP 미사용 | ||
| | | | ||
* Ligero(2017) | *Ligero(2017) | ||
* zk-stark(2018) | *zk-stark(2018) | ||
* Bulletproof(2018) | *Bulletproof(2018) | ||
* Supersonic(2019) | *Supersonic(2019) | ||
|} | |} | ||
=== Interactive ZKP === | ===Interactive ZKP=== | ||
=== Non-interactive ZKP === | ===Non-interactive ZKP=== | ||
;Prover와 Verifier가 온라인 상태가 아니더라도 영지식 증명 가능 | ;Prover와 Verifier가 온라인 상태가 아니더라도 영지식 증명 가능 | ||
==== TTP 사용 ==== | ====TTP 사용==== | ||
* [[zk-SNARKs]] : Non-interactive ZKP의 proof size를 줄인 실용 모델 | *[[zk-SNARKs]] : Non-interactive ZKP의 proof size를 줄인 실용 모델 | ||
** 지캐시에서 도입 | **지캐시에서 도입 | ||
==== TTP 미사용 ==== | ====TTP 미사용==== | ||
2021년 5월 9일 (일) 21:09 판
- ZKP; Zero-Knowledge Proof
- prover가 자신이 알고 있는 지식을 공개하지 않으면서, 그 지식을 알고 있다는 사실을 verifier에게 증명하는 proof system
- 1980년대 MIT의 Shafi Goldwasser, Silvio Micali and Charles Rackoff가 처음 제시
조건
- 완전성(completeness)
- 어떤 조건이 참이라면 신뢰할 수 있는 검증자(honest verifier)는 신뢰할 수 있는 증명자(honest prover)에 의해 이 사실을 납득할 수 있어야 한다.
- 건전성(soundness)
- 어떤 조건이 거짓이면 신뢰할 수 없는 증명자(dishonest prover)는 거짓말을 통해 검증자에게 조건이 참임을 절대 납득시킬 수 없다.
- 영지식성(zero-knowledge)
- 어떤 조건이 참일 때, 검증자는 이 조건이 참이라는 사실 이외의 아무 정보를 알 수 없다.
활용
| 활용 예 | 설명 |
|---|---|
| Z-cash | 블록체인상의 거래내역 추적을 막는 익명성 부과 |
| Zk roll up | Layer2의 상태를 Layer1에서 검증할 수 있도록 증명 |
| Zokrates | Off-chain에서 생성한 증명을 검증 가능한 스마트 컨트랙트 생성 |
| zkvm | 컨트랙트 실행 환경 VM의 상태 증명 |
| Oracle | 오프체인의 개인 데이터를 온체인에서 검증 가능하도록 구현 |
| Interoperability | Chain간 블록 및 상태 전이에 관한 증명 및 검증 |
| Selective Disclosure | DID의 Claim을 Verifier에게 선택적으로 증명 |
분류
| 분류 | 기술 | |
|---|---|---|
| Interactive |
| |
| Non-Interactive | TTP 사용 |
|
| TTP 미사용 |
| |
Interactive ZKP
Non-interactive ZKP
- Prover와 Verifier가 온라인 상태가 아니더라도 영지식 증명 가능
TTP 사용
- zk-SNARKs : Non-interactive ZKP의 proof size를 줄인 실용 모델
- 지캐시에서 도입
