블록 체인 제로 지식 증거? 제로 지식 증거의 응용 프로그램 시나리오

블록 체인의 제로 지식 증거는 무엇입니까?

제로 지식 증명 (ZKP)은 한 당사자 (잠언)가 실제 정보를 공개하지 않고 가치 또는 비밀을 알고 있음을 다른 당사자 (검증 자)에게 증명할 수있는 암호화 방법입니다. 블록 체인의 맥락 에서이 개념은 신뢰할 수없는 검증을 유지하면서 개인 정보 및 확장 성을 향상시키는 데 중요한 역할을합니다.

일반적인 예는 실제로 암호를 공개하지 않고 암호에 대한 지식을 증명하는 것입니다. Zcash와 같은 블록 체인 시스템에서는 제로 지식 증명이 발신자, 수신기 또는 금액 세부 사항을 노출시키지 않고 거래 유효성을 보장하는 데 사용됩니다.

제로 지식 증명은 어떻게 작동합니까?

핵심적으로 제로 지식 증명 프로토콜에는 세 가지 주요 속성, 즉 완전성, 건전성 및 제로 지식이 포함됩니다. 이들은 다음과 같이 보장합니다.

• 진술이 사실이라면 정직한 검증자가 확신합니다.
• 부정 행위를하는 속도는 허위 진술의 검증 자에게 설득 할 수 없습니다.
• 검증자는 진술의 진실 외에는 아무것도 배우지 않습니다.

대중적인 구현 중 하나는 ZK-SNARKS (제로 지식 간결하지 않은 지식에 대한 비판적 논증) 입니다. 이 메커니즘은 최소한의 데이터 교환으로 빠른 검증을 허용합니다. 또 다른 변형 인 ZK-Starks (확장 가능한 지식의 확장 가능한 인수)는 유사한 이점을 제공하지만 신뢰할 수있는 설정 의식에 대한 의존을 제거하여 확장 성과 투명성이 향상됩니다.

거래의 개인 정보 보존

제로 지식 증명서의 가장 두드러진 응용 중 하나는 트랜잭션 프라이버시 입니다. Bitcoin 및 Ethereum과 같은 전통적인 블록 체인은 거래 세부 사항을 공개적으로 노출시킵니다. ZKPS를 사용하면 네트워크 노드가 정당성을 확인할 수 있도록 개인적으로 거래 할 수 있습니다.

예를 들어:

• Zcash는 ZK-SNARKS를 사용하여 트랜잭션 메타 데이터를 보호합니다.
• 사용자는 투명한 거래 및 차폐 트랜잭션 중에서 선택할 수 있습니다.
• 차폐 트랜잭션은 발신자, 수신자 및 양도 금액을 숨 깁니다.

이를 통해 디지털 환경의 현금 거래와 유사한 금융 개인 정보가 가능하여 ZKP가 GDPR 및 방지 방지 문제와 같은 규정을 준수하는 데 필수적입니다.

롤업을 통한 확장 성 향상

또 다른 주요 응용 프로그램은 계층 2 스케일링 솔루션 , 특히 ZK- 롤업 에 있습니다. 이 시스템은 여러 트랜잭션 오프 체인을 묶고 메인 체인에 단일 증거를 제출하여 계산 부하를 크게 줄입니다.

주요 기능은 다음과 같습니다.

• 트랜잭션 집계 : 수천 개의 작업이 사슬로 처리됩니다.
• 증거 제출 : 간결한 ZKP는 배치의 정확성을 확인합니다.
• 온 체인 검증 : 이더 리움 또는 기타 L1 체인은 모든 거래를 다시 실행하는 대신 증거를 검증합니다.

이 접근법은 처리량을 크게 향상시키고 가스 수수료를 줄입니다. Starkware and Matter Labs (ZKSYNC) 와 같은 프로젝트는 이러한 메커니즘을 활용하여 분산 응용 프로그램을 효율적으로 확장합니다.

데이터 노출없이 신원 확인

금융 외에도 제로 지식 증명은 분산 된 신원 관리를 위한 강력한 솔루션을 제공합니다. 개인 데이터를 공개하지 않고 개인이 특정 속성 (예 : 연령, 시민권, 계정 잔액)을 증명할 수 있습니다.

사용 사례는 다음과 같습니다.

• KYC/AML 확인 : 사용자는 전체 문서를 공유하지 않고 자격을 입증 할 수 있습니다.
• 로그인 자격 증명 : 암호를 전송하지 않고 인증.
• 액세스 제어 : 원시 데이터가 아닌 검증 된 클레임에 따라 권한 부여.

이는 SSI (Self-Sovereign Identity) 의 원칙과 일치하며 데이터 노출 지점을 최소화하여 보안을 향상시킵니다.

스마트 계약 기밀성

공개 블록 체인에서는 스마트 계약이 완전히 보이며 기밀이 필요한 기업에게는 문제가 될 수 있습니다. 제로 지식 증거는 논리 및 상태 전환이 숨겨져 있지만 검증 가능한 개인 스마트 계약 실행을 가능하게합니다.

응용 프로그램은 다음과 관련이 있습니다.

• 개인 계산 : 계약 로직 오프 체인 실행 및 유효성 검사를 위해 ZKP를 제출합니다.
• 기밀 입력 및 출력 : 매개 변수를 숨기는 것은 계약으로 전달되었습니다.
• 선택적 공개 : 특정 당사자에게 필요한 결과 만 공개합니다.

Ernst & Young의 Aztec Network 및 Nightfall 과 같은 프레임 워크는 ZKP를 통합하여 엔터프라이즈 수준 블록 체인 배포에서 투명성과 재량을 모두 유지합니다.

자주 묻는 질문 (FAQ)

Q1 : 제로 지식 증거가 깨질 수 있습니까? 이론적으로 안전하지만 ZKP의 강점은 근본적인 암호화 가정과 적절한 구현에 달려 있습니다. 양자 컴퓨팅의 발전은 ZK-SNARKS와 같은 일부 ZKP 변형에 장기적인 위험을 초래할 수 있습니다.

Q2 : 제로 지식 증명이 모두 동일합니까? 아니요. ZK-SNARKS, ZK-STARKS 및 BULLETPROOT와 같은 다양한 유형이 있으며 각각 성능, 신뢰 가정 및 사용 사례가 있습니다.

Q3 : ZK-STARKS는 ZK-SNARKS와 어떻게 다릅니 까? ZK-Starks는 신뢰할 수있는 설정의 필요성을 제거하고 양자 공격에 더 저항력이 있지만 더 큰 증거를 생성하고 ZK-SNARK에 비해 더 많은 스토리지가 필요합니다.

Q4 : 제로 지식 증거로 작업하는 개발자에게는 어떤 도구가 있습니까? 인기있는 개발 프레임 워크에는 Circom, Snarkjs, Cairo 및 Noir가 포함됩니다. 이 도구는 회로 구축, 증명을 생성하며 ZKP를 DAPP에 통합하는 데 도움이됩니다.