낙관적 롤업의 사기 증명이란 무엇입니까?

낙관적 롤업의 사기 방지 이해

1. 낙관적 롤업은 레이어 2 네트워크에 게시된 모든 트랜잭션이 기본적으로 유효하다는 가정하에 작동합니다. 이러한 낙관적인 접근 방식을 통해 온체인 검증에 비해 처리 속도가 빨라지고 비용이 절감됩니다. 그러나 악의적이거나 잘못된 상태 전환을 감지하고 수정하기 위한 메커니즘이 존재해야 합니다.

2. 사기 증명은 유효하지 않은 상태 업데이트에 대해 이의를 제기하는 데 사용되는 암호화 메커니즘입니다. 검증인이나 감시자가 제안된 상태와 거래 데이터를 기반으로 발생해야 하는 상태 사이의 불일치를 감지하면 레이어 1 블록체인에 사기 증명을 제출할 수 있습니다.

3. 사기 증명에는 잘못된 상태 루트, 관련된 트랜잭션 집합, 오류가 발생한 위치를 보여주는 단계별 계산 추적과 같은 특정 데이터가 포함됩니다. 이 추적을 통해 메인체인은 논쟁이 있는 계산 부분만 다시 실행하여 오버헤드를 최소화할 수 있습니다.

4. 사기 증명이 제출되면 레이어 1 계약은 제공된 실행 추적을 사용하여 해당 트랜잭션을 재생하여 이를 확인합니다. 증거를 통해 상태 전환이 실제로 유효하지 않은 것으로 확인되면 롤업은 마지막 올바른 상태로 되돌아가고 잘못된 배치를 제출한 악의적인 행위자는 처벌을 받습니다.

5. 보안 모델은 체인을 모니터링하는 하나 이상의 정직한 노드에 의존합니다. 한 참가자가 상태 업데이트의 유효성을 확인하고 증거를 생성할 수 있는 한 시스템은 사기 행위로부터 안전하게 유지됩니다.

사기 증명과 유효성 증명의 차이점

1. 유효성 증명(예: zk-SNARK)을 사용하여 승인 전에 정확성을 사전에 입증하는 영지식 롤업과 달리 낙관적 롤업은 검증을 연기합니다. 그들은 달리 입증될 때까지 정직하다고 가정하여 초기 게시 중 계산 부하를 줄입니다.

2. 사기 방지는 반응적으로 오류를 식별합니다 . 즉, 블록이 게시된 후에 분쟁이 발생한다는 의미입니다. 이로 인해 누구나 배치에 대해 이의를 제기할 수 있는 챌린지 기간(일반적으로 7일)이라는 지연이 발생합니다.

3. 유효성 증명에는 모든 거래 배치에 대해 복잡한 암호화 계산이 필요하므로 운영자의 비용과 기술 장벽이 높아집니다. 사기 증명은 분쟁이 발생하지 않는 한 이러한 부담을 방지합니다.

4. 사기 증명의 반응적 특성으로 인해 분산 참여가 더 용이해집니다. 사용자는 블록을 모니터링하고 도전하기 위해 특별한 하드웨어나 심층적인 암호화 지식이 필요하지 않습니다.

5. 유효성 증명은 즉각적인 최종성을 제공하는 반면, 사기 증명은 이더리움의 무허가 참여 정신에 맞춰 분산화 및 운영 비용 절감을 위한 거래 속도를 제공합니다.

관찰자와 인센티브의 역할

1. 감시자는 시퀀서가 게시한 상태 약속을 지속적으로 모니터링하는 임무를 맡은 오프체인 노드입니다. 이러한 엔터티는 롤업 데이터를 다운로드하고, 상태 전환을 다시 계산하고, 청구된 결과와 결과를 비교합니다.

2. 경제적 인센티브는 사기 탐지에 대한 참여를 촉진합니다. 검증된 사기 증명을 성공적으로 제출한 사람은 보상을 받게 되는데, 이는 부정직한 시퀀서가 게시한 채권의 일부를 삭감하여 자금을 조달하는 경우가 많습니다.

3. 스팸을 방지하고 책임을 보장하기 위해 도전자는 일반적으로 분쟁을 시작할 때 담보를 확보해야 합니다. 청구가 유효하지 않은 경우 해당 보증금을 잃게 됩니다.

4. 여러 명의 독립적인 감시자가 사기 행위를 조기에 발견할 가능성을 높입니다. 대부분의 행위자가 공모하거나 오프라인 상태가 되더라도 정직한 참여자 한 명이면 보안을 유지하기에 충분합니다.

5. 프로젝트는 롤업 체인에 대한 지속적인 감시를 보장하기 위해 인센티브 계층을 구현하거나 분산형 감시 네트워크와 같은 제3자 서비스를 통합합니다.

사기 증명에 관한 일반적인 질문

참가자가 챌린지 기간 내에 사기 증명을 제출하지 않으면 배치는 레이어 1에서 마무리됩니다. 이는 적극적인 모니터링의 필요성을 강조합니다. 적어도 한 명의 정직하고 주의 깊은 관찰자가 없으면 시스템은 유효하지 않은 상태를 받아들일 위험이 있습니다.

사기 증명이 위조되거나 남용될 수 있나요?

사기 방지는 엄격한 온체인 검증을 거칩니다. 부정확하거나 형식이 잘못된 증명은 재실행 중에 실패하고 도전자는 채권을 잃게 됩니다. 이러한 경제적 저해 요인은 경박하거나 악의적인 도전을 방지합니다.

낙관적 롤업에 출금 지연이 발생하는 이유는 무엇입니까?

사기 증명이 제출될 시간을 허용하기 위해 인출이 지연됩니다. 사용자가 출금을 시작하면 챌린지 기간 동안 자금이 잠긴 상태로 유지되므로 사기가 감지되면 자금이 동결되거나 되돌려질 수 있습니다.

모든 거래에 사기 증명이 필요합니까?

아니요. 사기 증명은 불일치가 발견된 경우에만 생성됩니다. 대부분의 거래는 사고 없이 진행되며 시스템은 문제가 없는 한 유효성을 가정하여 원활하게 작동합니다.