ZK-SNARKS와 ZK-Starks는 무엇이며 어떻게 다릅니 까?

제로 지식 증거 소개

제로 지식 증명 (ZKP)은 암호화 방법으로 한 당사자가 다른 당사자가 추가 정보를 공개하지 않고 진술이 사실임을 증명할 수 있도록합니다. cryptocurrencies의 세계에서 ZKP는 특히 개인 정보 및 보안을 향상시키는 데 유용합니다. 두 가지 유형의 ZKP는 ZK-SNARKS 및 ZK-STARK 입니다. 이러한 기술을 사용하면 거래 세부 사항을 공개하지 않고 거래를 검증 할 수 있으므로 Zcash와 같은 개인 정보 보호 중심 블록 체인에 중요합니다.

zk-snarks 이해

제로 지식 간결한 간결한 지식에 대한 언급 적 주장을 나타내는 ZK-SNARKS 는 한 당사자가 공개하지 않고 특정 정보의 소유를 증명할 수있는 ZKP의 유형입니다. ZK-SNARKS의 주요 특징에는 간결함과 비 중감기가 포함됩니다. 즉, 증거는 속담과 검증 자 사이의 추가 의사 소통없이 신속하고 신속하게 검증 될 수 있습니다.

cryptocurrencies의 맥락에서 ZK-SNARKS는 발신자, 수신자 또는 전송 금액을 밝히지 않고 블록 체인의 트랜잭션을 검증하는 데 사용됩니다. 이것은 네트워크의 누구나 확인할 수있는 증거를 생성하는 복잡한 수학적 프로세스를 통해 달성됩니다.

ZK-SNARKS의 작동 방식을 이해하려면 다음 단계를 고려하십시오.

• 설정 단계 : 공통 참조 문자열 (CRS)이 생성되어 증명을 생성하고 확인하는 데 사용됩니다. 이 단계는 중요하며 취약성을 방지하기 위해 안전하게 수행해야합니다.
• 증명 생성 : 잠언은 CRS를 사용하여 특정 진술이 사실이라는 증거를 생성합니다. 이 증거는 간결하며 기본 데이터를 밝히지 않고 생성 할 수 있습니다.
• 확인 : 검증자는 CRS를 사용하여 증거를 확인합니다. 증명이 유효 한 경우, 검증자는 세부 사항을 모르면 진술이 사실이라고 확신 할 수 있습니다.

zk-starks 이해

ZK-Starks , 또는 제로 지식 확장 가능한 지식에 대한 투명한 인수는 유사한 개인 정보 혜택을 제공하지만 다른 기술적 특성을 제공하는 또 다른 유형의 ZKP입니다. ZK-Starks의 주요 기능에는 확장 성과 투명성이 포함됩니다. 즉, 신뢰할 수있는 설정이 필요하지 않으며 더 큰 계산을보다 효율적으로 처리 할 수 ​​있습니다.

cryptocurrency 공간에서 ZK-Starks는 블록 체인 거래의 개인 정보 및 확장 성을 향상시키는 데 사용됩니다. 이들은 높은 처리량과 낮은 대기 시간이 필요한 애플리케이션에 특히 유용합니다.

ZK-Starks를 사용하는 과정에는 다음과 같은 단계가 포함됩니다.

• 증명 생성 : 잠재 기업은 특정 계산이 올바르게 수행되었다는 증거를 생성합니다. 이 증거는 확장 가능하며 큰 계산을 처리 할 수 ​​있습니다.
• 확인 : 검증자는 공개적으로 사용 가능한 정보를 사용하여 증거를 확인합니다. 검증 프로세스는 투명하며 신뢰할 수있는 설정이 필요하지 않습니다.

ZK-SNARKS와 ZK-Starks의 주요 차이점

ZK-SNARKS와 ZK-STARKS는 모두 지식 증거를 제공하지만 이들 사이에는 몇 가지 주요 차이점이 있습니다.

• 신뢰할 수있는 설정 : ZK-SNARKS에는 신뢰할 수있는 설정 단계가 필요하므로 올바르게 수행하지 않으면 잠재적 인 보안 위험이 될 수 있습니다. 대조적으로, ZK-Starks는 신뢰할 수있는 설정이 필요하지 않으므로보다 투명하고 안전합니다.
• 확장 성 : ZK-Starks는 더욱 확장 가능하며 ZK-SNARK보다 더 큰 컴퓨팅을 더 효율적으로 처리 할 수 ​​있습니다. 따라서 높은 처리량이 필요한 응용 프로그램에 적합합니다.
• 증명 크기 및 확인 시간 : ZK-SNARKS는 일반적으로 ZK-Starks에 비해 더 작은 증거 크기와 더 빠른 검증 시간을 갖습니다. 그러나 계산 크기가 증가함에 따라 검증 시간의 차이가 덜 중요 해집니다.
• 암호화 가정 : ZK-SNARKS는 특정 수학적 가정을 기반으로하는 타원 곡선 암호화에 의존합니다. 반면에 ZK-Starks는 해시 기능에 의존하며 퀘스트 후 보안으로 간주됩니다.

cryptocurrencies의 응용 프로그램

ZK-SNARKS와 ZK-Starks는 개인 정보 및 확장 성을 향상시키기 위해 다양한 암호 화폐로 구현되었습니다. 예를 들어, Zcash는 ZK-SNARKS를 사용하여 개인 거래를 가능하게하는 반면 Starkware는 ZK-STARKS를 활용하여 이더 리움의 확장 성을 향상시킵니다.

ZCASH에서 사용자는 ZK-SNARKS를 사용하여 거래를 보호 할 수 있으므로 세부 사항을 밝히지 않고 거래가 유효하다는 것을 증명할 수 있습니다. 이 기능은 Zcash가 개인 정보를 우선 순위를 정하는 사용자에게 인기있는 선택으로 만들었습니다.

반면에 Starkware는 ZK-Starks를 사용하여 Ethereum을위한 확장 가능한 솔루션을 만듭니다. Starknet으로 알려진 그들의 기술은 복잡한 계산 오프 체인을 실행하고 쇄 온 체인 증명을 제출할 수있어 이더 리움 네트워크의 처리량을 크게 증가시킵니다.

ZK-SNARKS 및 ZK-Starks의 기술 구현

cryptocurrency에서 ZK-SNARKS 및 ZK-STARK를 구현하려면 몇 가지 기술 단계가 포함됩니다. 다음은 이러한 기술이 블록 체인 시스템에 어떻게 통합되는지에 대한 자세한 내용입니다.

• ZK-SNARKS 구현 :

  • 설정 : 안전한 다중 파티 계산 프로토콜을 사용하여 공통 참조 문자열 (CRS)을 생성합니다. 이 단계는 시스템의 보안을 보장하는 데 중요합니다.
  • 회로 설계 : 회로로 입증되어야하는 계산을 정의합니다. 여기에는 계산을 일련의 논리적 문으로 변환하는 것이 포함됩니다.
  • 증명 생성 : 회로와 CRS를 사용하여 증명을 생성하십시오. 여기에는 간결하게 검증 될 수있는 복잡한 수학적 문제를 해결하는 것이 포함됩니다.
  • 확인 : CRS를 사용하여 증명을 확인하는 검증 알고리즘을 구현하십시오. 이 알고리즘은 효율적이고 증거를 신속하게 검증 할 수 있어야합니다.

• ZK-Starks 구현 :

  • 회로 설계 : ZK-SNARKS와 유사하게 계산을 회로로 정의하십시오. 그러나 ZK-Starks는 산술 회로로 알려진 다른 유형의 회로를 사용합니다.
  • 증명 생성 : 산술 회로를 사용하여 증명을 생성합니다. 여기에는 투명하게 검증 될 수있는 일련의 약속과 증거를 만드는 것이 포함됩니다.
  • 확인 : 공개적으로 사용 가능한 정보를 사용하여 증명을 확인하는 검증 알고리즘을 구현하십시오. 이 알고리즘은 확장 가능하고 대규모 계산을 효율적으로 처리 할 수 ​​있어야합니다.

자주 묻는 질문

Q : 단일 블록 체인 시스템에서 ZK-SNARKS 및 ZK-STARKS를 함께 사용할 수 있습니까?

A : 그렇습니다. 응용 프로그램의 특정 요구 사항에 따라 단일 블록 체인 시스템에서 ZK-SNARKS 및 ZK-STARKS를 모두 사용할 수 있습니다. 예를 들어, 블록 체인은 더 ​​작고 더 빈번한 트랜잭션에 ZK-SNARKS를 사용하고 더 크고 더 복잡한 계산을 위해 ZK-Starks를 사용할 수 있습니다.

Q : ZK-SNARKS와 ZK-Starks를 모두 사용하는 암호 화폐가 있습니까?

A : 대부분의 cryptocurrency는 하나 또는 다른 하나를 사용하지만 두 기술의 사용을 탐구하는 프로젝트가 있습니다. 예를 들어, 일부 이더 리움을위한 일부 레이어 -2 스케일링 솔루션은 ZK-SNARKS 및 ZK-STARKS를 통합하여 성능 및 개인 정보를 최적화하는 것을 고려하고 있습니다.

Q : ZK-SNARKS 및 ZK-STARKS는 블록 체인의 전반적인 보안에 어떤 영향을 미칩니 까?

A : 두 기술 모두 개인 거래를 가능하게하고 데이터 유출의 위험을 줄임으로써 블록 체인의 보안을 향상시킵니다. 그러나 ZK-SNARKS의 보안은 신뢰할 수있는 설정 단계에 따라 달라지며 ZK-Starks는 신뢰할 수있는 설정 부족으로 인해보다 투명하고 잠재적으로 더 안전한 접근 방식을 제공합니다.

Q : ZK-SNARKS 및 ZK-Starks를 사용하여 증명을 생성하고 검증하기위한 계산 요구 사항은 무엇입니까?

A : ZK-SNARKS 및 ZK-STARKS의 계산 요구 사항은 다양합니다. ZK-SNARKS는 일반적으로 검증을 위해서는 덜 계산 능력이 필요하지만 증거 생성에는 더 많은 것이 필요합니다. 반면에 ZK-Starks는 검증을 위해 더 많은 계산 능력이 필요하지만 더 큰 계산을보다 효율적으로 처리 할 수 ​​있습니다.