튜링상 수상자 샤피 골드바서가 a16z crypto의 '퍼스트 프린시플스'에서 실비오 미칼리, 찰스 라코프와 함께 개발한 영지식 증명의 탄생 배경을 들려준다. 전화로 안전하게 포커를 치는 유희적 문제에서 출발해, 상호작용과 무작위성, 약간의 오류 확률을 허용하는 새로운 증명 개념을 고안했고 증명자가 추가 정보를 노출하지 않고도 명제의 참을 검증자에게 납득시킬 수 있음을 보였다. 대화에서는 최초 논문이 여러 차례 게재 거부된 사연과 이 개념이 IP=PSPACE, 확률적으로 검증 가능한 증명, 합-검사 프로토콜, SNARK로 이어진 이론적 계보, 그리고 오늘날 블록체인 롤업과 프라이버시 보호 애플리케이션에 활용되는 과정을 다룬다. AI 시스템도 답변과 함께 증명을 제시하도록 훈련해야 하는가에 대한 논의로 마무리된다.
- •샤피 골드바서·실비오 미칼리·찰스 라코프가 개발한 영지식 증명의 탄생 배경 소개
- •전화 포커 문제에서 출발해 상호작용·무작위성·오류 확률을 도입한 새로운 증명 개념 고안
- •최초 논문이 여러 차례 게재 거부됐던 일화 공개
- •영지식 증명 개념이 IP=PSPACE, 합-검사 프로토콜, SNARK로 이어진 이론적 계보 추적
- •오늘날 블록체인 롤업과 프라이버시 보호 애플리케이션에 활용되는 과정 및 AI 검증 가능성 논의
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
How Zero-Knowledge Proofs Were Invented (ft. Co-Inventor and Turing Award Winner Shafi Goldwasser)
- 1.튜링상 수상자 샤피 골드바서, a16z 팟캐스트에서 영지식 증명(ZKP) 탄생 비화 공개
- 2.전화로 안전하게 포커 치는 '멘탈 포커' 문제에서 출발해 골드바서·미칼리·라코프가 인터랙티브 증명 개념 개발
- 3.IP=PSPACE, 확률적 검사 증명, sum-check 프로토콜이 오늘날 SNARK·블록체인 롤업의 기반이 됐다고 설명
- 4.최초 논문이 여러 차례 게재 거절당했던 사실과 AI 시스템에 답변과 함께 증명을 요구해야 하는지에 대한 논의도 다뤄
왜 중요한가?
블록체인 롤업과 프라이버시 보호 애플리케이션의 핵심 기술인 영지식 증명이 순수 이론 연구에서 출발해 실용 기술로 발전한 과정을 발명 당사자가 직접 설명한다는 점에서, 오늘날 SNARK 기반 검증 시스템의 이론적 뿌리를 이해하는 데 도움이 된다.
언급 프로젝트
본문 미리보기
Turing Award winner Shafi Goldwasser tells the origin story of zero-knowledge proofs, from mental poker and interactive proofs to SNARKs, blockchain scaling, privacy, and verifiable AI.
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 10:11AI 초안
