거짓 진술을 증명하는 방법 (제 3부)
이것은 피아트-샴(Fiat-Shamir) 증명 시스템에 적용된 이론적 약점에 관한 시리즈의 세 번째이자 마지막 전 게시글입니다. 첫 번째 게시글은 여기, 두 번째 게시글은 여기, 그리고 그것들을 읽는 것이 좋습니다. 지난 두 개의 게시글에서 네 가지 주제에 대한 배경을 약간 제공했습니다: (1) 상호작용 증명 시스템 (interactive proof systems), (2) 피아트-샴(Fiat-Shamir) 증명 시스템, (3) 제로지식 증명(zero-knowledge proofs), (4) 암호학적 해시 함수(cryptographic hash functions). 이 게시글에서는 거짓 진술을 어떻게 증명할 수 있는지에 대해 설명합니다.