점진적검증가능연산,영지식증명,양자내성암호,비대화형 증명 시스템,산술회로

Incrementally Verifiable Computation,Zero-Knowledge Proof,Post-Quantum Crypto,Succinct Non-interactive Argument of Knowledge,Arithmetic Circuit

... Knowledge Soundness 성질이 제한된다는 것을 의미한다. 현재 제안된 IVC 기법들은 대부분 이러한 문제를 가지고 있는데 해당 제약을 극복하는 방법에 대해 연구를 수행하고자 한다.(2) 양자내성 IVC 설계 기법 연구① 양자내성을 지니면서 IVC설계에 적합한 영지식 증명 기법 분석현재 제안된 IVC 기법들은 타원곡선과 같은 군 등 군 구조를 활용한 영지식 증명 기법들을 기반으로 ...