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는 ..

개요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): “내가 어떤 정보를 알고 있다”는 사실을, 그 정보를 공개하지 않고 증명하는 암호학적 방..

개요Optimistic Rollup과 ZK Rollup은 이더리움의 확장성과 수수료 문제를 해결하기 위한 대표적인 Layer 2 기술입니다. 두 기술 모두 다량의 트랜잭션을 오프체인에서 처리하고 그 요약만 메인체인에 기록함으로써 속도 향상과 비용 절감을 실현합니다. 그러나 합의 방식, 보안 모델, 처리 속도 등에서 차이를 보이며, 각각의 장단점과 적용 사례에 따라 선택이 달라집니다. 본 글에서는 Optimistic Rollup과 ZK Rollup의 구조와 특징을 비교 분석합니다.1. Rollup 개요 및 정의Rollup은 Layer 2 확장 방식으로, 다수의 트랜잭션을 오프체인에서 처리한 후 압축된 데이터를 Layer 1 블록체인(Ethereum)에 기록합니다.데이터는 온체인에 저장하되 실행은 오프체인에..