·bernsteinbear.com
암호화폐가 아닌 그래프 이론으로 zero-knowledge proof를 이해하고 3-coloring 검증 프로토콜을 구현한 개발 실험기
이 아티클은 zero-knowledge proof(ZKP)를 암호화폐 맥락이 아니라 그래프 이론의 3-coloring 문제로 설명합니다. 증명자와 검증자가 해답 자체를 공개하지 않고도 해답의 존재를 확인하는 interactive proof 구조를 Goldreich, Micali, Wigderson 논문의 프로토콜과 간단한...
읽기 →