영지식 증명 편집하기
IT위키
편집을 취소할 수 있습니다. 이 편집을 되돌리려면 아래의 바뀐 내용을 확인한 후 게시해주세요.
최신판 | 당신의 편집 | ||
15번째 줄: | 15번째 줄: | ||
**어떤 조건이 참일 때, 검증자는 이 조건이 참이라는 사실 이외의 아무 정보를 알 수 없다. | **어떤 조건이 참일 때, 검증자는 이 조건이 참이라는 사실 이외의 아무 정보를 알 수 없다. | ||
== 분류 == | |||
==분류== | |||
{| class="wikitable" | {| class="wikitable" | ||
! colspan="2" |분류 | ! colspan="2" |분류 | ||
49번째 줄: | 22번째 줄: | ||
| 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- | * [[Zk-SNARKs|zk-snark(2013)]] | ||
*Libra(2019) | * Libra(2019) | ||
|- | |- | ||
|TTP 미사용 | |TTP 미사용 | ||
| | | | ||
*Ligero(2017) | * Ligero(2017) | ||
*zk- | * 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 미사용 ==== | ||