Research

Security and Privacy Laboratory (보안 및 프라이버시 연구실)

본 연구실은 다양한 암호 알고리즘을 개발합니다. 본 연구실에서 다루는 주요 연구 분야는 다음과 같습니다.

zk-SNARK (zero-knowledge succinct non-interactive argument of knowledge), 블록체인, 전방향 안전 서명, 브로드캐스트 암호화. 이중에서 zk-SNARK를 주로 연구하고 있으며, 이를 블록체인에 적용하려고 하고 있다.

zk-SNARK (zero-knowledge succinct non-interactive argument of knowledge):

QAP (quadratic arithmetic programming)에 기반한 pairing based zk-SNARKs 영지식 증명 방법을 연구한다. 더 효율적인 zk-SNARK 알고리즘을 개발하고, 이를 응용하는 방법등에 대해서 연구하고 있다.

zk-SNARKs관련 아래의 글과 논문을 읽어보는 것을 권한다.

기초

비탈릭 블로그 QAP, SNARK : https://medium.com/@VitalikButerin/quadratic-arithmetic-programs-from-zero-to-hero-f6d558cea649 , https://medium.com/@VitalikButerin/zk-snarks-under-the-hood-b33151a013f6
simplified 피노키오 : https://www.di.ens.fr/~nitulesc/files/slides/QAP.pdf
피노키오 : https://eprint.iacr.org/2013/279.pdf

Pairing based zk-SNARKs

Groth16 : https://eprint.iacr.org/2016/260.pdf
KLO19 : https://eprint.iacr.org/2019/586

Universal and Updatable zk-SNARKs

Plonk : https://eprint.iacr.org/2019/953

Trustless setup zk-SNARKs

Transparent SNARKs from DARK compiler (Supersonic) : https://eprint.iacr.org/2019/1229

Applications :

Zerocash: Decentralized Anonymous Payments from Bitcoin : https://eprint.iacr.org/2014/349
Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data : https://eprint.iacr.org/2012/095
Scalable Zero Knowledge via Cycles of Elliptic Curves : https://eprint.iacr.org/2014/595
Proofs for Inner Pairing Products and Applications : https://eprint.iacr.org/2019/1177.pdf
LegoSNARK: Modular Design and Composition of Succinct Zero-Knowledge Proofs : https://eprint.iacr.org/2019/142
SAVER: Snark-friendly, Additively-homomorphic, and Verifiable Encryption and decryption with Rerandomization : https://eprint.iacr.org/2019/1270
vCNN: Verifiable Convolutional Neural Network based on zk-SNARKs : https://eprint.iacr.org/2020/584
Efficient Verifiable Image Redacting based on zk-SNARKs : https://eprint.iacr.org/2020/1579.pdf

블록체인 (blockchain):

블록체인 기반 프라이버시/강압 금지 및 투개표 검증을 지원하는 영지식 기반 암호 투표 시스템을 개발하고 있다.
영지식 기반 자기 주도 ID 관리 기법을 개발하고 있다.
감사 가능한 익명 디지털 자산 거래 기법을 연구하고 있다.