증명이 검증하는 것
영지식 증명은 특정 계산이 규칙에 맞게 수행됐다는 사실을 간결하게 검증할 수 있지만, 증명만으로 거래 내역이 누구나 다시 구성할 수 있도록 저장됐다는 뜻은 아닙니다. 계산의 유효성과 데이터 접근성은 서로 다른 보안 질문입니다.
상태 데이터의 역할
이더리움 문서는 롤업 데이터 가용성이 독립 검증과 상태 재구성에 필요하다고 설명합니다. 유효성 증명이 상태 변경을 검증해도 운영자가 상태 데이터를 공개하지 않으면 이용자는 잔액 확인이나 새 거래 제출에 어려움을 겪을 수 있습니다.
가상 롤업 중단
가상의 롤업 운영자가 증명은 제출하지만 계정별 상태 데이터를 배포하지 않는다고 합시다. 검증자는 전이 규칙이 맞는지 확인할 수 있어도 사용자는 자신이 가진 증명만으로 다음 상태를 재구성하지 못할 수 있습니다. 데이터 제공 경로와 탈출 절차가 필요한 이유입니다.
증명 유형과 데이터
낙관적 롤업은 이의제기 기간과 사기 증명에 의존할 수 있고, 영지식 롤업은 유효성 증명을 사용합니다. 어느 방식이든 데이터를 어디에 게시하고 얼마나 오래 이용할 수 있는지, 증명 시스템이나 운영자의 정지 권한이 무엇인지 별도 확인합니다.
출금·재구성 조건
프로젝트 문서에서 거래 데이터 공개 위치, 배치 상태 조회 방법, L1 출금 경로, 강제 포함 기능, 외부 데이터 제공자 의존을 찾으세요. 사용자 자산이 계약에 묶이는 시간과 데이터가 유실될 때 복구할 책임 주체도 검토합니다.
검증 범위의 한계
영지식이라는 이름이 개인정보 보호나 무신뢰 운영을 자동으로 보장하지 않습니다. 공개 입력, 회로 가정, 증명 생성자와 데이터 게시 구조가 다를 수 있으므로 검증 가능한 주장과 운영상 남은 신뢰를 나눠 기록하세요.