ITPE * JackerLab

개요Halo2는 zk-SNARK와 zk-STARK의 장점을 결합한 범용 Zero-Knowledge Proof 시스템으로, 신뢰 설정(trusted setup)이 필요 없고 순환 증명(recursive proof)을 통해 무한 확장 가능한 구조를 갖는다. zkRollup, zkEVM, 블록체인 프라이버시 증명 등에 최적화되어 있으며, Electric Coin Company(Zcash 개발사)와 Ethereum 커뮤니티에서 활발히 연구되고 있다.1. 개념 및 정의 항목 설명 정의신뢰 설정 없이도 작동하며, 순환 가능성과 범용성을 갖춘 zk-SNARK 시스템목적영지식 증명을 안전하고 반복 가능하게 설계필요성기존 SNARK의 trusted setup 문제와 확장성 한계 극복Halo2는 Halo1을 기반으로 더..

개요PLONK(Permutation Argument for Knowledge)는 범용 ZK-SNARK(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge) 프로토콜로, 다양한 회로에 적용 가능하고 신뢰 설정(Trusted Setup)이 반복 불필요한 구조를 특징으로 한다. Ethereum, ZK-Rollup, 블록체인 프라이버시 기술에 적용되며 빠른 검증과 뛰어난 확장성을 제공한다.1. 개념 및 정의 항목 설명 정의단일 구조의 회로에서 다양한 연산을 표현할 수 있는 범용 ZK-SNARK 프로토콜목적증명 생성자와 검증자가 효율적으로 비대화식으로 증명 검증 수행필요성다양한 회로 지원, 단일 trusted setup, 빠른 검증의 필요성PLONK는 ..