Unknowable Math Can Help Hide Secrets

MIT 대학원생 Rahul Ilango가 수학적 불가해성 개념을 활용해 기존 한계를 뛰어넘는 새로운 유형의 제로 지식 증명 방식을 개발했다. 이 방식은 증명의 비대화성(non-interactive) 문제를 수학적 증명 복잡성의 근본적 한계로 극복하며, 암호학에서 비밀을 안전하게 증명하는 새로운 가능성을 열었다. 이 연구는 수학적 논리와 암호학 간의 흥미로운 연결고리를 제시하며, 제로 지식 증명 기술 발전에 중요한 전환점이 될 전망이다.

https://www.quantamagazine.org/how-unknowable-math-can-help-hide-secrets-20260511/

#cryptography #zeroknowledgeproofs #mathematicallogic #proofcomplexity #security