QAP-based Simulation-Extractable SNARK with a Single Verification

https://eprint.iacr.org/2019/586

몇일전 한국 연구자들이 작성한 영지식 논문이 공개되어 소개합니다. trusted setup가 없는 (혹은 Sonic처럼 회로와 관계없이 한번만 하면 되는) SNARK와 함께 또 다른 발전 방향인 (유효한 증명만 보고 다른 유효한 증명을 만들 수 있는 문제를 해결하는) simulation-extractable SNARK를 다루고 있습니다.

2 Likes