Micro-Rollups의 검증 가능한 오프체인 계산, 감사 상태 및 온체인 애플리케이션 통합 기능은 온체인 실제 사용 사례의 폭발적인 증가로 이어질 수 있습니다.
작성자: stackrlabs
편집자: Frank, Foresight News
증명은 광범위한 의미를 지닌 단어입니다. 거의 모든 사람이 그 의미를 어느 정도 이해하고 있으며, 모든 사람이 자신의 삶에서 무의식적으로 이 개념을 사용해 왔습니다.
따라서 이를 정의해 보겠습니다. 증명은 본질적으로 특정 정보에 대해 작성된 진술 또는 주장이며, 이는 특정 진술의 진위를 확인하기 위해 신뢰할 수 있는 당사자가 제공한 증거 또는 확인 역할을 합니다. 인증서의 신뢰성은 인증서를 제공하는 주체의 평판에 따라 달라지며, Web3 세계에서는 인증서가 디지털 서명되어 신뢰성과 불변성을 보장합니다.
현실 세계와 암호화폐 모두에서 실제로 어떤 형태의 증거인지 깨닫지 못할 수도 있는 몇 가지 예를 살펴보겠습니다.
Web3 세계에 대한 증명: 이더 증명 서비스 출시
EAS( 이더 Attestation Service)는 증명 사용 사례를 지원하는 Web3 분야의 주요 프로젝트 중 하나입니다. 이는 온체인 또는 오프체인 증명을 위한 오픈 소스 인프라 공개 제품입니다. EAS 작동 방식은 매우 간단합니다. 아무 주제에나 스키마를 등록한 다음(또는 기존 스키마 사용) 해당 스키마를 기반으로 증명을 만들기만 하면 됩니다.
한정
EAS는 Web3의 증명 추론 및 활용을 위한 견고한 기반을 제공하지만 제한이 없는 것은 아닙니다. EAS를 사용한 온체인 증명 비용은 엄청날 수 있으며 맞춤형 로직을 구현하려면 EVM 스마트 계약을 작성해야 합니다. 오프체인 증명의 경우 아키텍처는 여전히 온체인 배치되어야 하며 개발자는 종종 이러한 증명을 개인 데이터베이스에 저장하여 사용자의 검증 가능성을 손상시킵니다.
이 상황은 Stackr SDK를 사용하여 구축된 마이크로 롤업을 사용하여 EAS 또는 전체 증명의 기능을 향상시킬 수 있는 방법을 강조합니다.
마이크로 롤업에 대한 빠른 소개
Micro-Rollup은 본질적으로 오프체인에서 특정 논리를 실행할 수 있는 상태 머신이며, 실행 결과 검증을 "Vulcan"이라는 다른 레이어에 아웃소싱하며, Vulcan은 검증 상태를 업데이트하고 계산 데이터를 체인에 업로드합니다. .
Micro-Rollups의 상태 머신은 잘 정의된 상태 형식을 가지며 생성 조건에 의해 초기화됩니다.
상태 기계는 작업(예: 트랜잭션 유형)을 수행할 수 있으며 이러한 작업이 트리거되면 상태 기계의 상태 전환 기능이 호출됩니다.
상태 전이 함수(STF)는 계산을 수행하고 상태 머신의 상태를 업데이트하는 역할을 합니다.
STF가 실행된 후 모든 작업은 블록으로 압축되어 Vulcan 레이어로 전송됩니다.
Vulcan 레이어는 다음을 수행합니다.
상태 전환 기능(STF)의 유효성을 확인하기 위해 "비관적" 방식으로 블록의 작업을 다시 실행합니다.
검증된 블록에 대한 메타데이터를 생성합니다.
결제는 L1(메인 체인) 및 데이터 가용성 계층(DA)에서 이루어집니다.
마이크로 롤업의 업데이트된 상태를 DA 계층으로 보냅니다.
검증된 블록의 메타데이터와 업데이트된 상태 루트 해시 값을 L1의 Micro-Rollups 인박스 컨트랙트에 기록합니다.
위의 프로세스는 함께 Stackr의 Micro-Rollups 프레임 구성합니다.
증명 시스템 마이크로 롤업
그렇다면 마이크로 롤업이 검증 시스템 구축에 특히 적합한 이유는 무엇일까요? 마이크로 롤업은 다음과 같은 장점을 제공합니다.
검증 가능한 오프체인 계산: 마이크로 롤업은 기능적으로 백엔드 서비스와 유사하지만 애플리케이션의 상태와 계산에 검증 가능성 계층을 추가하여 인증서 발급자가 시스템 규칙을 변조하지 않았는지 확인합니다.
감사 상태: 상태 머신이 배포되면 상태 전환 기능(STF)의 논리를 수정할 수 없습니다. 이를 통해 사용자는 공급자가 시스템 규칙을 임의로 변경하지 않을 것임을 확신할 수 있습니다.
온체인 애플리케이션과 통합 가능: 마이크로 롤업은 온체인 애플리케이션과 통합될 수 있으며, 애플리케이션의 상태 루트 해시 값을 L1에 기록하고 다른 애플리케이션은 이 해시 값을 사용하여 롤업 상태에 입증적으로 액세스할 수 있습니다.
마이크로 롤업이 증명에 사용되는 세 가지 방법
1. EAS 오프체인 증명의 검증 가능한 저장
앞서 언급했듯이 EAS의 오프체인 증명은 증명 데이터와 서명이 포함된 JSON 파일일 뿐입니다. 이러한 데이터는 온체인 에 저장되지 않고 개인 데이터베이스나 탈중앙화 스토리지 솔루션에 저장됩니다.
EAS에서 권장하는 "세라믹 네트워크의 검증 가능한 데이터 원장"과 매우 유사한 Micro-Rollups는 이러한 오프체인 증명을 저장하는 데 이상적인 솔루션입니다. 본질적으로 Micro-Rollups는 다음과 같은 이유로 검증 가능한 데이터 원장입니다.
검증 가능한 계산은 상태 전환의 정확성을 보장합니다.
상태는 해시 값(Merkle 루트 해시라고 함)으로 "집계"되고 각 시대 이후 이더 L1 메인넷에 게시됩니다.
모든 데이터는 기본 DA 레이어에서 사용할 수 있습니다.
이러한 시스템은 최종 사용자의 검증 가능성을 손상시키지 않고 EAS에 등록된 모든 아키텍처에 대한 증명을 저장하도록 설계된 범용 마이크로 롤업입니다.
2. 특정 아키텍처 증명에 적합한 마이크로 롤업
본질적으로 마이크로 롤업은 상태와 상태 전환 기능으로 구성된 상태 머신일 뿐입니다. 아키텍처와 증명의 렌즈를 통해 이 프레임 살펴보면 몇 가지 유사점을 찾을 수 있습니다.
상태는 데이터 구조를 정의한다는 점에서 스키마와 같고, 증명은 스키마를 준수하는 확인된 업데이트라는 점에서 상태 전환과 같습니다. 이러한 대조는 마이크로 롤업의 진정한 잠재력을 강조합니다. 마이크로 롤업은 특정 아키텍처에 대해 구축될 수 있습니다. 증명을 특정 아키텍처에 적용할 수 있도록 하고 개발자에게 EAS의 확인자 계약과 유사하게 사용자 지정 논리를 변환 기능에 통합할 수 있는 유연성을 제공합니다.
더 좋은 점은 계산이 완전히 오프체인 및 EVM 외부에서 수행되기 때문에 사용자는 증명을 수행할 때 가스 비용을 지불할 필요가 없습니다.
Micro-Rollups에 대한 최근 기사에서는 애플리케이션이 포인트를 인센티브 메커니즘으로 사용할 수 있는 방법에 대해 논의했습니다. 포인트는 본질적으로 애플리케이션이 사용자에게 부여하는 인증서이기 때문에 이는 그러한 시스템의 직접적인 예입니다.
또한 Stackr의 SDK를 사용하여 래퍼를 구축하여 사용자 지정 스키마와 파서 논리를 사용하여 새로운 마이크로 롤업을 쉽게 시작하는 동시에 마이크로 롤업 간의 상호 운용성을 위해 동일한 API를 유지할 수 있습니다.
3.EAS 개선 솔루션인 마이크로 롤업
마이크로 롤업은 탈중앙화 애플리케이션 구축의 복잡성을 상당 부분 추상화할 수 있으므로 동일한 3개의 코어를 제공하는 거의 기능을 갖춘 EAS 대안을 마이크로 롤업 기능으로 상당히 빠르게 구현할 수 있습니다.
모든 스키마를 저장하는 스키마 레지스트리.
아키텍처를 기반으로 증거를 생성하는 능력
기존 인증서를 취소하는 옵션;
다음 섹션에서는 이를 구축하는 방법을 자세히 살펴보겠습니다.
마이크로 롤업을 사용하여 EAS를 구축해 보겠습니다.
면책조항: 이 데모는 프레임 의 기능을 시연하고 불완전한 빌드를 나타내며 프로덕션 환경용이 아닙니다. 최종 제품이 아닌 설명용 콘텐츠로 간주하시기 바랍니다.
마이크로 롤업을 개발할 때 상태 머신 용어로 논리를 이해하는 것이 중요합니다. 이를 위해서는 마이크로 롤업의 상태(즉, 보유할 데이터)와 상태의 동작을 제어할 작업을 신중하게 고려해야 합니다. 전환 함수, 상태 전환 함수는 이 상태에서 작동합니다.
위 내용을 이해한 후 이제 Stackr의 SDK를 사용하여 마이크로 롤업의 상태를 설계하기 시작합니다.
설계
아키텍처와 증명은 상태 머신 내부의 오프체인에 저장됩니다.
사용자는 상태 머신 내에서 상태 전환 기능을 트리거하는 작업을 보냅니다.
사용자는 스키마를 등록하거나, 저장된 스키마에 대한 증명을 생성하거나, 기존 증명을 취소하는 작업을 보낼 수 있습니다.
아키텍처 및 증명 상태에 대한 세부 정보를 포함하는 특정 타임스탬프마다 블록이 생성됩니다.
블록은 확인을 위해 Vulcan 네트워크로 전송됩니다.
블록이 상태 머신의 규칙을 준수하면 블록이 승인됩니다.
블록 데이터는 L1과 DA로 분할되어 정산됩니다.
초기 상태 결정
EAS와 마찬가지로 스키마 및 증명 목록을 저장해야 합니다. 이를 명확하게 설명하고 명확한 대조를 제공하기 위해 EAS와 동일한 구조 정의를 사용합니다.
1. 먼저 우리 주의 아키텍처와 증명을 정의해 보겠습니다.
분석 내용은 다음과 같습니다.
스키마: 이 필드는 해시 맵을 저장하며, 키는 스키마의 UID이고 값은 SchemaRecord 구조입니다. SchemaRecord 구조는 사용자가 제출한 증명 스키마에 해당합니다.
attestations: 이 필드는 또 다른 해시 맵을 저장하며 키는 증명의 UID이고 값은 증명 구조입니다. 증명 구조는 특정 아키텍처를 참조하는 단일 증명에 해당합니다.
상태 업데이트 핸들러 추가
최소 실행 가능 상태를 설정한 후 상태 업데이트를 위한 상태 전환 기능을 정의해야 합니다.
2. 두 가지 기능을 정의해 보겠습니다.
스키마: 스키마 항목 생성을 담당합니다.
attest: 인증 항목 생성을 담당합니다.
RegisterSchema 함수를 분석합니다.
사용자가 새로운 증명 아키텍처를 등록하기 위한 명령을 제출할 때 두 가지 필드를 제공해야 합니다. 스키마: 증명 아키텍처의 ABI(Application Binary Interface), 취소 가능: 아키텍처가 명시적으로 증명 취소를 허용하는지 여부
등록 작업을 시작한 사용자는 아키텍처 등록자로 기록됩니다.
상태 전환 기능은 제공된 값을 기반으로 스키마 항목의 고유 식별자를 계산합니다.
마지막으로 상태에 새 스키마 항목을 추가합니다.
증명 함수 분석:
사용자는 관련 SchemaUID와 같은 필드가 포함된 새 인증서를 생성하라는 지시를 제출합니다.
생성 작업을 시작한 사용자는 인증자로 기록됩니다.
상태 전이 함수는 제공된 값을 기반으로 증명 항목의 고유 식별자를 계산합니다.
상태 전환 기능은 들어오는 증명 데이터를 관련 아키텍처의 ABI와 비교합니다.
마지막으로 새로운 증명 항목이 상태에 추가됩니다.
이 시점에서 우리는 최소한의 실행 가능한 시스템을 구축했습니다.
스마트 계약과 마이크로 롤업
특정 아키텍처에 대해 생성된 모든 증명이나 특정 주소에서 발행된 모든 증명을 얻으려면 모든 증명 항목을 반복해야 합니다. 이러한 검색을 수행할 때마다 이 프로세스를 반복해야 합니다.
이 문제를 완화하기 위해 EAS는 특히 여러 매핑 변수의 값을 색인화하는 데 사용되는 Indexer.sol이라는 스마트 계약을 구현합니다. 그러나 EVM(이더 Virtual Machine)의 저장 비용은 Micro-Rollup에 비해 매우 비싸기 때문에 추가 가스 요금이 발생합니다.
그러나 우리는 마이크로 롤업을 구축하고 있기 때문에 상태와 계산을 더 자유롭게 사용할 수 있으며 비용보다는 사용자 경험을 우선시할 수 있습니다.
검색 효율성을 높이기 위해 인덱스 필드 추가
3. 상태에 SchemaAttestations 필드를 추가합니다. 이 필드는 스키마와 해당 인증 간의 매핑 관계를 유지하는 데 사용됩니다.
따라서 새로운 증명이 추가되면 증명 함수도 업데이트하여 스키마 매핑을 업데이트합니다.
이러한 방식으로 이더 증명 서비스와 유사한 추적성을 갖춘 온체인 증명 시스템을 쉽게 구축하여 백엔드 서버에 온체인 초능력을 부여할 수 있습니다.
오프체인 증명을 온체인 가져오기 → 실제 사용 사례 및 더 많은 가능성
Web3 세계에서 증명은 대부분의 실제 사용 사례를 활성화하고 Web2와 실제 ID 및 Web3 간의 격차를 해소하고 분산된 신뢰를 유지하는 데 매우 중요합니다.
위 시스템의 장점은 대량 오버헤드를 발생시키지 않고 온체인 에서 증명을 원활하게 사용할 수 있다는 것입니다.
처음에 언급했듯이 Micro-Rollups의 상태 루트는 L1에 정산됩니다. 특히 개발자는 상태의 어느 부분이 L1에 정착되고 어느 부분이 DA에 메타데이터로 배치되는지 선택할 수 있으므로 하이브리드 보안 가정이 해제됩니다.
이 경우, 증명을 클레임 하고 머클화된 루트를 L1에 정착시키면 머클 트리에 증명의 직접 포함 증명을 수행할 수 있습니다.
