BitVM 백서 발표, 개발자들은 "비트코인에서 모든 것을 계산할 수 있다"는 비전에 대해 어떻게 생각할까?

作者：Jaleel，BlockBeats

어젯밤, ZeroSync 프로젝트 책임자가 발표한 「BitVM: 비트코인에서 모든 것을 계산하기」라는 제목의 백서가 화제를 모았다.

Super Testnet과 Sam Parker가 검토한 이 백서에서 BitVM은 Robin Linus가 Zero Sync에서 설계한 새로운 계산 패러다임으로, Optimistic Roll Up, Fraud Proof, Taproot Leaf 및 Bitcoin Script를 통합한 것이다.

BitVM은 비트코인 네트워크의 합의 규칙을 변경하지 않고도 튜링 완전한 비트코인 계약을 표현할 수 있게 하며, 계산 가능한 모든 함수를 실행하고 오프라인 계산을 수행할 수 있으며, 체인에 흔적을 남기지 않는다. 백서에서는 BitVM의 아키텍처, 입력 및 출력, 제한 사항 및 전망 등에 대한 내용도 소개하고 있다.

백서 발표 후 단 한 시간 만에 11만 조회수를 기록했으며, 기고 시점까지 조회수는 182만에 달했고, 영어 커뮤니티에서의 논의는 매우 열띤 반응을 보이며 암호화폐 업계의 최대 화제 중 하나가 되었다. KOL @LeonidasNFT는 이것이 기대되는 혁신이라고 생각하여 BitVM의 논문을 비트코인 각인에 새겨 더 네이티브한 방식으로 영원히 존재하게 했다.

비트코인 개발자들은 어떻게 평가할까?

올해 비트코인 생태계는 특히 활발하며, Ordinals 시장은 많은 비트코인 확장 서사를 낳았고, 비트코인 개발자들도 매우 바쁘다.

현재 Ordinals 마켓플레이스와 런치패드에 집중하고 있는 BioniqMarket의 CEO @BobBodily는 비트코인에서 개발자들이 구축할 수 있도록 도와주는 도구를 계속해서 만들고 있다. 그는 자신의 소셜 미디어에서 다음과 같이 말했다: "BitVM은 일회성 해결책이 아니다. BitVM은 EVM처럼 좋지 않으며, 더 느리고 비싸고 복잡하다. BitVM의 핵심 장점은 우리가 지금 비트코인에서 추가적인 프로그래밍 가능성을 얻을 수 있다는 것이며, 업그레이드가 필요하지 않다. 새로운 op_codes가 필요하지 않다. 소프트 포크가 필요하지 않다. 지금 사용할 수 있다."

동시에 BobBodily는 "BitVM이 쉽게 구현할 수 있는 잠재적 사용 사례에는 현재 중앙 집중식 서비스에 의존하는 다양한 애플리케이션의 분산화가 포함된다. 여기에는 DLC 오라클, 혼잡 제어/coinjoin 집계기 및 사이드체인 법정 통화가 포함된다. 또한 BitVM은 사이드체인의 신뢰할 수 없는 브리징 문제를 해결하지 않으며, 계약이 필요할 수 있다. BitVM은 Greg Maxwell의 2016년 ZKP 조건부 지불 예제보다 엄격하게 우수하다. BitVM은 매우 복잡하며 이해하고 구현하기 어렵다. op_code 업그레이드를 통해 비트코인에서 동일한 일을 할 수 있다."라고 덧붙였다.

비트코인은 어떤 변화도 필요 없다

관련 연구원 Sam Parker는 BitVM이 비트코인 프로토콜을 수정하지 않고도 더 많은 프로그래밍 능력을 실현할 수 있는 잠재력을 제공하며, 이러한 능력이 어떻게 분산화에 도움을 주고 신뢰할 수 있는 제3자에 대한 필요성을 제거하는지에 대해 언급했다. 동시에 그는 이것이 선택적 기능이며, 비트코인 커뮤니티와 사용자가 이 기능을 사용할지 여부와 방법을 선택할 수 있다고 말했다.

긴 트윗에서 Sam Parker는 "다시 강조하지만, 오늘날 비트코인은 다른 어떤 체인과 마찬가지로 튜링 완전성을 갖추고 있으며, 이는 비트코인에 어떤 변화도 필요하지 않다. 현재 일부 비트코인 맥시멀리스트들이 '지적'할 때의 고전적인 관점 중 하나는: 튜링 완전성 = 나쁨이다. 나는 이것이 매우 어리석게 보인다. 첫째, 튜링 완전성의 기술적 정의는 실제로 무한한 실행 시간을 요구하기 때문에, 우리의 현실에서는 어떤 것도 진정으로 튜링 완전성을 달성할 수 없다. 왜냐하면 우리는 이를 수용할 무한한 공간과 시간이 없기 때문이다."라고 적었다.

BitVM 백서의 내용에 대해 Sam Parker는 "이 과정에서 소규모 스크립트 해커 그룹인 @robinlinus와 @supertestnet이 우리가 원하는 모든 기능을 비트코인의 극히 제한된 운영 코드 집합에 통합하는 방법을 찾아냈다. 따라서 비트코인의 가상 머신(VM)이 이더리움처럼 튜링 완전성을 갖추지 못하는 유일한 이유는 표현 능력의 문제가 아니라 단지 실행 시간의 문제이며, 가장 엄격한 제한은 스택 크기의 제한이다.

BitVM이 하는 모든 것은 특정 논리의 실행 시간을, 단일 거래의 범위를 초과하는 논리를 여러 거래에 분산시키는 것을 허용하는 것이다. 그게 전부다. 우리는 새로운 의미적 특성을 추가하지 않았으며, 우리가 실행할 수 있는 프로그램의 길이를 기하급수적으로 증가시켰다. 따라서 기술적 정의에 따르면 비트코인은 이전보다 더 튜링 완전성이 높아진 것이 아니라, 우리가 '실제로 실행하고자 하는 모든 프로그램에 대해 충분히 튜링 완전하다'고 합리적으로 말할 수 있는 프로그램에 실행 시간을 부여받은 것이다.

이것은 자발적이다. 만약 당신이 당신의 코인이 어떤 튜링 완전한 계약에 잠겨지는 것을 신뢰하지 않는다면(완전히 합리적이다), 그러면 그것들을 튜링 완전한 스마트 계약에 잠그지 말라. UTXO 시스템의 장점은 안전한 샌드박스화이다. 만약 사람들이 비트코인이 이 기능을 가져서는 안 된다고 강하게 믿는다면, 아마도 인센티브나 다른 문제 때문일 것이다. 그렇다면 이것은 논의할 가치가 있는 문제지만, 기본적으로 이는 Taproot에서 벗어나는 것을 요구할 것이며, 지금 이 시점에서 매우 어리석게 보인다."라고 Sam Parker는 썼다.

"BitVM은 나에게 조심스러운 흥분감을 준다"

비트코인 확장 프로토콜 Drivechains의 큰 지지자인 Simp DAO의 창립자이자 암호화폐 연구원인 Eric Wall은 커뮤니티 구성원들의 초청으로 BitVM에 대한 의견을 밝혔다. Eric Wall은 "나는 방금 이 백서를 읽었고, 모든 개념이 나에게 적합하다. 나는 설정 단계에서 매우 많은 사전 서명 거래 교환이 필요한 솔루션에 대해 본능적으로 흥미를 느끼지 않는다. 나는 그러한 솔루션이 어떤 문제를 일으킬 수 있을지 모르겠다. 추가 자원 소비(overhead)와 권한(permission)이라는 두 가지 큰 문제가 있다."라고 말했다.

현재 그는 BitVM에 대해 조심스러운 흥분감을 유지하며 실제 실험이 가져올 결과를 기다리고 있다. 아마도 이 솔루션의 양측 제한에는 우아하고 사소한 해결책이 있을 수도 있고, 없을 수도 있다. 특정 유형의 계산, 예를 들어 zk 증명에 대해서는 오버헤드가 관리 가능할 수 있다. 만약 BitVM이 zk 증명을 검증하는 데 잘 작동한다면 흥미로울 것이다. BitVM은 그가 이전에 논의했던 zkwasm 계층의 역할을 할 것이다.

"부가적으로, 사람들이 공격 모델이 Drivechains와 상당히 유사하다는 것을 깨닫게 될 때 어떤 일이 발생할지 궁금하다. 채굴자는 증명자와 공모하여 도전 과제를 검토함으로써 BitVM의 모든 잔액을 훔칠 수 있으며, 이러한 상황은 Drivechains보다 더 짧은 시간 동안 지속될 수 있다."라고 Eric Wall은 썼다.

비트코인 네트워크에서 튜링 완전한 계약을 표현할 수 있게 함으로써 BitVM은 복잡한 블록체인 계산을 탐색할 수 있는 새로운 방법을 제공하며, 비트코인 네트워크의 원칙과 안전성을 유지한다. 이는 비트코인이 직접적으로 핵심 프로토콜을 수정하지 않고도 더 넓은 사용 사례와 혁신 가능성을 수용할 수 있게 한다.

BitVM이 비트코인의 설계와 진화에 대한 많은 심도 있는 논의를 촉발한 것은 간과할 수 없는 사실이며, 앞으로 비트코인 네트워크에서 어떻게 구현되고 작용할지는 매우 매력적인 기술 탐험의 여정이 될 것이다. 이는 또한 중요한 질문을 제기한다: 우리는 비트코인을 주로 가치 저장 및 거래에 사용되는 디지털 통화에서 더 광범위하고 복잡한 계산을 수행할 수 있는 글로벌 플랫폼으로 확장할 준비가 되었는가? 이는 우리가 원하는 비트코인의 미래 형태에 대해 더 깊이 생각하게 하며, 비트코인이 더 많은 '네이티브' 프로그래밍 가능성을 추가해야 하는지 아니면 계속해서 단순하고 안전하며 불변성을 유지해야 하는지에 대한 질문을 촉발한다.

참고 내용

1.BitVM 백서