제로 지식 증명 마이닝이란 무엇입니까? 향후 애플리케이션 시나리오는 무엇입니까?

제로 지식 증거 마이닝의 개념을 이해합니다

제로 지식 증거 마이닝은 광부 또는 유효성 검사기가 ZKP (Zero-Knowledge Proofs)를 사용하여 민감한 데이터를 공개하지 않고 트랜잭션을 확인하는 블록 체인 기술의 전문 프로세스를 나타냅니다. 이 방법을 사용하면 한 당사자 (Prover)가 다른 당사자 (검증 자)에게 그들이 알고 있다는 사실과는 별도로 추가 지식을 전달하지 않고 가치 나 정보를 알고 있음을 증명할 수 있습니다.

Bitcoin과 같은 전통적인 블록 체인 시스템에서 광부는 계산 능력을 사용하여 복잡한 수학 퍼즐을 해결하여 트랜잭션을 검증하고 원장에 추가합니다. 대조적으로, 제로 지식 증거 마이닝에는 프라이버시를 보존하면서 거래 유효성을 보장하는 암호화 증명을 생성하고 검증하는 것이 포함됩니다.

이 녹색 효과는 개념과 관련된 주요 용어를 강조합니다.

블록 체인 마이닝에서 제로 지식 증명이 작동하는 방법

제로 지식 증거 마이닝의 핵심 메커니즘은 ZK-SNARKS (제로 지식 간결한 비회적 지식 논증) 또는 ZK-Starks (제로 지식 확장 가능한 투명한 지식 인수) 에 있습니다. 이들은 확장 성과 개인 정보를 향상시키기 위해 블록 체인에 사용되는 제로 지식 프로토콜의 유형입니다.

• 광부 또는 유효성 검사기는 계산의 정확성을 확인하는 간결한 증거를 생성합니다.
• 그런 다음 이러한 증명은 네트워크의 다른 노드에 의해 확인됩니다.
• 검증 프로세스는 빠르며 전체 계산을 다시 실행할 필요가 없습니다.
• 결과적으로 시스템은 더욱 확장 가능하고 비공개가됩니다.

예를 들어, Zcash 블록 체인에서 제로 지식 증거는 발신자, 수신자 및 금액이 기밀로 유지되는 차폐 트랜잭션을 활성화하는 데 사용되지만 네트워크는 여전히 거래의 정당성을 검증 할 수 있습니다.

제로 지식 증거 마이닝과 관련된 기술 프로세스

제로 지식 증거 마이닝의 기술 워크 플로우에는 몇 가지 단계가 포함됩니다.

• 회로 생성 : 개발자는 트랜잭션 또는 스마트 계약의 논리를 산술 회로로 변환합니다.
• 증인 세대 : 계산에 필요한 비밀 입력이 포함 된 증인이 만들어졌습니다.
• 증명 생성 : ZK-SNARKS 또는 ZK-STARKS를 사용하면 회로 및 증인에 따라 증거가 생성됩니다.
• 증명 검증 : 네트워크의 다른 노드는 실제 데이터에 대한 액세스없이 증명을 확인합니다.

각 단계에는 개발 및 구현을 위해 Libsnark , Bellman 또는 Circom 과 같은 특정 암호화 도구 및 라이브러리가 필요합니다. 개발자는 회로를 정확하게 설계하기 위해 R1CS (Rank-1 제약 시스템) 와 같은 도메인 별 언어에 능숙해야합니다.

제로 지식 증거 마이닝의 사용 사례 및 응용 시나리오

제로 지식 증거 마이닝이 중요한 역할을하는 경우 몇 가지 응용 시나리오가 나타나고 있습니다.

• 개인 거래 : Zcash 및 Monero와 같은 블록 체인은 ZKP를 사용하여 사용자가 개인적으로 거래 할 수 있도록하면서 합의 규칙을 준수 할 수 있습니다.
• 신원 확인 : 사용자는 분산 된 신원 시스템에 유용한 개인 정보를 노출시키지 않고 신원 또는 자격 증명을 증명할 수 있습니다.
• 확장 성 솔루션 : ZK-Rollups 와 같은 계층 2 프로토콜은 여러 트랜잭션을 단일 증거로 집계하여 주 체인의 혼잡을 줄입니다.
• 보안 투표 시스템 : 제로 지식 증거는 유권자 선택을 노출시키지 않고 투표를 확인하여 투명하고 안전한 선거를 가능하게합니다.
• 공급망 무결성 : 회사는 독점적 인 공급망 세부 사항을 밝히지 않고 제품 진정성 또는 원산지를 증명할 수 있습니다.

이러한 응용 프로그램은 제로 지식 증거 마이닝이 기밀성을 손상시키지 않고 다양한 산업에서 신뢰할 수없는 검증을 가능하게하는 방법을 보여줍니다.

제로 지식 증거 마이닝의 도전과 한계

장점에도 불구하고 제로 지식 증거 마이닝은 몇 가지 과제가 있습니다.

• 높은 계산 간접비 : 증명을 생성하는 것은 특히 복잡한 계산에 대한 리소스 집약적 일 수 있습니다.
• 신뢰할 수있는 설정 요구 사항 : ZK-SNARKS와 같은 일부 프로토콜에는 신뢰할 수있는 설정 단계가 필요하므로 손상되면 위험을 초래합니다.
• 구현의 복잡성 : 건축 및 감사 회로 및 증거는 고급 암호화 전문 지식을 요구합니다.
• 제한된 툴링 및 문서화 : 개선은 개선되었지만 많은 개발자들은 생태계를 비교적 새롭고 탐색하기가 어렵다는 것을 알게됩니다.

효율성을 향상시키고, 설정 복잡성을 줄이며, 더 나은 개발자 도구를 개발하여 제로 지식 증거 광업을보다 접근 할 수 있도록 노력하고 있습니다.

자주 묻는 질문 (FAQ)

Q : ZK-SNARKS와 ZK-Starks의 차이점은 무엇입니까? A : ZK-SNARKS는 신뢰할 수있는 설정에 의존하며 간결하지만 설정이 손상되면 보안 문제를 제기 할 수 있습니다. ZK-Starks는 신뢰할 수있는 설정의 필요성을 제거하고 더 큰 증거를 생성하지만 확장 성을 더 많이 제공합니다.

Q : cryptocurrency 외부에서 제로 지식 증거를 사용할 수 있습니까? A : 예, 보안 인증, 개인 데이터 공유 및 의료, 금융 및 물류와 같은 분야의 검증 가능한 컴퓨팅을 포함한 광범위한 응용 프로그램이 있습니다.

Q : 제로 지식 증명이 네트워크 탈 중앙화에 어떤 영향을 미칩니 까? A : 개인 정보 및 확장 성을 향상 시키지만, 높은 계산 비용 증명 생성 비용은 최적화 된 하드웨어 또는 소프트웨어 솔루션이 널리 채택되지 않는 한 광업 전력을 중앙 집중화 할 수 있습니다.

Q : 제로 지식 증명을 개발할 수있는 오픈 소스 도구가 있습니까? A : 그렇습니다. 인기있는 도구에는 Circom , Snarkjs , Libsnark 및 Zokrates 가 포함되어있어 개발자가 제로 지식 증명을 효율적으로 만들고 확인하는 데 도움이됩니다.