BOB와 비트코인을 연결하는 프로토타입 BitVM 브릿지가 성공적으로 테스트되어 비트코인과 이더리움의 장점을 결합하는 하이브리드 L2 미션의 중요한 이정표가 되었습니다.

이 프로토타입은 최신 버전의 BitVM2를 활용하여 신뢰가 최소화되는 비트코인 브리지를 촉진합니다. 이는 선도적인 BitVM 개발사이자 영지식 인프라 회사인 Fiamma와긴밀한 파트너십을 통해 개발되었습니다.

이는 바빌론과의 통합 발표에 이어 바빌론의 비트코인 스테이킹 프로토콜을 통해 BOB 네트워크에 비트코인 최종성을 가져올 것입니다. 이 두 가지 개발이 함께 이루어짐으로써 BOB는 하이브리드 L2 로드맵의 2단계로 진입할 수 있게 되었습니다.

BOB는 비트코인의 보안을 계승하는 동시에 프로토타입 BitVM 기반 브리지를 개발한 최초의 레이어 2 솔루션이 될 것입니다.

자세히 알아보려면 계속 읽어보세요.

‍

BitVM이란 무엇인가요?

BitVM은 비트코인에서 낙관적인 방식으로 프로그램을 실행하는 메커니즘입니다. 실행은 오프체인에서 이루어지지만, 실패 시에는 분쟁이 해결되고 온체인에서 시행됩니다. 비트코인의 낙관주의라고 생각하시면 됩니다. 두 가지 주요 사용 사례는 비트코인 롤업과 신뢰 최소화 브리지입니다. 두 가지 모두 사용자가 제3자를 신뢰하지 않고도 L2에서 BTC를 입출금할 수 있도록 하려는 것입니다.

기존 브리지는 일반적으로 랩드 비트코인(wBTC), 코인베이스 랩드 비트코인(cbBTC)과 같은 중앙화된 기관이나 대다수 참여자의 정직성에 보안이 좌우되는 tBTC와 같은 반신뢰 네트워크에 의존합니다. 이와는 대조적으로 BitVM2 브리지는 우수한 보안 모델을 도입합니다: 네트워크에 정직한 온라인 노드가 한 명만 있는 한 BTC 예치금은 도난당할 수 없으며, 이 노드는 예금자 자신이 될 수 있습니다.

가장 최신의 실용적인 버전은 BitVM2입니다. 전체 프로토콜 사양은 최신 백서를 참조하세요.

BitVM2 기술 설계에 적극적으로 기여하고 공동 저자로 참여한 BOB의 공동 창립자 알렉세이 자미야틴은 오늘의 성과가 얼마나 중요한지 강조했습니다:

"비트코인 보안과 신뢰가 최소화되는 BTC 브리징은 비트코인 L2를 다른 모든 체인과 차별화하는 요소입니다. 가장 강력하고 탈중앙화된 네트워크의 보안과 제3자를 신뢰하지 않고도 BTC를 입출금할 수 있는 방법이 결합된 것입니다. 지금까지는 거의 모든 BTC 브리지가 신뢰할 수 있는 다중 서명을 사용했기 때문에 이것이 가능하지 않았습니다. 이제야 비트코인 역사상 처음으로 BitVM2를 통해 이를 실제로 구현할 수 있는 청사진과 프로토타입을 갖추게 되었습니다."

‍

BitVM2 프로토콜 흐름

  1. 비트코인 스크립트로 구현된 SNARK 검증기로 프로그램을 압축합니다. Groth16 증명 시스템을 사용하면 약 1GB의 크기를 얻습니다.
  2. 검증기를 각각 최대 4MB의 하위 프로그램 청크로 분할하여 각각 비트코인 트랜잭션에서 실행할 수 있도록 합니다.
  3. 운영자는 설정 중에 프로그램에 커밋합니다.
  4. BitVM2에서 자금 인출을 시도할 때, 예를 들어 언래핑(페그아웃)이 올바르게 완료되지 않은 경우 운영자는 누구에게나 이의를 제기할 수 있습니다.
  5. 이의를 제기하는 경우 운영자는 모든 중개 프로그램 결과를 공개해야 합니다.
  6. 연산자가 속임수를 쓰면, 청구된 하위 프로그램 결과 중 하나가 잘못될 것입니다. 누구든지 비트코인 트랜잭션에서 특정 하위 프로그램을 실행하여 연산자가 가짜 계산을 주장했음을 보여줌으로써 연산자를 반증할 수 있습니다.
  7. 완료! 무효화된 지출 거래로 인해 결함이 있는 오퍼레이터가 쫓겨나고 BitVM 자금에 액세스할 수 없습니다.

‍

BitVM 브리지 흐름

BitVM 브리지는 BitVM2를 사용해 비트코인에 라이트 클라이언트 브리지를 구현합니다. L2는 비트코인을 검증하고, 비트코인은 L2를 검증합니다. 가장 흥미로운 부분은 페그아웃이라고도 불리는 언래핑으로, 이는 비트코인 탈중앙화 금융 프로토콜의 오랜 난제였습니다.

  1. 운영자는 자신의 자금에서 인출하는 사용자에게 BTC를 지급한 다음 BitVM에서 BTC를 회수합니다.
  2. BitVM은 L2에서 언랩 트랜잭션의 경우 비트코인에 올바른 페그아웃이 있는지 확인합니다.
  3. 모든 것이 맞으면 운영자는 BTC를 환불받습니다.

‍

올바르게 작동하면 편도 1시간 이내에 브리징 프로세스가 완료되며, 이는 기존 이더리움 L1 또는 L2 브리지보다 훨씬 빠른 속도로 비트코인에 연결할 수 있습니다.

‍

피암마와의 전략적 파트너십

BitVM2 구현을 가속화하기 위해 BOB는 최초의 BitVM 브리지(Fiamma Bridge)와 최초의 비트코인 기반 검증 레이어(Fiamma Layer) 등 BitVM2를 활용한 최초의 제품을 개발한 선구자인 Fiamma와 협력했습니다.

이 파트너십은 BOB의 BitVM 브리지 프로토타입의 성공에 중요한 역할을 했습니다. BOB와 Fiamma는 함께 주요 브리지 인프라를 배포하고 초기 버전의 검증자 소프트웨어를 시험하여 BOB의 합의를 검증했습니다. 이는 이달 초 BOB가 Fiamma에 전략적 투자를 단행한 데 이은 것으로, Fiamma의 인프라와 전문성은 이번 BitVM 브리지 프로토타입을 시작으로 BOB에 BitVM을 신속하게 배포할 수 있도록 지원할 수 있게 되었습니다.

오늘의 이정표에 대해 Fiamma의 공동 창립자이자 BitVM의 핵심 기여자인 사이몬 첸은 다음과 같이 말했습니다:

"BOB 팀과의 파트너십을 발표하게 되어 매우 기쁩니다! 논의하는 동안 알렉세이와 그의 팀이 보여준 귀중한 통찰력에 깊이 감사드립니다. 저희는 BitVM 브리지를 BOB에 통합하여 신뢰가 최소화되는 최초의 비트코인 레이어 2를 만들 수 있기를 기대합니다. BOB의 BitVM 브리지 프로토타입이 전략적 파트너십의 결과인 많은 인상적인 발표 중 첫 번째가 되기를 바랍니다."

‍

BOB의 하이브리드 L2 로드맵 발전

이번 주 초 BOB는 선도적인 비트코인 스테이킹 프로토콜인 바빌론과의 통합 계획을 발표했으며, 이를 통해 BOB를 비트코인 보안 네트워크로 구축하고 블록체인에 비트코인 완결성을 제공할 예정입니다.

신뢰 최소화 브리징과 비트코인 완결성은 비트코인의 보안과 유동성을 이더리움의 탈중앙 금융 혁신과 다양성과 결합하여 BOB를 BTC 탈중앙 금융의 본거지로 자리매김하는 것을 목표로 하는 BOB의 하이브리드 설계의 필수 요소입니다.

이 조합이 활성화됩니다:

  • 강화된 보안: BOB의 거래는 비트코인의 보안에 고정됩니다.
  • 원활한 BTC 전송: 사용자는 중개자를 신뢰할 필요 없이 비트코인과 BOB 간에 BTC를 이동할 수 있습니다.
  • 더 빠른 출금: 비트코인 완결성은 BOB의 기본 이더리움 브릿지에서 출금 시간을 가속화할 것입니다.

이것이 의미하는 바에 대해 자세히 알아보려면 BOB의 하이브리드 L2 비전 백서를 읽어보세요.

‍

다음 단계는 무엇인가요?

이 프로토타입을 제공한 후 BOB는 2025년 초에 BOB 테스트넷에 BitVM 브리지를 출시할 계획이며, 성공적인 감사 및 파트너 통합 후 메인넷 배포가 이어질 것입니다.

BOB가 바빌론과의 통합을 완료하고 비트코인 보안 네트워크(BSN)가 되면, BitVM 브리지의 주요 보안 메커니즘은 BTC 스테이킹을 통한 비트코인 최종성이 될 것입니다. 저희는 이를 구현하기 위해 바빌론과 적극적으로 협력하고 있습니다.

그동안 소셜 미디어를 통해 BitVM 브릿지 출시와 기타 흥미로운 개발 계획에 대한 소식을 계속 주시해 주시기 바랍니다.

개발자와 기술에 대해 자세히 알아보고 싶은 분들을 위해 다음 섹션에서는 브리지 프로토타입의 기반이 되는 구체적인 개발 내용을 자세히 설명합니다. 프로토타입 테스트 트랜잭션에 대한 링크도 있습니다.

‍

BitVM 브리지 기술 세부 정보

zkVM 기반 전문 프로버

Fiamma의 핵심 인프라와 통합하여 BOB에서 블록 구성을 검증하기 위해 zkVM 기반 증명자의 초기 프로토타입을 개발했습니다. 이 초기 버전에서는 SNARK 프루버에 입력으로 제공했습니다:

  • 이더리움 L1 트랜잭션이 L2OutputOracle 컨트랙트에 새로운 출력 루트를 제출합니다.
  • 대상 블록에 대한 이 "체크포인트"까지의 L2 블록 헤더입니다.
  • 대상 L2 블록에 대한 실행 영수증입니다.

여기서 승인된 제안자가 올바르게 서명했는지, 출력 루트가 최신 L2 블록과 일치하는지 확인했습니다. 또한 목표 블록으로 이어지는 모든 블록의 순서가 올바른지 확인했습니다. 그런 다음 대상 블록의 트랜잭션 기록에서 초기 설정 중에 생성된 BitVM 인스턴스를 고유하게 식별하는 특정 "번 이벤트"가 있는지 확인했습니다.

브리지 컨트랙트 및 비트코인 SPV 풀 릴레이

대부분의 스마트 컨트랙트 로직은 새로운 "브리지" 컨트랙트에 정의되어 있으며, 이를 통해 BOB에서 ERC20 토큰을 발행할 수 있고 운영자가 페그아웃 요청을 처리할 수 있습니다.

내부적으로는 비트코인 SPV '전체 릴레이'도 있는데, 이를 통해 비트코인 거래가 포함되었는지 확인합니다.

페그인 및 페그아웃 프로세스

사용자 앨리스가 BTC를 BOB에 브리징한 다음 인출하고자 한다고 가정하면, 단계별 BitVM 브리지 프로토콜은 다음과 같이 실행됩니다. 참고: "페그인"과 "페그아웃"은 코드와 BitVM 백서에서 사용된 정의에 따라 브리징 인과 아웃을 의미합니다.

페그인:

  • 앨리스는 위원회*와 협력하여 새로운 BitVM 인스턴스를 설정하고 고유 ID(오프체인)를 얻습니다.
  • 앨리스는 ID를 참조하여 지정된 비트코인 주소로 BTC를 전송합니다.
  • 위원회는 비트코인 tx와 포함 증명을 BOB의 브리지 스마트 컨트랙트에 제출하고, 위원회는 최소 6개의 확인을 통해 입금 거래가 비트코인 메인 체인에 포함되었음을 (SPV 릴레이를 사용하여) 확인합니다.
  • 모든 것이 확인되면 스마트 콘트랙트는 BTC 예치금과 1:1 비율로 래핑된 BTC ERC20 토큰을 앨리스에게 발행합니다. 그러면 앨리스는 다른 ERC20 토큰과 마찬가지로 BOB의 모든 탈중앙 금융 프로토콜에서 이 토큰을 사용할 수 있습니다.

‍

* 소위 "커버넌트 에뮬레이션" 위원회는 비트코인에서 누락된 커버넌트 연산 코드를 시뮬레이션하는 데 사용됩니다. 이 위원회는 특정 비트코인 거래에 사전 서명하여 운영자가 도난을 방지할 수 있는 방식으로만 BTC 예치금을 사용할 수 있도록 하여 도난을 방지하는 데 필요합니다. 특히, 이 위원회는 m-of-m 위원회이며, 여기서 m은 매우 클 수 있습니다(무작위로 샘플링된 100명의 서명자). 이 서명자 중 한 명만 정직하다면 설정은 안전합니다. 앨리스 자신도 이 설정에 참여할 수 있습니다. 이 위원회는 비트코인이 TXHASH나 OP_CAT과 같은 새로운 옵코드를 추가하면 결국 교체될 수 있습니다.

‍

페그아웃:

  • 앨리스는 BOB의 브리지 스마트 컨트랙트에서 래핑된 BTC ERC20을 잠그고 운영자가 요청을 수락할 때까지 기다립니다.
  • 그런 다음 운영자 중 한 명이 해당 BTC 금액을 앨리스의 비트코인 주소로 전송하고, 최소 6번의 확인을 받은 후 BOB의 브리지 스마트 컨트랙트에 포함 증명을 제공합니다. 스마트 컨트랙트는 "소각" 이벤트를 발생시킵니다.

참고: 이 시점에서 앨리스에게 페그아웃이 완료됩니다. 운영자는 자신의 잔고에서 BTC를 '프론트'합니다. 아래 단계에서는 운영자가 BitVM 예치금에서 이 금액을 회수하여 프로세스를 완료합니다. 이 로직은 이더리움의 유동성 브리지와 비교할 수 있습니다.

  • BOB 시퀀서는 "burn" 이벤트가 포함된 블록을 생성하고, 이 블록은 위에서 설명한 ZK 증명자의 입력으로 사용됩니다.
  • 운영자가 비트코인의 BitVM 예치금에서 인출을 시작합니다. 이제 7일 이내에 누구나 페그아웃의 정확성을 확인할 수 있으며, 오류가 있는 경우 운영자에게 이의를 제기할 수 있습니다.
  • 옵션 1: 모든 것이 정확합니다. 운영자가 페그아웃을 올바르게 실행한 경우(정확한 금액, 수취인, 필요한 시간 내에...) 이의를 제기하지 않고 7일 후에 BitVM 예치금에서 BTC를 청구할 수 있습니다.
  • 옵션 2: 오류 및 이의 제기. 운영자가 부정 행위를 시도한 경우(예: 앨리스에게 BTC를 보내지 않았지만 어쨌든 되찾으려는 경우), 네트워크에 정직한 온라인 사용자가 1명 이상 있는 한 운영자는 도전을 받게 됩니다. 그러면 운영자는 SNARK 검증자의 실행에 대한 추가 데이터("어서트" 트랜잭션)를 게시해야 하며, 이를 통해 도전자들은 운영자가 속임수를 쓰고 있음을 비트코인 네트워크에 증명할 수 있습니다(트랜잭션 1개를 더 추가). 운영자가 자산 트랜잭션을 게시하지 않거나 실제로 속임수를 쓴 경우(즉, SNARK 검증자가 올바르게 실행되지 않은 경우), 출금 시도가 실패하고 운영자 세트에서 제거됩니다.

‍

페그아웃의 경우, 운영자가 BitVM 인스턴스에서 회수할 때 더 많은 금액을 회수할 수 있도록 스마트 컨트랙트에서 수수료를 차감할 수 있는 유연성이 있습니다.

‍

작동 중인 BitVM 브리지 프로토타입

프로토타입 브릿지가 실제로 작동하는 모습을 보여드리기 위해 비트코인 서명 거래의 몇 가지 예를 살펴보겠습니다.

첫째, 사용자가 BTC를 잠그는 페그인 트랜잭션입니다:

‍

행복한 길

최적의 경우(운영자가 정직한 경우)에는 pegout_tx에서 사용자에게 BTC를 앞세운 다음 happy_take_tx에서 자금을 (도전하지 않고) 회수합니다:

‍

불행한 길(도전 성공 시)

운영자가 성공적인 ZK 증명 없이 BTC를 되찾으려 할 때, 챌린저는 주장_x가 유효하지 않다는 것을 BitVM에 증명하는 반증_x를 제공할 수 있습니다:

‍

불행한 길(실패한 도전 포함)

운영자가 유효한 페그아웃에 대해 이의를 제기하면 반박할 수 없는 assert_tx를 제공합니다. 그런 다음 불만족_take_tx로 자금을 회수합니다:

‍

다음 개발 단계

현재 프로토타입은 아직 개발 중이기 때문에 몇 가지 제한 사항이 있습니다. 출시 전 테스트넷 릴리스로 이어지는 다음 단계:

‍

  • 비트코인에서 이를 올바르게 확인하기 위해 ZK 라이트 클라이언트를 포함하여 바빌론을 통해 비트코인 최종성 검사를 추가합니다.
  • BOB 브리지 및 스테이크와 통합하여 UX를 개선하고 사용자에게 복잡성을 숨기세요.
  • 크기 제약으로 인해 일부 커밋을 온체인에 게시하는 데에는 몇 가지 실질적인 제약이 있습니다(즉, 현재 어서트 tx에는 데이터 커밋이 부족합니다). 저희는 Fiamma와 함께 이 문제를 조사하고 있습니다.
  • 운영자에게 공정한 보상을 지급하고 BitVM 브리지 운영에 대한 인센티브를 제공하기 위해 경제성을 미세 조정합니다.

‍