| 연구목표 |
연구배경 :- 블록체인과 스마트 컨트랙트 활용 사례가 증가함에 따라 개인정보가 중요시되는 환경에서는 프라이버시 보호 기술 수요가 증가하고 있으며, 탈중앙화 성격을 유지하기 위하여 trusted setup이 필요없는 영지식 증명 기술이 발전- Zcash, Pivx, Kurrent 등과 같이 트랜잭션에 영지식 증명 기술을 활용하는 사례는 많지만, 개발자가 스마... |
| 연구내용 |
1차년도 : - 영지식 증명을 지원하는 프로그래밍 언어에 대한 기존 연구 조사 및 분석 * 프로그램 검증 정보를 결합하는 기존 기술에 대한 분석- 영지식 증명을 지원하는 스마트 컨트랙트 제작을 위한 프로그래밍 언어 방안 설계 * 소유자, 개인 정보의 민감성등을 간결하게 표현할 수 있는 프로그래밍 언어의 구문 및 의미 구조에 대한 명세- Tursted set... |
| 기대효과 |
영지식 증명을 활용한 블록체인 산업 기여- 영지식 증명 기술은 이미 오래 전에 소개되었으나 성능문제로 인해 그 활용성이 떨어져 국내에서는 거의 연구가 진행되지 않았으나, 블록체인에서의 프라이버시 문제 해결 방안으로 영지식 증명이 가장 적합하다는 결론 하에 세계적으로 연구가 활발히 진행 중- 최근 들어 성능문제에 대한 개선이 이루어져 ZKProof.org 중... |
| 키워드 |
블록체인,스마트 컨트랙트,영지식 증명,프로그래밍 언어,프라이버시 |