Snark와 Stark의 차이점은 무엇입니까?

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

제로 지식 증명 (ZKP)은 암호화 프로토콜입니다. 한 당사자는 실제 데이터를 공개하지 않고 값이나 정보를 알고 있음을 다른 당사자에게 증명할 수 있습니다. 이 개념은 블록 체인 및 암호 화폐 응용 프로그램, 특히 개인 정보 및 확장 성이 우선 순위 인 경우에 중요합니다 . ZKP 기술의 가장 주목할만한 구현은 Snarks and Starks 입니다.

Snarks와 Starks의 주요 목표는 데이터 기밀을 유지하면서 효율적인 검증을 가능하게하는 것입니다. 그러나 그들의 기본 메커니즘, 성능 특성 및 신뢰 가정은 크게 다릅니다.

Snarks는 무엇입니까?

Snark는 간결하지 않은 지식의 간결한 논증을 나타냅니다 . 이를 위해서는 검증 자에게 비밀 가치에 대한 지식을 공개하지 않고 확신시킬 수 있습니다. '간결한'이라는 용어는 증명 크기가 작고 신속하다는 사실을 나타냅니다. '비회적 비회적'이라는 것은 속도와 검증 자 사이에 최소한의 의사 소통이 필요하다는 것을 의미합니다 . 일반적으로 단일 메시지 일뿐입니다.

많은 SNARK 시스템의 주요 요구 사항은 신뢰할 수있는 설정 단계 입니다. 이 단계에서는 기밀로 유지 해야하는 특정 매개 변수가 생성됩니다. 이러한 매개 변수가 노출되면 공격자는 증거를 위조 할 수 있습니다. 이는 올바르게 관리하지 않으면 잠재적 인 보안 취약점을 도입합니다.

• SNARKS의 일반적인 구현은 Zcash 에서 사용되며 거래 개인 정보를 유지하는 데 도움이됩니다.
• 그들은 종종 타원 곡선 암호화 및 페어링 기반 암호화를 기반으로합니다.
• 검증이 빠르지 만 증거 생성은 계산 집약적 일 수 있습니다 .

Starks는 무엇입니까?

Stark는 지식에 대한 확장 가능한 투명한 주장을 나타냅니다 . Snarks와 달리 Starks는 신뢰할 수있는 설정이 필요하지 않으므로 시스템에서 하나의 주요 실패 지점을 제거합니다. 이로 인해 기본적 관점에서 더 투명하고 잠재적으로 더 안전합니다.

Starks는 해시 함수 및 오류 수정 코드 에 의존하여 양자 공격에 저항력을 갖습니다. 이는 타원 곡선에 의존하는 일부 SNARK 구성에 비해 중요한 이점입니다.

• 양자 컴퓨팅이 발전함에 따라 점점 더 중요 해지고있는 쿼터 보안을 제공합니다 .
• 증거는 SNARK에 비해 검증하는 것이 더 크고 느리게 경향이 있지만 최적화를 통해 개선이 이루어지고 있습니다.
• Starks는 Starkware와 같은 계층 2 스케일링 솔루션 과 같은 높은 처리량 및 탈 중앙화가 필요한 환경에서 특히 유용합니다.

Snarks와 Starks의 주요 차이점

Snarks와 Starks는 모두 지식 증명의 영역에서 비슷한 목적을 제공하지만 몇 가지 기술적 및 실용적인 차이점은이를 구별합니다.

• 신뢰할 수있는 설정 : SNARKS는 일반적으로 비밀 매개 변수와 관련된 신뢰할 수있는 설정 단계가 필요하지만 스타크는 투명하며 신뢰할 수있는 설정이 필요하지 않습니다 .
• 암호화 가정 : SNARKS는 종종 짝을 이루는 곡선과 타원 곡선 에 의존하여 향후 양자 공격에 취약 할 수 있습니다. 대조적으로, Starks는 대칭 암호화 및 해싱을 사용하여 양자 위협에 더 나은 저항을 제공합니다.
• 증명 크기 및 검증 시간 : SNARK 증명은 더 작고 빠르기 때문에 공간과 계산 자원이 제한된 블록 체인에 이상적입니다. 뚜렷한 증거는 더 크고 복잡성이 증가함에 따라 더 잘 확장되지만 확인하는 데 시간이 더 걸립니다 .
• 계산 간접비 : 복잡한 수학적 작업으로 인해 스나크 증명을 생성하는 것이 리소스 집약적 일 수 있습니다. Starks는 또한 증거 생성 동안 계산적으로 무겁지만 병렬화 가능한 계산의 혜택을받습니다 .
• 채택 및 사용 사례 : SNARKS는 Zcash와 같은 개인 정보 중심의 암호 화폐로 구현되었으며 Starks는 Starkex 및 Starknet과 같은 확장 성 솔루션에서 견인력을 얻고 있습니다 .

Snarks와 Starks 중에서 선택합니다

SNARKS와 Starks 사이의 선택은 응용 프로그램의 특정 요구 사항에 따라 다릅니다.

• 빠른 검증과 소형 증명이 필수적이고 신뢰할 수있는 설정이 허용되면 SNARK가 더 나은 선택 일 수 있습니다 .
• 양자 위협에 대한 투명성과 저항이 우선 ​​순위가 높고 약간 더 큰 증거와 더 긴 검증 시간을위한 여지가 있다면 Starks가 바람직합니다 .
• 분산 응용 프로그램을 구축하는 개발자의 경우 ,이 두 기술 사이의 상충 관계를 이해하는 것은 확장 성, 개인 정보 또는 둘 다에 적합한 솔루션을 선택하는 데 필수적입니다.

자주 묻는 질문

Q : 스네이크와 스타크는 블록 체인 프로토콜에서 함께 사용할 수 있습니까? 예, 하이브리드 접근법이 가능합니다. 일부 프로젝트는 두 기술을 결합하여 각각의 강점을 활용합니다. 예를 들어, 빠른 검증을 위해 Snarks를 사용하고 시스템의 다른 계층에서 투명성을 위해 Starks를 사용합니다.

Q : 모든 SNARK 구현에는 신뢰할 수있는 설정이 필요합니까? 대부분의 전통적인 Snark에는 신뢰할 수있는 설정이 필요하지만 ZK-Stark와 같은 구성 또는 Sonic, Marlin 및 Plonk와 같은 새로운 변형은 이러한 의존성을 줄이거 나 제거하는 것을 목표로합니다. 이들은 때때로 보편적이거나 업데이트 가능한 스나크 라고도합니다.

Q : 어떤 상황에서 Starks가 Snarks보다 더 확장 가능한 것으로 간주되는 이유는 무엇입니까? Starks는 복잡성이 증가함에 따라 성능 저울이 더 유리하기 때문에 대규모 계산을보다 효율적으로 처리 할 수 ​​있습니다. 또한 페어링 작업의 병목 현상을 피하면 병렬 처리가 더 많이 발생합니다.

Q : 현재 블록 체인 시스템에서 어느 것이 더 널리 채택됩니까? 현재 SNARKS는 특히 Zcash와 같은 개인 정보 보호 응용 프로그램에서 더 광범위한 채택을 가지고 있습니다 . 그러나 Starks는 Starkware의 제품과 같은 확장 성 중심 플랫폼에서 추진력을 얻고 있으며 , 업계의 관심이 높아지고 있음을 나타냅니다.