ZK-SNARKS와 ZK-Starks의 차이점은 무엇입니까?

제로 지식 증거를 이해합니다

암호 화폐 및 블록 체인 기술 의 세계에서 개인 정보 보호 및 확장 성은 두 가지 중요한 과제입니다. 제로 지식 증명 (ZKP)은 한 당사자가 실제 정보를 공개하지 않고 가치 나 비밀을 알고 있음을 증명할 수 있도록하여 유망한 솔루션을 제공합니다. 가장 두드러진 두 가지 유형의 제로 지식 증명 유형은 ZK-SNARKS 및 ZK-Starks 입니다. 둘 다 프라이버시와 효율성을 향상시키는 것을 목표로하지만 근본적인 암호화 원칙과 성능 특성에서 크게 다릅니다.

ZK-Snarks는 무엇입니까?

ZK-SNARKS 는 지식이없는 간결한 간결한 지식 논증을 나타냅니다. 이 프로토콜을 통해 Prover는 검증 자에게 정보 자체를 공개하지 않고 특정 정보를 소유하고 있음을 확신시킬 수 있습니다. 주요 기능은 다음과 같습니다.

• 간결함 : 증명 크기는 작고 신속하게 확인할 수 있습니다.
• 비 중과성 : 잠언과 검증 자 사이의 전후 의사 소통이 필요하지 않습니다.
• 제로 지식 : 입력에 대한 정보는 공개되지 않습니다.

ZK-SNARKS는 Zcash 와 같은 개인 정보에 초점을 맞춘 암호 화폐에 사용되어 차폐 트랜잭션을 가능하게합니다. 그러나 그들은 신뢰할 수있는 설정 에 의존하며, 이는 중요한 단점입니다. 이 설정 중에는 암호화 매개 변수 세트가 생성되고 설정이 손상되면 공격자는 증거를 위조 할 수 있습니다.

ZK-Starks는 무엇입니까?

제로 지식 확장 가능한 지식의 투명한 논증을 나타내는 ZK-Starks 는 ZKP 기술의 진화입니다. ZK-SNARKS와 달리 ZK-STARKS는 투명하며 신뢰할 수있는 설정이 필요하지 않습니다. 대신, 그들은 충돌 내성 해시 함수 에 의존하여 양자 공격에 대해 더 안전하게 만듭니다.

ZK-Starks의 눈에 띄는 기능 중 일부는 다음과 같습니다.

• 투명성 : 신뢰할 수있는 설정이 필요하지 않습니다.
• 확장 성 : 큰 계산에 대해 증거를보다 효율적으로 생성 할 수 있습니다.
• 양자 저항성 : 해시 기반 암호화에 기반을두고 있으며, 이는 곱셈 이후 세계에서 더 안전하다고 간주됩니다.

이러한 특성으로 인해 ZK-Stark는 특히 이더 리움에 대한 Layer-2 스케일링 솔루션 과 같은 높은 수준의 보안 및 분산이 필요한 응용 분야에 매력적입니다.

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

ZK-SNARKS 와 ZK-Starks 의 주요 차이점은 암호화 기초, 성과 및 신뢰 가정에 있습니다.

• 신뢰할 수있는 설정 대 투명성 : ZK-SNARKS에는 신뢰할 수있는 설정 단계가 필요하며, 이는 제대로 실행되지 않으면 보안 취약성이 될 수 있습니다. 대조적으로, ZK-Starks는 투명하며 신뢰할 수있는 설정이 필요하지 않습니다.

• 증명 크기 및 확인 시간 : ZK-SNARKS는 더 작은 증거를 생성하고 검증 시간이 빠르기 때문에 데이터 용량이 제한된 블록 체인에 적합합니다. 그러나 ZK-Starks는 더 큰 증거를 생성하지만 복잡한 계산을 위해 더 빠릅니다.

• 양자 저항 : ZK-SNARKS는 양자 컴퓨팅 공격에 취약한 타원 곡선 암호화에 의존합니다. ZK-Starks는 양자 내성으로 간주되는 해시 함수를 사용합니다.

• 확장 성 : ZK-Starks는 더 큰 계산을 효율적으로 처리 할 수있는 능력으로 인해 더욱 확장 가능합니다.

사용 사례 및 응용 프로그램

ZK-SNARKS와 ZK-STARK는 블록 체인 생태계 에서 개인 정보 및 확장 성을 향상시키기 위해 사용됩니다. 그러나 그들의 사용 사례는 특성에 따라 다릅니다.

• ZK-SNARKS는 Zcash 와 같은 개인 정보 보호 동전 및 작은 증거 크기와 빠른 검증이 중요한 분산 식별 시스템 에서 널리 사용됩니다.

• ZK-Starks 는 Starkware 와 같은 Layer-2 솔루션 에서 견인력을 얻고 있으며, 이는 Ethereum의 확장 가능 및 개인 인프라를 구축합니다. 그들의 투명성과 확장 성은 신뢰 최소화와 성능이 핵심적인 응용 프로그램에 이상적입니다.

또한 데이터 무결성 및 계산 효율성이 필수적인 분산 된 금융 (DEFI) 및 공급망 추적 에 대해 ZK-Starks가 탐색되고 있습니다.

성능 및 상충 관계

ZK-SNARKS 및 ZK-Starks 의 성능을 비교할 때 몇 가지 트레이드 오프가 나타납니다.

• 잠언 시간 : ZK-Starks는 일반적으로 복잡한 계산을위한 더 빠른 속담 시간을 가지고 있으며, 이는 대규모 데이터 세트와 관련된 응용 프로그램에 유리합니다.

• 검증 시간 : ZK-SNARKS는 더 빠른 검증 시간을 제공하며, 이는 온쇄 계산 용량이 제한된 블록 체인에 유리합니다.

• 스토리지 요구 사항 : ZK-STARKS는 ZK-SNARKS보다 더 큰 증거를 생성하여 저장 공간이 제한된 시스템에 관심이 될 수 있습니다.

• 보안 가정 : ZK-Starks는 잘 확립 된 해시 기능에 의존하여 더 안전한 것으로 간주되는 반면 ZK-SNARK는 컴퓨팅의 향후 발전에 취약 할 수있는 암호화 가정에 의존합니다.

자주 묻는 질문

Q : ZK-SNARKS 및 ZK-Starks가 시스템에서 함께 사용할 수 있습니까? 예, 하이브리드 시스템은 사용 사례에 따라 두 프로토콜을 모두 활용할 수 있습니다. 예를 들어, ZK-SNARKS는 제한된 환경에서 빠른 검증에 사용될 수있는 반면, ZK-Starks는 투명성이 필요한 대규모 계산에 사용될 수 있습니다.

Q : 신뢰할 수있는 설정이 Zk-Snarks에 대한 우려가되는 이유는 무엇입니까? 초기 매개 변수가 단단히 파괴되지 않으면 악의적 인 행위자가 가짜 증거를 생성 할 수 있습니다. 이것은 전체 시스템의 무결성과 신뢰성을 약화시킵니다.

Q : 이더 리움 스케일링에 더 적합한 것은 무엇입니까? ZK-Starks는 확장 성, 투명성 및 스마트 계약과의 호환성으로 인해 이더 리움 스케일링에 점점 더 선호됩니다.

Q : ZK-Starks는 양자 공격에 완전히 면역이됩니까? 그것들은 ZK-SNARK보다 저항력이 있지만 암호화 시스템은 100% 면역이 아닙니다. 그러나 해시 기반의 ZK-Starks 디자인은 양자 위협에 훨씬 더 탄력적입니다.