유효성 증거와 사기 증거는 무엇입니까?

유효성 증명 이해

타당성 증거 는 블록 체인 시스템 내의 트랜잭션 또는 트랜잭션 세트를 검증하는 데 사용되는 암호화 메커니즘입니다. 이 유형의 증명은 모든 작업이 네트워크 프로토콜에 의해 정의 된 규칙을 준수하도록합니다. ZK-Rollups 와 같은 시스템에서는 타당성 증거가 오프 체인 계산이 메인 체인에 제출되기 전에 정확하고 유효하다는 것을 보장하기 위해 사용됩니다.

이 프로세스는 제로 지식 증거 (ZKP)를 생성하는 속담으로 시작하여 관련된 데이터에 대한 민감한 정보를 공개하지 않고 특정 계산이 올바르게 수행되었음을 확인합니다. 그런 다음 블록 체인 노드는 이 증거를 신속하게 검증하여 상태 전환이 합법적인지 확인합니다. 증거가 수학적으로 들리므로 더 이상의 도전 기간이나 분쟁 해결이 필요하지 않습니다.

유효성 증명의 주요 측면에는 다음이 포함됩니다.

• 효율성 : 증명이 생성되면 검증이 빠르며 최소한의 계산 리소스가 필요합니다.
• 보안 : 증거가 암호화 적으로 확인되므로 유효하지 않은 거래에 대한 강력한 보증을 제공합니다.
• 확장 성 : 여러 트랜잭션을 단일 증거로 배치함으로써 네트워크는 보안을 손상시키지 않고 크게 확장 할 수 있습니다.

  ---

  사기 증거 탐색

  유효성 증명과 달리 사기 증명은 다른 신뢰 모델에서 작동합니다. 이러한 증명은 일반적으로 낙관적 인 롤업 시스템에서 사용되며, 누군가가 이의를 제기하지 않는 한 트랜잭션이 유효하다고 가정합니다. 악의적 인 행위자가 잘못된 상태 업데이트를 제출하는 경우 정직한 참가자는 사기 증거를 제출하여 네트워크에 경고 할 수 있습니다.

  메커니즘은 다음과 같이 작동합니다. 트랜잭션 배치가 메인 체인에 게시 된 후에는 사전 정의 된 도전 창이 있습니다. 누구나 사기의 증거를 제출할 수 있습니다. 유효한 사기 증거가 제시되면 잘못된 블록이 거부되고 악의적 인 행위자는 스테이크를 잃는 것과 같은 처벌에 직면 할 수 있습니다.

  사기 증거는 몇 가지 중요한 구성 요소에 의존합니다.

• Watchtowers : 잠재적 사기를 위해 네트워크를 모니터링하는 노드.
• 도전 기간 : 분쟁을 제기 할 수있는 시간 창.
• 경제 인센티브 : 참가자들은 재정적 처벌의 위험으로 인해 정직하게 행동하도록 동기를 부여합니다.

  ---

  유효성과 사기 증거의 차이

  이 두 가지 유형의 증거 사이의 가장 주목할만한 차이점 중 하나는 검증 접근법 에 있습니다. 유효성 증명은 각 배치에 정확성에 대한 암호화 보증이 제공되므로 즉각적인 최종성을 제공합니다. 반면, 사기 증거는 자금을 철회하기 전에 대기 기간이 필요하여 시스템에 대기 시간을 도입합니다.

  또 다른 주요 차이점은 계산 오버 헤드 입니다. 유효성 증명, 특히 제로 지식 증명을 생성하는 것은 계산 집중적이며 특수 하드웨어가 필요합니다. 그러나 일단 생성되면 확인이 빠릅니다. 반대로, 사기 증거는 선불 계산이 필요하지 않지만 불일치가 발생하면 활성 모니터링 및 개입이 필요합니다.

  유스 케이스 시사점 :

• 유효성 증명 : 분산 된 거래소 또는 결제 프로세서와 같은 높은 처리량 및 즉각적인 최종성이 필요한 응용 프로그램에 이상적입니다.
• 사기 증거 : 분산 및 단순성이 일반 목적 스마트 계약 플랫폼과 같은 속도보다 우선 순위가 높은 시나리오에 더 적합합니다.

  ---

  블록 체인 네트워크의 구현 예

  몇몇 저명한 블록 체인 프로젝트는 확장 성 목표에 따라 타당성 또는 사기 증거를 채택했습니다. 예를 들어, Zksync 및 Starknet은 제로 지식 기술을 통해 유효성 증명을 사용하여 보안을 유지하면서 높은 트랜잭션 처리량을 달성합니다. 이 시스템은 이더 리움 노드가 트랜잭션 배치를 효율적으로 검증 할 수있는 간결한 증거를 생성합니다.

  반대로, 두 가지 주요 계층 2 솔루션 인 낙관론 과 Arbitrum 은 사기 증거를 구현합니다. 그들은 모든 거래가 기본적으로 유효하다고 가정하고 이의를 제기 할 때만 분쟁 해결 절차 만 시작합니다. 이를 통해 초기 처리가 더 빠를 수는 있지만 인출 지연을 도입하고 유효성 검사기의 적극적인 참여에 의존하여 무결성을 유지합니다.

  운영 차이는 다음과 같습니다.

• 최종 : Zksync는 거의 영향을 미치는 최종성을 제공하는 반면 낙관론에는 일주일 동안의 도전 기간이 필요합니다.
• 리소스 사용 : STARKNET은 고급 수학을 사용하여 데이터를 압축하는 반면 Arbitrum은 검증을위한 실행 추적에 의존합니다.
• 신뢰 가정 : 제로 지식 시스템은 수학적 확실성에 의존하지만 낙관적 시스템은 경제 인센티브와 지역 사회 경계에 의존합니다.

  ---

  유효성과 사기 증거 중에서 선택

  블록 체인 솔루션을 설계 할 때 개발자는 응용 프로그램의 요구 사항에 따라 유효성 또는 사기 증거를 사용해야하는지 신중하게 고려해야합니다. 고주파 거래 또는 실시간 게임 에 중점을 둔 프로젝트는 속도와 최종 보장으로 인해 타당성 증거를 선호 할 것입니다. 한편, 단순성 및 개발자 유연성을 우선시하는 DAPP (Decentralized Applications)는 사기 방지 기반 시스템을 선택할 수 있습니다.

  또한 보안 모델은 의사 결정에 중요한 역할을합니다. 타당성 증거는 암호화 특성으로 인해 악의적 인 행동에 대한 강력한 보증을 제공합니다. 그러나 사기 증거는 네트워크 모니터링에 시간과 자원을 기꺼이 투자하려는 정직한 행위자의 존재에 달려 있습니다.

  선택에 영향을 미치는 요인 :

• 트랜잭션 속도 : 유효성 증명은 확인 시간을 줄입니다.
• 데이터 가용성 : 두 가지 접근 방식 모두 액세스 가능한 데이터가 필요하지만 구현은 다양합니다.
• 사용자 경험 : 결제는 사용자가 자금 및 서비스와 상호 작용하는 방식에 영향을 미칩니다.

  ---

  자주 묻는 질문

  Q1 : 블록 체인이 유효성과 사기 증거를 동시에 사용할 수 있습니까? 예, 일부 하이브리드 아키텍처는 두 메커니즘을 결합하여 탐색합니다. 예를 들어, 시스템은 특정 트랜잭션 유형에 대한 유효성 증거를 사용하면서 다른 거래 유형에 대한 사기 증거에 의존하여 효율성과 보안의 균형을 잡을 수 있습니다.

  Q2 : 사기 증명이 타당성 증거보다 덜 안전합니까? 반드시 그런 것은 아닙니다. 사기 증거는 지연을 도입하고 적극적인 참여가 필요하지만 적절한 경제 인센티브와 워치 타워 메커니즘으로 구현 된 경우에도 여전히 강력한 보안을 제공 할 수 있습니다.

  Q3 : 유효성 증명에는 항상 제로 지식 암호화가 필요합니까? 아니요, ZKP는 일반적이지만 Starks 및 Snarks를 포함한 다른 형태의 타당성 증거가 존재합니다. 핵심 원칙은 개인 데이터를 노출시키지 않고 정확성을 입증합니다.

  Q4 : 데이터 가용성은 두 증거 유형 모두에 어떤 영향을 미칩니 까? 유효성과 사기 증거는 액세스 가능한 데이터에 따라 올바르게 작동합니다. 전체 데이터 가용성이 없으면 어느 시스템도 보안을 보장 할 수 없으므로 레이어 2 스케일링 솔루션의 기본 요구 사항이됩니다.