원저자:Jaleel，BlockBeats

지난 밤, ZeroSync 프로젝트의 리더는 BitVM: Compute Anything on Bitcoin이라는 제목의 백서를 발표하여 열띤 토론을 불러일으켰습니다.

Super Testnet과 Sam Parker가 검토한 이 백서에서 볼 수 있듯이 BitVM은 Zero Sync의 Robin Linus가 설계한 Optimistic Roll Up, Fraud Proof, Taproot Leaf 및 Bitcoin Script를 통합한 새로운 컴퓨팅 패러다임입니다.

BitVM은 비트코인 ​​네트워크의 합의 규칙을 변경하지 않고 Turing-complete 비트코인 ​​계약의 표현을 허용하며 체인에 흔적을 남기지 않고 오프라인 계산을 위해 계산 가능한 모든 기능을 실행할 수 있습니다. 백서는 또한 BitVM의 아키텍처, 입력 및 출력, 제한 사항 및 전망을 소개합니다.

백서는 공개된 지 불과 1시간 만에 조회수 11만회를 돌파했으며, 작성 시점 기준 조회수는 182만회에 이르렀고, 영어 커뮤니티에서는 뜨거운 토론이 벌어지며 최대의 핫스팟 중 하나로 자리 잡았다. 최근 암호화 서클에서. KOL @LeonidasNFT는 이것이 흥미로운 혁신이라고 생각하여 BitVM의 논문을 새겼습니다.비트코인 비문, 보다 네이티브 방식으로 영원히 존재하도록 하세요.

비트코인 개발자는 어떻게 생각하나요?

올해 비트코인 ​​생태계는 특히 활발했습니다. Ordinals 시장은 많은 비트코인 ​​확장 이야기를 낳았으며 비트코인 ​​개발자들도 매우 활발합니다.

현재 Ordinals 마켓플레이스와 런치패드에 초점을 맞춘 BioniqMarket CEO @BobBodily는 개발자가 비트코인을 기반으로 구축하는 데 도움이 되는 도구를 구축해 왔습니다. 그는 자신의 소셜 미디어에서 다음과 같이 말했습니다. BitVM은 일회성 솔루션이 아닙니다. BitVM은 EVM만큼 좋지 않고 느리고 비용이 많이 들고 복잡합니다. BitVM의 핵심 장점은 이제 비트코인에 대한 추가 보안을 얻을 수 있다는 것입니다. . 업그레이드 없이 프로그래밍 가능. 새 op_code 필요 없음. 소프트 포크 필요 없음. 지금 작동함.

동시에 BobBodily는 BitVM으로 쉽게 구현할 수 있는 잠재적인 사용 사례에는 DLC 오라클, 혼잡 제어/코인조인 수집기 및 사이드체인 쿼럼을 포함하여 현재 중앙 집중식 서비스에 의존하는 다양한 애플리케이션의 분산 부분이 포함됩니다. 또한, BitVM은 계약이 필요할 수 있는 사이드체인의 무신뢰 브리징 문제를 해결하지 않습니다.BitVM은 Greg Maxwell의 2016년 ZKP 조건부 결제 예시보다 훨씬 우수합니다.BitVM은 매우 복잡하고 이해 및 구현이 어렵습니다.업그레이드를 통해 동일한 결과를 얻을 수 있습니다. op_code가 있는 비트코인.”

비트코인은 아무것도 바꿀 필요가 없습니다

관련 연구원인 Sam Parker는 비트코인 ​​프로토콜을 수정하지 않고도 더 많은 프로그래밍 기능을 활성화할 수 있는 BitVM의 잠재적인 가능성과 이 기능이 어떻게 신뢰할 수 있는 제3자의 필요성을 분산시키고 제거하는 데 도움이 될 수 있는지 확인합니다. 동시에 그는 이것이 선택적인 기능이며 비트코인 ​​커뮤니티와 사용자가 이 기능의 사용 여부와 방법을 선택할 수 있다고 언급했습니다.

샘 파커(Sam Parker)는 긴 트윗에서 다음과 같이 썼습니다. 다시 말하지만, 비트코인은 이제 다른 체인과 마찬가지로 튜링이 완성되었으며 이는 비트코인에 대한 어떠한 변경도 필요하지 않습니다. 현재 일부 비트코인 ​​극대주의자들은 국가를 인도하기(Guiding the Country)에 나오는 고전적인 견해 중 일부입니다. 튜링 완료 = 나쁨 내 생각엔 이건 어리석은 것 같아. 첫째, 튜링 완전성에 대한 기술적 정의에는 실제로 무한한 실행 시간이 필요하므로 이를 수용할 수 있는 무한한 공간과 시간이 없기 때문에 현실에서는 실제로 튜링 완전성이 있을 수 없습니다.

BitVM 백서의 내용에 대해 Sam Parker는 이 과정에서 @robin_linus 및 @super_testnet과 같은 소규모 스크립트 해커 그룹이 범용 컴퓨터에서 원하는 모든 기능을 프로그래밍하는 방법을 알아냈습니다. 코드를 조작할 수 있는 방법이 제한되어 있으므로 비트코인의 가상 머신(VM)이 이더리움처럼 튜링 완성을 방해하는 유일한 것은 표현력의 문제가 아니라 단순히 런타임의 문제이며 가장 심각한 제한입니다. 그 중 스택 크기 제한이 있습니다.

BitVM이 수행하는 모든 작업은 단일 트랜잭션의 범위를 넘어 여러 트랜잭션에 걸쳐 일부 논리의 런타임을 분산시킬 수 있도록 하는 것입니다. 그게 다야. 우리는 새로운 의미론적 기능을 추가하지 않았으며 실행할 수 있는 프로그램의 길이를 기하급수적으로 늘렸습니다. 따라서 기술적 정의에 따르면 비트코인은 실제로 이전보다 더 튜링 완전하지 않으며 실제로 수행하려는 모든 프로그램에 대해 충분히 튜링 완전하다고 합리적으로 말할 수 있는 프로그램에만 실행 시간이 제공됩니다.

이것은 자발적입니다. 귀하의 코인이 Turing-complete 계약에 고정되어 있다고 믿지 않는다면(완전히 합리적인), Turing-complete 스마트 계약에 코인을 고정하지 마십시오. UTXO 시스템의 장점 중 하나는 보안 샌드박스입니다. 인센티브 등으로 인해 비트코인에 이 기능이 없어야 한다고 사람들이 강하게 생각한다면, 이는 논의할 가치가 있는 문제이지만 기본적으로 현재로서는 매우 어리석은 것처럼 보이는 Taproot를 제거해야 합니다. 샘 파커가 썼습니다.

BitVM은 나를 조심스럽게 흥분하게 만든다

또 다른 비트코인 ​​확장 프로토콜인 드라이브체인(Drivechains)의 열렬한 지지자로서 Simp DAO의 창립자이자 수석 암호화폐 연구원인 Eric Wall은 커뮤니티 구성원의 초대를 받아 BitVM에 대한 자신의 견해를 표명했습니다. Eric Wall은 다음과 같이 말했습니다: 방금 이 백서를 읽었고, 모든 개념은 나에게 적합합니다. 저는 설정 단계에서 매우 많은 수의 사전 서명된 트랜잭션 교환이 필요한 솔루션에는 당연히 관심이 없습니다. 그러한 솔루션이 어떤 문제를 일으킬 수 있는지 모르겠습니다. 오버헤드) 그리고 허가(허가)는 두 가지 큰 문제입니다.

현재 그는 BitVM에 대해 조심스럽게 기대하고 있으며 실제 실험이 어떤 결과를 가져올지 기다리고 있습니다. 어쩌면 이 계획의 양면적 한계에 대한 우아하고 사소한 해결책이 있을 수도 있고 아닐 수도 있습니다. 아마도 zk 증명과 같은 특정 유형의 계산의 경우 오버헤드를 관리할 수 있습니다. BitVM이 zk 증명을 확인하기 위해 잘 작동한다면 흥미로울 것입니다. BitVM은 앞서 논의한 zkwasm 계층 역할을 할 것입니다.

여담으로, 공격 모델이 드라이브체인과 상당히 유사하다는 사실을 사람들이 깨닫게 되면 어떤 일이 일어날지 궁금합니다. 채굴자들은 증명자와 결탁하고 챌린지를 검열함으로써 BitVM의 전체 잔액을 훔칠 수 있는데, 아마도 그럴 것입니다. 드라이브 체인보다 지속 시간이 짧습니다.라고 Eric Wall은 썼습니다.

BitVM은 온체인 추적을 남기지 않고 비트코인 ​​네트워크에서 Turing-complete 계약을 표현할 수 있도록 함으로써 비트코인 ​​네트워크의 원칙과 보안을 유지하면서 복잡한 블록체인 계산을 탐색할 수 있는 완전히 새로운 방법을 제공합니다. 또한 이를 통해 비트코인은 핵심 프로토콜을 직접 수정하지 않고도 광범위한 사용 사례와 혁신적인 가능성을 수용할 수 있습니다.

BitVM이 비트코인의 설계와 진화에 대해 많은 심도 있는 논의를 촉발했다는 점은 무시할 수 없습니다. 향후 비트코인 ​​네트워크에서 비트VM이 어떻게 구현되고 작동할지는 매우 흥미로운 기술 탐구 여정이 될 것입니다. 이는 또한 중요한 질문을 제기합니다. 우리는 주로 가치와 거래를 저장하는 데 사용되는 디지털 통화에서 더 광범위하고 복잡한 계산을 수행할 수 있는 글로벌 플랫폼으로 비트코인을 확장할 준비가 되어 있습니까? 이는 또한 우리가 비트코인에 대해 원하는 미래 형식에 대해 더 깊이 생각하게 만듭니다. 비트코인에 기본 프로그래밍 기능을 더 추가해야 할까요, 아니면 계속 단순하고 안전하며 불변성을 유지해야 할까요?

참고내용

1.BitVM 백서