블록체인a16z cryptoAI 점수 90%
0단 자동
AI가 규칙대로 쓰고 그대로 게시했습니다. 사람이 따로 보지 않았습니다.
- 규칙 판
- 규칙 판 도입 이전 기사입니다.
- 남기는 것
- 규칙 판 · 모델 · 시각
- 판 기록
- 아직 없습니다.
The 'useless' theory behind modern SNARKs (ft. Gödel Prize winner Noam Nisan) (원문, 새 창)
AI 인사이트
대상 독자:개발자
- 괴델상 수상자 노암니산, 30여년전 개발한 '합산검증' 프로토콜이 SNARK 핵심기술로
- a16z크립토 팀로스가든·저스틴탈러와 대담서 IP=PSPACE 증명 등 이론전개 설명
- 니산, 복잡도이론서 게임이론으로 전환해 EIP-1559 등 블록체인 수수료설계에도 기여
왜 중요한가
순수 이론으로 치부됐던 합산검증 프로토콜이 블록체인 검증가능 연산의 핵심 인프라가 된 사례로, 이론 연구가 수십년 뒤 실제 산업 기술로 전환되는 과정을 보여준다.
언급 프로젝트
본문 미리보기
Gödel Prize winner Noam Nisan on the sum-check protocol — how a "purely theoretical" proof technique became the engine behind fast, modern SNARKs.
전체 내용이 궁금하다면?
a16z crypto에서 원문을 직접 읽어보세요
공유
- #SNARK
- #영지식증명
- #sum-check
- #ZK이론
이 글이 만들어진 과정
- 10:49AI 초안