비트코인 개발자가 소프트 포크 없는 오프체인 스마트 계약을 제안합니다.
BitVM은 모든 계산 가능한 문제를 해결할 수 있는 비트코인용 Turing-complete 오프체인 스마트 계약을 개발하기 위한 새로운 접근 방식입니다. BitVM은 프로토콜의 기본 규정을 변경하지 않고 사기 증명 및 문제 제기를 사용하여 비트코인의 계약 논리를 확인합니다. 이는 수많은 애플리케이션을 가능하게 하고 비트코인의 기능을 확장하지만, BitVM은 많은 오프체인 노동력을 필요로 하며 두 당사자를 위한 기능만 필요합니다. 또한 Tree++는 Taproot 업그레이드를 기반으로 구축된 BitVM의 프로그래밍 언어 요구 사항입니다.

한 비트코인 개발자가 소프트 분열 없이 보다 표현력이 풍부한 오프체인 스마트 계약을 비트코인 (BTC)에 통합하는 새로운 방법을 제안한 것으로 알려졌습니다. ZeroSync의 프로젝트 리더인 Robin Linus가 10월 9일에 발표한 "BitVM: Compute Anything on Bitcoin"이라는 제목의 백서에 따르면 BitVM은 비트코인 합의 규칙을 수정하지 않고도 Turing-complete 비트코인 계약을 촉진합니다. 이론적으로 Turing Complete 시스템은 모든 계산 문제에 대한 솔루션을 제공하는 것이 가능합니다.
BitVM은 이더리움에서 관찰된 낙관적인 롤업과 유사하게 비트코인 블록체인에서 입증을 보장하면서 비트코인 계약 '로직'의 오프체인 실행을 구현하는 것을 목표로 합니다. 도전-응답 모델과 사기 증명은 '증명자'가 주장을 주장할 수 있고 '검증자'가 허위 주장을 한 증명자에게 처벌을 주기 위해 사기 방지를 실행할 수 있는 BitVM의 아키텍처를 뒷받침합니다. Linus에 따르면 현재 비트코인은 해시록, 타임록, 서명과 같은 기본 작업으로 제한됩니다. 그러나 이러한 제약은 다양한 흥미로운 애플리케이션을 컴퓨팅할 수 있는 BitVM을 추가함으로써 확장될 수 있습니다.
Linus가 언급한 것처럼 모델의 기능은 증명자와 검증자로 구성된 두 당사자 구성으로 제한됩니다. 또한, 프로그램 실행에는 상당한 양의 오프체인 계산 및 통신이 필요합니다. Linus는 다음 "이정표"가 비트코인 계약의 개발 및 디버깅에 사용되는 고급 프로그래밍 언어인 BitVM 및 Tree++의 완전한 구현이 될 것이라고 밝혔습니다. BitVM 기능은 2021년 11월 Taproot 소프트 포크에 의해 시작되었습니다.
거래 세계에서 투자자의 성장을 돕는 보너스 리베이트!