a16z crypto의 '퍼스트 프린시플스' 시리즈에서 팀 로프가든과 저스틴 세일러가 괴델상 수상자 노암 니산을 인터뷰해, 그의 초기 대화형 증명 연구에서 나온 '합-검사(sum-check) 프로토콜'이 어떻게 현대 SNARK의 핵심 기술로 자리잡았는지 추적한다. 니산은 당시 이 기법이 순수 이론일 뿐 실용화되리라 전혀 예상하지 못했다고 회고하며, IP=PSPACE 증명으로 이어진 발견 과정과 상호작용·무작위성이 수학적 증명의 정의를 바꾼 과정을 설명한다. 그는 1990년대 웹 등장과 함께 복잡도 이론을 떠나 서로 다른 유인을 가진 인터넷 행위자들의 협력 문제를 연구하며 알고리즘 게임이론 분야를 개척했고, 이후 이 경험이 블록체인 수수료와 토큰 경제 설계 연구로 이어졌다. 순수 이론 연구가 수십 년 뒤 블록체인 인프라의 근간이 될 수 있음을 보여주는 사례다.
- •괴델상 수상자 노암 니산의 합-검사 프로토콜이 현대 SNARK의 핵심 기술이 된 과정 조명
- •당시 순수 이론으로 여겨졌던 대화형 증명 연구가 IP=PSPACE 증명으로 이어짐
- •니산은 1990년대 웹 등장과 함께 알고리즘 게임이론 분야를 개척
- •이 경험이 이후 블록체인 수수료·토큰 경제 설계 연구로 연결됨
- •순수 이론이 수십 년 후 블록체인 인프라 근간 기술이 된 사례로 제시
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
The 'useless' theory behind modern SNARKs (ft. Gödel Prize winner Noam Nisan)
- 1.괴델상 수상자 노암 니산, '쓸모없다'고 여겼던 sum-check 프로토콜이 현대 SNARK 핵심이 된 과정 설명
- 2.30여 년 전 인터랙티브 증명 연구에서 나온 sum-check가 오늘날 가장 빠른 SNARK 구현의 기반이 됐다고 소개
- 3.니산은 1990년대 웹 등장 후 복잡성 이론을 떠나 알고리즘 게임이론 분야를 개척, 이후 블록체인 수수료·토큰 경제학 연구로 복귀
- 4.EIP-1559와 효율적 블록스페이스 설계 등 실제 블록체인 정책에 게임이론이 적용된 사례도 논의
왜 중요한가?
순수 이론이었던 증명 기법이 수십 년 뒤 블록체인 검증 가능 연산의 핵심 인프라가 된 과정을 이론 창시자가 직접 짚으면서, SNARK 성능 최적화의 이론적 배경과 블록체인 경제학·수수료 설계의 연결고리를 함께 제시한다.
언급 프로젝트
본문 미리보기
Gödel Prize winner Noam Nisan on the sum-check protocol — how a "purely theoretical" proof technique became the engine behind fast, modern SNARKs.
전체 내용이 궁금하다면?
원문을 직접 읽어보세요
이 글이 만들어진 과정
- 10:11AI 초안
