Runera

Runera는 비트코인 레이어 2 프로토콜로, 영지식 증명과 AI를 통합하여 이더리움 가상 머신(EVM)과의 호환성을 유지하면서 게이밍 애플리케이션을 지원합니다. 이 프로토콜은 복잡한 계산의 오프체인 실행을 가능하게 하며, 보안과 효율성을 보장하기 위해 비트코인에서 검증 메커니즘을 수행합니다. ^[3]

개요

Runera는 비트코인의 레이어 2에서 BRC-20을 활용하는 게이밍 및 AI 프로토콜입니다. 이더리움 가상 머신(EVM)과 완전히 호환되도록 설계되었으며, 가스 비용으로 네이티브 BTC 트랜잭션을 가능하게 하여 비트코인의 안정성과 EVM의 적응성을 연결합니다.

비트코인 레이어 2 솔루션으로서 Runera는 탈중앙화된 게이밍 및 AI 프레임워크 내에 ZK Stark 알고리즘과 Taproot 스크립트를 통합합니다. 복잡한 계산에 대한 비트코인의 제약으로 인해 Runera는 스마트 컨트랙트를 오프체인에서 처리하는 동시에 bitVM과 유사하게 Taproot 스크립트를 사용하여 온체인에서 검증합니다. 또한 이 프로토콜은 AI를 사용하여 고수준 언어 프로그램을 저수준 옵코드로 변환하며, 이는 디지털 회로로 표현되어 필요할 때 비트코인에서 시뮬레이션될 수 있습니다.

이러한 구조는 Arbitrum과 같은 이더리움 롤업과 유사하게 선택적 온체인 검증을 통한 오프체인 계산 실행을 가능하게 합니다. Runera는 zkEVM을 통합하여 ZK 증명을 생성하고, 이를 오프체인 노드에서 검증하여 네트워크 부하를 줄입니다. 시퀀서의 검열 저항성을 높이기 위해 SVMZK 체계가 구현되었습니다. Runera는 커뮤니티 참여를 강조하며, 초기 사용자 및 생태계 파트너를 의사 결정에 참여시킵니다. 거버넌스 및 토크노믹스 구조는 투명성과 장기적인 참여를 보장하는 것을 목표로 합니다. ^[4]

기술

게이밍 x AI

Runera는 게이밍과 AI에 초점을 맞춘 비트코인 ZK 롤업 레이어 2 솔루션을 개발하여 이론적 발전과 실제 응용 프로그램을 연결하고 있습니다. 개발은 단계별 접근 방식을 따릅니다:

알파 메인넷 단계는 시스템 운영을 안정화하고, ZK 롤업 구성 요소를 통합하며, 게이밍 및 AI 기능을 포함하는 것을 목표로 합니다.
메인넷 단계는 검증을 Taproot 스크립트로 전환하고, 오프체인 증명자(Prover) 및 검증자(Verifier) 구성 요소를 회로로 변환하며, NZK를 사용한 트랜잭션 재정렬 방지 기능을 구현하고, 대화형 블록체인 게임을 위한 AI 기능을 확장합니다.

기능과 성능을 평가하기 위해 다양한 단계에서 테스트넷이 도입되어 주요 업데이트 전 시스템 신뢰성을 보장합니다. 기술 아키텍처는 ZK 롤업 프레임워크 내에 게이밍과 AI를 통합하여 블록체인 기반 게이밍 경험을 향상시킵니다. ^[5]

커밋먼트 검증

Runera에서 커밋먼트(Commitment)는 오프체인 트랜잭션 및 상태 전환의 무결성을 보장합니다. 분쟁이 발생하면 관련 데이터를 비트코인 블록체인에 일시적으로 업로드하여 검증할 수 있으며, 비트코인 노드가 중재자 역할을 합니다.

제안자(Proposer)는 영지식(ZK) 회로 실행 결과를 비트코인에 제출하여 검증자의 확인을 받습니다. 무관하거나 무작위인 데이터 제출을 방지하기 위해, 비트코인 노드가 업로드된 오프체인 데이터의 관련성을 독립적으로 검증할 수 있는 메커니즘이 필요합니다.

커밋먼트는 주기적으로 비트코인 블록체인에 게시되어 오프체인 상태 전환 및 트랜잭션과 연결됩니다. 이는 방대한 오프체인 데이터의 압축된 표현으로, 해시와 유사하게 작동합니다. ^[6]

검증 프로세스

Runera는 BitVM과 유사한 방식을 사용하여 비트코인에서 계산을 검증하며, 비트코인 스크립트를 사용하여 논리 게이트 회로를 시뮬레이션합니다. 이 접근 방식은 비트코인 스크립트의 비-튜링 완전성에도 불구하고 복잡한 가상 머신 작업을 실행할 수 있게 합니다.

Runera의 시스템은 프로세서를 논리 게이트 회로로 구성된 입출력 시스템으로 모델링합니다. 비트코인 스크립트는 이러한 효과를 복제하여 이론적으로 튜링 머신의 시뮬레이션을 가능하게 합니다. 비트코인은 이더리움 가상 머신(EVM) 옵코드를 직접 검증할 수 없으므로, Runera는 고수준 언어 옵코드를 논리 게이트 회로로 컴파일하며, 비트코인 스크립트는 이를 EVM과 비트코인 사이의 중간 표현(IR)으로 처리합니다.

프로토콜은 브리스톨(Bristol) 형식을 사용하여 입력, 출력, 게이트 기능 및 연결을 상세히 설명하는 회로 구조를 정의합니다. 이 형식은 논리 게이트 회로 설명을 표준화하여 계산 검증의 명확성을 보장합니다.

이러한 방식으로 계산을 시뮬레이션함으로써 Runera는 완전히 튜링 완전한 시스템 없이도 오프체인 작업의 안전하고 효율적인 검증을 가능하게 하며, 상태 전환 및 트랜잭션 프로세스의 무결성을 유지합니다. ^[7]

Taproot 스크립트

Runera는 검증 프레임워크 내에서 두 가지 핵심 스크립트를 활용합니다:

비트 커밋먼트 Taproot: 제안자가 제출한 프리이미지 커밋먼트를 검증합니다.
검증 Taproot: 제안자가 공개한 실행 추적의 정확성을 확인합니다.

두 스크립트 모두 UTXO에 대해 시간 기반 잠금 해제 조건을 강제하는 타임락 리프(time-locked leaf)를 포함합니다:

비트 커밋먼트 Taproot: 제안자가 증명을 제출할 수 있는 기간을 제한합니다. 마감 기한을 놓치면 검증자가 Taproot를 사용할 수 있으며, 이는 제3자 검증자에게 데이터 제출 지연 신호를 보냅니다.
검증 Taproot: 만료 시 UTXO 잠금 해제를 보장하여, 제안자가 악의적으로 행동하지 않는 경우 자금이 영구적으로 잠기는 것을 방지합니다.

대화형 검증 시스템과 달리 Runera는 지출 조건과 타이밍에 따라 실행 유효성을 결정합니다. 비트 커밋먼트 Taproot가 허용된 기간 이후에도 잠겨 있으면 잠재적인 악의적 행동을 나타냅니다. 검증 Taproot가 예상대로 잠금 해제되면 실행 추적의 정확성이 확인됩니다. 이 시스템은 비트코인 블록체인에서 오프체인 계산의 안전하고 투명한 검증을 가능하게 합니다. ^[8]