비트코인에서 가장 빠른 ZK 롤업

Yona는 비트코인의 SVM 기반 레이어 2(롤업)입니다.

요나는 비트코인의 암호화 경제의 보안을 계승하는 동시에 비트코인과 그 자산에 대한 풍부한 프로그래밍 가능성과 전례 없는 실행 확장을 가능하게 합니다.

이를 위해 요나는 비트코인 상의 BTC와 요나 상의 BTC 사이에 신뢰가 필요 없는 양방향 페깅을 가능하게 하며, 일방적인 출구를 지원합니다. 우리는 이 요나 네이티브 페그를 표준 페그라고 부릅니다.

요나의 주요 설계 특징은 기존의 연합 TSS-MPC 브리지에서 벗어나 전적으로 암호화 증명과 비트코인 합의에 의존하는 메커니즘인 표준 양방향 페그로 이동하기 위한 것입니다. 다시 말해, 양방향 표준 후크는 외부 합의에 의존하지 않습니다.

L2 표준 후크의 특징

롤업은 일방적으로 진입(입금)과 종료(출금)할 수 있는 기능을 제공해야 합니다.

비트코인 및 메타자산의 가용성과 검열 저항성을 보장하려면 일방적인 입출금이 필수적입니다.

입금은 SPV를 통해 간단하게 구현할 수 있지만, 적절한 일방적 출금을 위해서는 비트코인에서 직접 유효성을 증명해야 합니다.

우리는 비트코인의 가장 강경한 지지층을 포용하기 위해 가능한 한 많은 비트코인 보안을 점진적으로 통합하는 것을 목표로 이더의 기존 암호화 경제 인프라 위에 점진적으로 구축하는 보다 실용적인 접근 방식을 제안합니다.

비트코인(BTC) 사양 후크

BTC 네이티브 페그는 EigenLayer와 BitVM의 암호화-경제적 보안을 결합하여 구동됩니다.

BitVM은 누구나 부정하게 증명하고 증명자에게 불이익을 줄 수 있는 검증된 비트코인의 오프체인 실행을 허용하며, 요나 사양 후크의 암호화 보안의 원천입니다.

이겐레이어는 이더리움 서약 자본 기반과 탈중앙화된 검증자 집합에 대한 액세스를 제공합니다. 이겐레이어는 요나 사양 페깅을 위한 경제적 보안의 원천입니다.

요나 페그 운영자는 정식 페그의 정상적인 작동 모드(즉, BTC의 입출금)를 지원하는 기관입니다. 페그 오퍼레이터가 수행해야 하는 역할은 두 가지입니다.

BitVM 충전/출금 계약 상대방(일반 모드 운영용)

AVS 오퍼레이터(일방적 출금용)

요나 페그 운영자는 BitVM 계약에 의해 보호되지 않고 AVS 담보 자산보다 몇 배나 낮은 가치의 예치된 비트코인에 절대 접근할 수 없다는 점을 강조합니다.

요나 페그 오퍼레이터는 여러 명이며, 그중 적어도 한 명은 정직해야 하지만, 모두가 정직하지 않더라도 예치금을 훔칠 수 없으며 최악의 경우 소각할 수도 있습니다.

사용자가 사이드체인에 BTC를 예치하면 페그 운영자와 출금 BitVM 계약을 체결합니다. 계약이 성립되면 사용자는 UTXO를 BitVM 주소로 직접 전송하며, 이 UTXO는 언제든 증명자의 소유가 아님을 명시합니다.

사용자(다른 사용자일 수 있음)가 요나에서 유효한 출금 증명을 제공하면 출금 계약을 다시 사용합니다(또는 요나에 BTC를 입금하지 않은 경우 운영자와 새로운 계약을 생성합니다).

서비스 거부 또는 검열이 발생하는 경우, 페그 운영자는 BitVM 콘트랙트를 생성할 수 없거나 생성하지 않으려 할 것입니다. 여기서 아이겐레이어의 경제적 보안이 중요한 역할을 합니다. 한편으로는 운영자가 예치된 비트코인을 훔칠 수 없으므로 출금 서비스를 거부해도 아무런 이득이 없습니다. 하지만 그것만으로는 충분하지 않습니다. 그래서 저희는 아이겐 레이어 컷을 사용하여 출금 거부에 따른 상당한 불이익을 소개합니다.

어떤 이유로 후크 운영자가 출금 계약 생성을 거부하는 경우, 사용자는 요청과 함께 비트코인 트랜잭션을 제출하고 출금 계약이 생성되지 않았음을 아이겐레이어 컨트랙트에 증명할 수 있습니다. 이렇게 하면 운영자의 수익이 감소합니다.

유사하게, 일방적인 출금의 경우 출금자는 요나에서 유효한 출금이라는 증거를 제공할 수 있습니다. 페그 운영자는 최대 N 블록까지 출금 요청을 완료했다는 증거를 제공할 수 있습니다. 증거가 제공되지 않으면 운영자는 아이겐 레이어에서 차단되고 사용자는 BitVM 계약에서 직접 출금할 수 있습니다.

메타프로토콜 캐노니컬 이중 후크, 신뢰 없는 일방 출금

또 다른 주요 혁신은 경제에 의존하지 않는 완전히 신뢰 없는 순수 암호화 캐노니컬 후크 비트코인 메타프로토콜을 구현하는 Yona의 능력입니다. 보안.

BRC-20과 같은 메타프로토콜은 비트코인을 사용해 데이터를 기록하고 오프체인 인덱서를 사용해 메타프로토콜 트랜잭션을 독립적으로 검증합니다. 이를 통해 메타 프로토콜을 위한 빠른 프로그래밍이 가능한 계층으로서 효율적이고 신뢰가 필요 없는 롤업을 구축할 수 있습니다.

롤업과 사이드체인의 주요 차이점은 롤업은 신뢰 없는 일방적 옵트아웃을 허용한다는 것입니다. 사용자는 롤업 운영자, 검증자 또는 브리지와 같은 제3자의 개입 없이 비트코인 거래를 실행하여 롤업에서 자신의 BRC-20을 추출할 수 있습니다.

다음은 BRC-20 사용 사례에 집중하겠습니다.

후크 메커니즘은 다음과 같습니다:

롤업에 액세스하려면 사용자는 비트코인 L1에서 BRC-20을 "파기"하여 롤업의 스마트 콘트랙트에 파기를 증명해야 합니다. 롤업에 액세스하려면 사용자는 비트코인 L1에서 BRC-20을 "파기"하고 롤업의 스마트 컨트랙트에 파기를 증명해야 하며(비트코인 ZK 라이트 클라이언트를 통해), L2에서 동일한 비문을 발행할 수 있습니다. L1에서 파기는 데이터가 포함되지 않은 "OP_RETURN" 스크립트로 "TRANSFER" 트랜잭션을 전송하여 달성할 수 있습니다.

집계를 종료하려면 사용자는 L2에서 BRC-20을 "소각"하고 비트코인 L1에서 유효한 출금에 대한 ZK 증명으로 "민트"해야 합니다. 유효한 출금 증명.

유효한 출금을 위한 ZK 증명에는 다음이 포함됩니다:

L2 인출 거래의 입력 및 롤업 상태 트리의 머클 루트에 대한 커밋

롤업 왼쪽;">롤업의 zkVM이 계산을 올바르게 수행했으며 결과 BRC20 잔액이 출금 금액보다 크거나 같음

총 공급 불변성을 위반하지 않음(즉, BRC20의 총 공급 = BTC 공급 + L2 공급 + 출금할 금액)

비트코인 스크립트에는 필요한 연산 코드가 없기 때문에 비트코인 네트워크 자체는 영지식 증명을 검증할 수 없습니다. 그러나 인덱서가 검증을 수행할 수 있기 때문에 이는 필요하지 않으며, BRC-20은 이미 오프체인 인덱서에 의존하여 BRC-20 잔액을 재구성하고 있으며, 필요한 것은 인덱서에서 출금 거래의 출구 증명 검증을 지원하는 것뿐입니다.

L2를 사용할 수 없는 경우, 일정 기간(예: 5일) 동안 DA 레이어에 하트 비트가 없었다는 증명이 있으면 사용자가 비트코인 트랜잭션을 전송하여 일방적으로 출금할 수 있습니다. 즉, 오프체인 BRC20 인덱서는 출금을 처리하기 위해 L2 출금 거래가 필요하지 않습니다.

L2가 출금을 검토하기 시작하면 사용자는 출금 요청이 포함된 비트코인 트랜잭션을 전송하여 출금을 시작할 수 있습니다. L2 페깅된 운영자는 24시간 내에 출금을 실행하고 증빙을 제출해야 합니다. 그렇지 않은 경우 사용자는 다음과 같은 증거를 제출할 수 있습니다.

일방 출금이 비트코인 거래를 통해 요청되었다

L2가 일방적 출금을 적시에 처리하지 않았다

L2가 일방적 출금을 적시에 처리하지 않았다

L2가 일방적 출금을 적시에 처리하지 않았다는 것을 증명합니다. align: left;">출금할 BRC20 유효 미결제 잔액이 있습니다

이 증명을 확인하면 오프체인 BRC20 인덱서는 L2 출금 거래를 확인하지 않고도 소유권을 반환할 수 있습니다.

그 결과, 요나는 완전히 신뢰할 필요가 없는 비트코인 메타자산 페그를 제공하는 최초의 L2입니다.