제로 지식 증거가 상호 작용이 필요합니까? 상호 작용을 달성하는 방법?

제로 지식 증거 소개

제로 지식 증명 (ZKP)은 한 당사자, 잠언이 다른 당사자, 검증 자에게 증명할 수있는 암호화 프로토콜입니다. 제로 지식 증거의 개념은 1980 년대에 소개되었으며, 이후 암호화 분야, 특히 암호 화폐 생태계 내에서 초석이되었습니다. ZKPS의 중요한 측면 중 하나는 속도와 검증 자 사이의 상호 작용에 대한 요구 사항입니다. 그러나, 많은 실제 응용 분야, 특히 블록 체인 및 암호 화폐 시스템에서, 효율성 및 확장 성으로 인해 비 -Centeractive Zero-Knowledge Proofs (NIZKP)가 선호됩니다.

전통적인 제로 지식 증거에서 상호 작용의 필요성

전통적인 제로 지식 증명에서 상호 작용은 기본 요소입니다. 잠언과 검증자는 잠언이 검증자가 제기 한 도전에 반응하는 일련의 교환에 관여합니다. 이 앞뒤 커뮤니케이션은 검증자가 추가 정보를 배우지 않고 진술의 진실을 확신 할 수 있도록합니다. 예를 들어, 고전적인 ZK-SNARKS (제로 지식 간결한 지식의 지식에 대한 인수 논증)에서 초기 버전은 증거의 유효성을 확립하기 위해 여러 라운드 상호 작용이 필요했습니다. 이 상호 작용은 검증자가 다른 방식으로 속도에 도전 할 수 있기 때문에 중요합니다.

제로 지식 증명서에서 상호 작용을 달성합니다

제로 지식 증명서에서 상호 작용을 달성하기 위해 몇 가지 기술이 개발되었습니다. 기본 방법은 공통 참조 문자열 (CRS) 의 사용과 관련이 있으며, 이는 공개적으로 알려진 임의의 문자열입니다. 잠언은이 문자열을 사용하여 증명을 생성하며 검증자는이를 사용하여 증명의 유효성을 확인합니다. 이 접근법은 한 단계로 증명을 생성하고 검증 할 수 있으므로 여러 라운드 상호 작용의 필요성을 제거합니다.

공통 참조 문자열의 역할

공통 참조 문자열은 비 인터랙티브 제로 지식 증거에서 중추적 인 역할을합니다. 참가자 그룹이 문자열을 만들기 위해 협력하는 신뢰할 수있는 설정 프로세스를 사용하여 생성됩니다. 시스템의 보안은 설정 프로세스의 최소한 한 명의 참가자가 정직하며 CRS를 생성하는 데 사용되는 비밀 정보를 밝히지 않는다는 가정에 의존합니다. CRS가 설립되면, 모든 업체 및 검증자가 추가 상호 작용없이 증거를 생성하고 검증하기 위해 모든 공무원과 검증자가 사용할 수 있습니다.

비 결과 활성화 제로 지식 증거 구현

비 응결성 제로 지식 증명을 구현하려면 다음 단계가 일반적으로 따릅니다.

• 공통 참조 문자열 생성 : CRS를 만들기 위해 신뢰할 수있는 설정이 수행됩니다. 여기에는 여러 당사자가 임의의 값을 생성하고 시스템의 보안을 보장하는 방식으로 결합하는 것이 포함됩니다.
• 증거 만들기 : 잠언은 진술을 입증하고 CRS는 증거를 생성합니다. 이 증거는 진술의 타당성을 간결하게 표현한 것입니다.
• 증거 확인 : 검증자는 동일한 CRS와 속도가 제공 한 증거를 사용하여 명세서의 유효성을 확인합니다. 증거가 유효 한 경우, 검증자는 추가 정보를 배우지 않고 진술의 진실을 확신합니다.

cryptocurrencies의 실제 응용

상호 상호 관계가없는 제로 지식 증거는 암호 화폐 공간, 특히 Zcash 와 같은 개인 정보에 초점의 암호 화폐에서 중요한 응용 프로그램을 발견했습니다. Zcash는 ZK-SNARKS를 사용하여 발신자, 수신자 및 금액이 공개 관점에서 보호되는 개인 거래를 가능하게합니다. 이러한 증명의 비 중과 적 특성은 노드가 거래 당사자와 상호 작용할 필요없이 트랜잭션의 유효성을 확인할 수 있으므로 블록 체인에서 효율적인 거래 처리를 가능하게합니다.

ZK-SNARKS의 기술적 세부 사항

ZK-SNARKS 는 특히 블록 체인 애플리케이션에 적합한 특정 유형의 비 중과 제로 지식 증거입니다. 간결하게 간결합니다 . 이는 증명 크기와 검증 시간이 매우 작아서 블록 체인과 같은 자원으로 제한된 환경에서 사용하기에 효율적이라는 것을 의미합니다. ZK-SNARK를 생성하고 검증하는 과정에는 타원 곡선 쌍 및 다항식 약정을 포함한 여러 복잡한 수학 연산이 포함됩니다. 이러한 작업을 통해 잠언은 검증자가 효율적으로 검증 할 수있는 방식으로 진술을 인코딩 할 수 있습니다.

도전과 고려 사항

비회적 비회용 제로 지식 증거는 상당한 이점을 제공하지만 도전 과제도 있습니다. 공통 참조 문자열을 생성하는 데 필요한 신뢰할 수있는 설정은 잠재적 인 취약점입니다.이 프로세스 동안의 타협은 전체 시스템의 보안을 약화시킬 수 있기 때문입니다. 또한, 진행중인 연구는 이러한 프로토콜의 효율성을 향상시키는 것을 목표로하지만 증명을 생성하고 검증하는 계산 복잡성이 높을 수 있습니다.

자주 묻는 질문

Q : 암호 화폐의 개인 정보 보호 가외의 목적으로 제로 지식 증명을 사용할 수 있습니까?

A : 그렇습니다. 제로 지식 증거는 암호 화폐에서 개인 정보를 넘어서 응용 프로그램을 가지고 있습니다. 그들은 신원 확인, 보안 다자 계산 및 투표 시스템에서도 개별 투표를 공개하지 않고 투표 과정의 무결성을 보장하는 데 사용될 수 있습니다.

Q : 비interactive zero-knowledge 증거의 보안은 대화식 증거와 어떻게 비교됩니까?

A : 공통 참조 문자열이 단단히 생성된다면 비 중환자 제로 지식 증명의 보안은 일반적으로 대화 형 것만큼 강력한 것으로 간주됩니다. 주요 차이점은 효율성과 확장성에 있으며, 비 중 활성화 증명은 대규모 응용 분야에 더 적합합니다.

Q : 상호 작용을 달성하기위한 공통 참조 문자열에 대한 대안이 있습니까?

A : 그렇습니다. 무작위 오라클 과 지수 가정에 대한 지식 과 같은 대안이 있습니다. 이러한 방법은 또한 상호 작용을 달성하는 데 사용될 수 있지만 자체 가정 및 보안 고려 사항이 있습니다.

Q : 제로 지식 증명이 블록 체인 네트워크의 확장성에 어떤 영향을 미칩니 까?

A : 제로 지식 증거는 블록 체인에 저장 및 검증 해야하는 데이터의 양을 줄임으로써 블록 체인 네트워크의 확장 성을 크게 향상시킬 수 있습니다. 이는 증거가 간결하고 효율적 일 수있는 개인 정보 보호 중심의 암호 화폐에 특히 유리합니다.