ZK (Zero-Knowledge Proof) 암호 방식 정보를 공개하지 않고 확인.
이 작전에 참여하는 2쪽:
- Prover 그것은 지혜가 있는 것으로
- Verifier (검사) 그녀는 확인하고 있습니다.
예를 들어, 대출#
채권자는 채권자의 결제 능력을 확인하고 싶어하지만 채권자가 실명으로.
→ ZK증명이 결제능력을 보장합니다 신원이 밝혀지지 않은 상태에서 그리고 보급.
역사#
1985 실비오 미칼리, 아비 비그더슨, 오데드 골드라이히 인터랙티브 증거 시스템 지식의 복잡성.
직장에서:
- 용어가 도입되었습니다. 0개 공개된 증거;
- 암호 기술 설명;
- 증거 개인 데이터를 열지 않습니다하지만 의사소통은 필수적입니다.
분류#
zk-SNARKs
Zero-Knowledge Succinct Non-Interactive Argument of Knowledge.
- 증거 정보를 공개하지 않고;
- 비밀 키가 필요해요설립된 미리;
- 응용 프로그램 예제: Zcash zk-SNARKs에서 처음으로 공개된 개인 정보 보호 토큰
- Zcash → 전송을 확인합니다 당사자와 금액을 공개하지 않고.
zk-STARKs
Zero-Knowledge Scalable Transparent Arguments of Knowledge.
- 공개된 무작위 분석 증거
- 초기 설정이 필요하지 않습니다;
- 기밀 데이터를 공개하지 않습니다 제3자
- 또 다른 이름은 아르투르-메를린.
비교
| 매개 변수 | zk-SNARKs | zk-STARKs |
|---|---|---|
| 증거의 크기 | 작은 | 더 많은 것 |
| Trusted setup | 그래 | 아니 |
| Post-quantum security | 취약하다 | 안정성 |
| 확인 속도 | 빨리! | 더 큰 데이터에 더 빨리 |
ZK 속성#
- 정확성 (Completeness) true 확인 → verifier를 설득할 수 있습니다;
- 진품 (Soundness) false 진술 → verifier를 설득할 수 없습니다;
- 완전히 비밀입니다 검증자는 진실의 사실 외에는 아무것도 알지 못합니다.
사용법#
| 영역 | 사용 |
|---|---|
| 블록체인 | 데이터를 공개하지 않고 확인된 거래 |
| 금융 | 고객 데이터 보호 + 규제 규범 |
| 확인 | 신원을 밝히지 않고 확인 |
| 의학 | 개인정보를 침해하지 않고 환자들의 데이터에 접근할 수 있습니다 |
TON에 ZK#
| 함수 | 설명 |
|---|---|
| 확인 | 개인 정보를 공개하지 않고 확인 |
| 사이버 보안 | 키를 공개하지 않고도 데이터의 정확성을 확인합니다 |
| 교환 프로토콜 | 초기 자료를 공개하지 않고 조건을 증명 |
프로젝트
- ZK on TON 문서 및 튜토리얼
- Tonnel Network 개인 거래 (토네이도가 TON에), GitHub.
원천#
- ZK-STARK 위키백과;
- What are zk-SNARKs (Zcash);
- ZK TON 블록체인 (tonblockchain.ru);
- Binance Academy: zk-SNARKs vs zk-STARKs.