제로 지식 증거는 무엇입니까?

암호화에서 제로 지식 증거를 이해합니다

1. 제로 지식 증거는 한 당사자가 진술 자체의 진실을 넘어서는 정보를 공개하지 않고 진술이 사실이라는 것을 다른 당사자에게 증명할 수있는 암호화 방법입니다. 이 개념은 블록 체인 네트워크 내에서 개인 정보 및 보안을 향상시키는 데 중추적 인 역할을합니다. 디지털 통화의 맥락에서 이러한 증명은 발신자, 수신자 또는 금액 세부 사항을 노출시키지 않고 거래 검증을 가능하게합니다.

2.이 메커니즘은 비밀을 공개하지 않고 개인 키와 같은 비밀에 대한 지식의 검증자를 설득하는 복잡한 수학적 프로토콜에 의존합니다. 이러한 증거는 확률 론적이며, 이는 반복적 인 검증 라운드를 통해 속임수의 가능성을 무의미하게 작은 수준으로 줄입니다.

3. 전형적인 예는 '알리 바바 동굴'비유이며, 여기서 사람은 단어를 말하지 않고 문을 여는 비밀 단어에 대한 지식을 보여줍니다. 블록 체인에 적용되는 이는 거래 검증 거래로 해석되면서 분산 된 금융 (DEFI) 응용 프로그램에서 인기가 높은 기능인 전체 기밀 유지를 보존합니다.

4. 제로 지식으로 자격을 갖추기위한 증거를 위해서는 세 가지 속성을 충족시켜야합니다. 완전성 (정직한 잠재력은 정직한 검증자를 설득 할 수 있음), 소리 (부정직 한 포로가 검증자를 속일 수 없음) 및 제로 지식 (검증자는 진술의 유효성을 넘어서는 것을 배우지 않습니다).

5. 이러한 증거는 이론적 구성만이 아닙니다. 이들은 Zcash 및 Monero와 같은 개인 정보 중심의 암호 화폐에 적극적으로 배포되며, 여기서 트랜잭션 세부 사항은 여전히 ​​네트워크 참가자가 검증 할 수있는 동안 숨겨져 있습니다.

암호화 생태계에서 제로 지식 증거의 응용

1. 제로 지식 증명의 가장 영향력있는 용도 중 하나는 ZK-SNARKS (제로 지식 간결한 비판적 지식 논증)에 있으며, 이는 ZCASH에서 트랜잭션을 보호합니다. 이를 통해 사용자는 공개 원장에서 완전히 개인 거래를 수행하여 익명 성을 희생하지 않고 블록 체인 무결성을 유지할 수 있습니다.

2. ZK-Rollups와 같은 Layer 2 스케일링 솔루션은 제로 지식 증거를 사용하여 수천 개의 트랜잭션을 쇄외에서 묶고 메인 이더 리움 블록 체인에 단일 증거를 제출합니다. 이것은 보안 및 탈 중앙화를 유지하면서 가스 수수료를 크게 줄이고 처리량을 증가시킵니다.

3. 탈 중앙화 식별 시스템 시스템은 제로 지식 증거를 활용하여 사용자가 기본 문서를 공개하지 않고 연령이나 시민권과 같은 속성을 증명할 수 있도록합니다. 이는 특히 고객 (KYC) 규칙이 적용되는 토큰 화 된 자산 플랫폼의 준수와 관련이 있지만 개인 정보가 가장 중요합니다.

4. 블록 체인의 예측 시장 및 투표 메커니즘에서, 제로 지식 증거는 참가자의 선택을 노출시키지 않고 투표 또는 베팅이 유효하도록 보장하고 강요를 방지하며 공정성을 보존합니다.

5. 크로스 체인 브리지는 전체 데이터 세트를 전송하지 않고 한 블록 체인의 상태를 다른 블록 체인의 상태를 확인하기 위해 제로 지식 증거를 통합하기 시작했습니다.

기술적 인 도전과 트레이드 오프

1. 제로 지식 증명을 생성하려면 특히 복잡한 진술을 위해서는 상당한 계산 리소스가 필요합니다. 이는 저전력 장치를 가진 사용자의 접근성을 제한하고 중앙 집중식 증명 서비스에 대한 의존도를 높일 수 있습니다.

2. ZK-SNARKS의 초기 버전과 같은 일부 구현은 초기 매개 변수가 생성되는 신뢰할 수있는 설정 단계에 따라 다릅니다. 이 단계의 참가자가 부정직하게 행동하거나 데이터가 누출되면 전체 시스템의 보안이 손상 될 수 있습니다.

3. ZK-Starks는 투명한 매개 변수에 의존하여 신뢰할 수있는 설정이 필요하지 않지만 더 큰 증거 크기를 생성하여 체인에 대한 검증 비용이 높아지고 특정 블록 체인 환경에서 효율성을 제한합니다.

4. 제로 지식 회로 디버깅 및 감사는 기존의 스마트 계약보다 훨씬 어렵습니다. 회로 설계의 오류로 인해 잘못된 증거가 허용되거나 유효한 증거가 거부되어 감지하기 어려운 취약점을 만듭니다.

5. 표준화는 여전히 도전입니다. 다양한 프로젝트는 다양한 형식과 라이브러리 (예 : Circom, Halo2)를 사용하여 상호 운용성 및 툴링 지원을 생태계 전체에 분류합니다.

자주 묻는 질문

ZK-SNARKS와 ZK-Starks의 차이점은 무엇입니까? ZK-SNARKS는 간결하고 비 중 활성화이지만 신뢰할 수있는 설정이 필요합니다. ZK-Starks는 투명하고 확장 가능하며 퀘텀 이후 안전하지만 더 큰 증거를 생성하므로 체인을 확인하는 데 더 비싸집니다.

블록 체인 외부에서 제로 지식 증명을 사용할 수 있습니까? 예, 공개없이 정보를 확인하는 데 필수적인 보안 인증 시스템, 개인 데이터 공유 및 군사 커뮤니케이션에 적용됩니다.

제로 지식 증거가 거래를 완전히 익명으로 만들까요? 트랜잭션 세부 사항을 숨겨서 강력한 개인 정보 보장을 제공하지만 IP 주소 또는 타이밍과 같은 네트워크 수준 메타 데이터는 추가 계층으로 보호되지 않으면 여전히 사용자 동작을 노출시킬 수 있습니다.

제로 지식 증명이 양자 저항력이 있습니까? ZK-Starks는 해시 기반 암호화에 의존하여 양자 저항성으로 간주되는 반면, 타원 곡선 또는 페어링 기반 암호화를 기반으로 한 ZK-SNARKS는 대규모 양자 컴퓨터가 작동하면 양자 공격에 취약합니다.