원저자:Haotian

BitVM: Compute Anything On Bitcoin이라는 제목의 백서는 개발자들 사이에서 열띤 토론을 불러일으켰습니다. 이는 비트코인 ​​네트워크가 Turing-complete 계약을 구현했으며 계산 가능한 모든 기능을 실행할 수 있다는 것을 의미하는 것 같습니다.

이는 비트코인 ​​네트워크가 이더리움과 같은 생태계의 모든 내러티브를 재현할 수 있다는 것을 의미합니까? 그리고 기존 비트코인 ​​합의를 변경할 필요도 없고 어떤 업그레이드도 필요하지 않습니다. 비트코인의 현재 기본 op_code에 의존하는 것만으로도 비트코인 ​​네트워크에 복잡한 프로그래밍 기능을 제공할 수 있으므로 비트코인 ​​네트워크가 튜링 완전성을 통해 모든 것을 계산할 수 있습니까?

잠깐, 지금 꿈을 꾸지 말고 먼저 BitVM의 아이디어 경로에 대해 논의해 봅시다.스크립트 공간은 복잡한 프로그래밍을 어떻게 수행합니까? 낙관주의 롤업 사고는 무엇을 의미합니까? 사기 증명 사기 증명의 원리는 무엇입니까? BitVM 구현에 장애물은 무엇입니까?다음으로, 여러분의 쉬운 이해를 돕기 위해 일반적인 논리적 프레임워크를 단계별로 분석해 보겠습니다. (그러나 더 구체적인 기술 구현 세부 사항은 논의하지 마십시오)

복잡한 프로그래밍 가능 기능을 구현하는 방법은 무엇입니까?

비트코인의 프로그래밍 기능은 매우 제한적이며 스크립트에서 간단한 논리와 제한된 작업 코드만 지원하므로 비트코인 ​​네트워크에서는 복잡한 스마트 계약을 개발할 수 없습니다. BitVM 제안의 상상력 있는 사고의 핵심은 다음과 같습니다.탭루트 주소 매트릭스 또는 탭트리를 통해 바이너리 회로와 유사한 다양한 프로그램 명령이 구현되며, 그 조합은 완전한 계약 실행과 동일합니다.

구체적으로 각 Script의 UTXO 지출 조건부 명령어를 프로그램의 최소 단위로 볼 수 있는데, 스크립트의 실행은 true와 false 두 가지 결과를 가지는데, 탭루트 주소에 특정 코드를 입력하면 결정론적인 결과를 얻을 수 있다. 결과가 0 또는 1인 경우 다수의 탭루트 주소를 행렬로 구성하면 정렬된 탭트리가 형성될 수 있으며, 실행 결과는 011001과 같은 다수의 이진 회로 텍스트 효과를 가지게 되는데, 이는 실행 가능한 바이너리 프로그램. 프로그램의 복잡성은 결합된 탭루트 주소의 수에 따라 달라지며 주소가 많을수록 비트코인 ​​프레임워크에서 각 스크립트의 사전 설정된 명령이 더 풍부해지고 전체 탭트리가 실행할 수 있는 프로그램이 더 복잡해집니다. 메이커센스 맞죠?

이 아이디어는 정말 충분히 큽니다. 하지만 이 논리에 따르면,실제로 가장 작은 명령 단위는 비트코인 ​​풀노드에 의해 완성되고, 탭루트 주소는 무한히 중첩되며, 무한한 조합의 가능성은 수많은 복잡한 계산을 중첩시킬 수 있습니다.어느 정도까지는 튜링완전한 기계라고 해도 과언이 아니다. 하지만 탭루트 주소를 무한히 쌓으면 비용 소모만 늘어나게 되고 이론상으로는 튜링 완전성으로 모든 것을 구현할 수 있지만 현실적이지 않습니다.

따라서 백서에서 언급한 튜링 완전성은 극단적인 이상적인 상황일 뿐이며, 이는 다소 개념을 훔치는 것입니다. 스크립트에만 의존하는 비트코인 ​​네트워크는 말할 것도 없고 이더리움의 소위 슈퍼컴퓨터조차도 튜링 완전성을 완전히 실현할 수 없습니다. ?

일부 복잡한 개념에 대한 간략한 분석

위의 핵심 프레임워크에 대한 이해를 바탕으로 백서에서 언급한 Optimism Rollup, Fraud Proof, Bit Commitment에 대해 살펴보겠습니다. 단일 탭루트 공간과 실행 가능한 코드 로직이 제한되어 있기 때문에 복잡한 프로그램을 오프체인에서 실행하고 핵심 검증 링크만 체인에 넣는 것은 일종의 롤업 아이디어가 아닐까요?

Fraud Proof는 이렇게 이해될 수 있습니다. 증명자와 검증자는 먼저 거대한 바이너리 회로를 컴파일합니다. 비트코인 ​​네트워크가 회로를 실행할 때 증명자는 일정량의 비트코인 ​​자산을 사전 서명하고 담보해야 한다는 전제가 있습니다. 검증자가 증명자를 검증하면 악행이 의심되는 경우 체인에 트랜잭션을 보내 체인에 있는 탭트리 프로그램의 UTXO 잠금 해제 조건을 트리거할 수 있습니다. 성공하면 검증자는 증명자의 모기지 자산을 압수할 수 있습니다. 사기 증명 프로세스.

이 논리에서 우리는 왜 BitVM이 합의된 합의가 있는 두 당사자에게만 적용되는지 이해하기 어렵지 않습니다. 즉, 실행 전에 전체 회로도를 공유해야 하고, 사기꾼 인증 프로그램은 유효 기간 내에 실행되어야 하며, 특정 자산은 담보로 제공되고 사전 서명되어야 합니다.양측이 합의된 오프체인 합의를 구축하는 데 협력하지 않으면 비트코인 ​​네트워크의 제한된 온체인 실행 환경에만 의존하여 진정한 계약 실행을 달성하기 어려울 것입니다.

BitVM 구현에 장애물은 무엇입니까?

1) BitVM은 현재 합의에 동의한 두 당사자 간의 온체인 운영에만 적합합니다.온체인 환경은 계약 실행을 위한 개방적이고 투명한 프로세스일 뿐입니다. 현재는 합의된 두 주제 사이에서만 구현이 가능하며, NN이 구현된다면 좀 더 복잡한 기술적 로직 설계가 필요하다.

2) BitVM이 단일 탭루트 주소의 스크립트를 적용하여 비트코인의 실행 논리 프레임워크를 초과할 수 없는 가장 작은 프로그래밍 단위를 구현하는 방법예를 들어, 해시록(Hashlock)과 타임록(Timelock)은 제한된 저장 조건을 초과할 수 없으며, 낙관적으로 하나의 탭루트 주소는 수백 개의 논리 게이트를 프로그래밍할 수 있으며, 그 이상을 위해서는 탭트리를 구축하기 위해 많은 수의 주소를 결합해야 합니다. 문제는 탭루트 주소의 미리 설정된 잠금 해제 조건을 실행하려면 채굴 비용을 지불해야 하며 주소 조합이 많을수록 비용이 커진다는 것입니다. 미래에는 라이트닝 네트워크의 양방향 채널 기술이 비용을 절감할 수 있을지도 모르지만, 일반적으로 비트코인 ​​네트워크는 논리 게이트 회로를 실행하는 데 의존해야 하는데, 이는 느릴 뿐만 아니라 생각해보면 비용도 많이 듭니다. 그것에 대해.

3) BitVM은 매우 제한된 시나리오를 이상적으로 지원하며 과도한 오프체인 계산에 더 적합합니다.일부 합의 및 자산 전송만 온체인 시나리오에 의존해야 합니다.예를 들어, 게임의 자산 폐기 링크 등;

일반적으로 BitVM은 개방적이고 매우 창의적인 아이디어이지만 구현 기술 프레임워크에 따르면 단기적으로는 백서 개념 단계에 국한될 가능성이 가장 높은 것으로 알려져 있습니다. 그리고 구현에는 여전히 어려움이 있습니다.엄청난 도전입니다. 아주 간단한 예를 들어 설명하겠습니다.BitVM은 누구나 모바일 단말기를 사용할 수 있는 시대에 방보다 더 큰 거대한 컴퓨터를 만드는 것과 같습니다.