개요zk-SNARK(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge)와 zk-STARK(Zero-Knowledge Scalable Transparent Argument of Knowledge)는 사용자가 어떤 정보를 알고 있다는 사실만을 증명하고, 그 정보 자체는 공개하지 않는 영지식 증명(Zero-Knowledge Proof) 기술입니다. 블록체인의 확장성, 개인정보 보호, 정합성 검증 등을 위한 핵심 기술로 자리잡고 있으며, DeFi, Rollup, DID, DAO 등 다양한 Web3 분야에서 활용되고 있습니다.1. 개념 및 정의영지식 증명(ZKP): “내가 어떤 정보를 알고 있다”는 사실을, 그 정보를 공개하지 않고 증명하는 암호학적 방..