표제지
목차
국문 요약 9
제1장 서론 10
1.1. 관련 연구 11
1.2. 기여 12
제2장 배경 지식 13
2.1. 용어 및 자료구조 13
2.2. 시나리오 14
제3장 정의 16
3.1. 충돌저항 해시 함수 16
3.2. 해시 트리 16
3.3. 유사난수 16
3.4. 관계식 16
3.5. 간결한 비대화형 연산증명 시스템(zk-SNARK) 17
3.6. 암호화 기법 19
3.6.1. 대칭키 기반 암호화 19
3.6.2. 공개키 기반 암호화 20
제4장 스킴 22
4.1. 관계식 22
4.2. 암호화 스킴 24
4.3. 스마트 컨트랙트(Smart Contract) 25
4.4. DApp 26
제5장 안전성 증명 31
제6장 실험 33
6.1. 실험 환경 33
6.2. 실험 결과 34
제7장 결론 36
참고 문헌 37
Abstract 39
APPENDIX 40
A. DApp 스킴의 안전성 40
A.1. Ledger indistinguishability 42
A.2. Transaction non-malleability 43
A.3. Transaction Unlinkability 44
B. 정의 4에 대한 증명 45
B.1. Ledger indistinguishability 증명 45
B.2. Transaction non-malleabillity 증명 48
B.3. Transaction unlinkability 증명 49
표 1. Machine 1 33
표 2. Machine 2 33
표 3. 실험 결과 1 34
표 4. 실험 결과 2 34
표 5. 가스 사용량 35
그림 1. 시나리오 14