BitVM은 범위가 정해진 연산을 오프체인으로 옮기고 사전에 준비된 사기 증명을 Bitcoin으로 가져옵니다. Bitcoin Script에서 직접 실행되는 범용 가상 머신은 아닙니다.
초기 BitVM은 prover와 verifier의 양자 관계를 설명합니다. Prover는 오프체인에서 프로그램을 실행하고 실행 추적에 커밋하며, verifier는 결과가 틀렸다고 주장할 때만 개입합니다. [1]
BitVM2는 더 작은 하위 프로그램으로 나눈 스크립트를 통해 SNARK를 검증합니다. 낙관적 경로에서는 전체 연산을 온체인에 기록하지 않으며, 분쟁이 발생하면 누구나 challenger가 되어 단축된 프로토콜로 잘못된 주장을 이의 제기할 수 있습니다. [2]
BitVM Bridge는 BTC를 두 번째 레이어로 더 안전하게 이전하는 것을 목표로 합니다. Setup에서 정직한 다수라는 가정을 최소 한 명의 정직한 참여자로 낮추고, 미리 정해진 verifier뿐 아니라 누구든 잘못된 증명을 이의 제기할 수 있게 합니다. [2]
Permissionless challenge가 신뢰가 전혀 없다는 뜻은 아닙니다. Liveness를 위해 브리지는 최소 한 명의 활동 중인 합리적 운영자가 필요합니다. 모두 실패하면 자금이 묶일 수 있고, 구체적인 프로토콜은 setup, 데이터 가용성, 인센티브, 올바른 트랜잭션 그래프에도 의존합니다. [3]
BitVM Bridge 공식 구현은 스스로 프로덕션용이 아니라고 밝히며 프로덕션 사용을 명시적으로 경고합니다. 이 저장소는 SNARK verifier와 브리지의 프로토타입이지 안전한 BTC 이전을 감사로 보장한 제품이 아닙니다. [4]
Permissionless challenge도 운영 비용을 없애지 않습니다. 프로토콜은 큰 스크립트, 분할된 증명, 담보, 기한, 수수료를 사용합니다. 공격자가 유효한 증명을 만들 수 없어도 무응답이나 검열은 liveness를 악화시킬 수 있습니다. [3]
BitVM은 Bitcoin Script를 임의의 온체인 프로그램을 위한 일반적인 가상 머신으로 바꾸지 않습니다. 합의 변경 없이 설계되며, 오프체인 연산, 커밋먼트, timelocks, Bitcoin이 집행할 수 있는 사전 서명된 분쟁을 통해 범용성을 얻습니다. [5]
BitVM이라는 이름은 BitVM1, BitVM2, 개별 브리지 프로토콜처럼 서로 다르고 계속 발전하는 여러 설계를 가리키며 역할과 가정도 같지 않습니다. 사용 전에 정확한 버전, 트랜잭션 그래프, setup, 운영자 수, challenge 경로, 비상 출구를 확인해야 합니다. [4]
더 정확히 이해하려면 이 항목과 함께 다음도 읽어 보세요 Bitcoin Script, Taproot, Covenants, Multisig, Sidechain, Soft Fork.
01BitVM은 Bitcoin에서 프로그램을 직접 실행하나요?+
아닙니다. 프로그램은 오프체인에서 계산되며 Bitcoin은 암호학적 커밋먼트와 작은 증명 단계에 관해 사전에 준비된 분쟁을 판정합니다.
02BitVM은 완성된 trustless bridge인가요?+
아닙니다. BitVM2는 일부 신뢰 가정을 줄이고 permissionless challenge를 허용하지만, 구체적인 브리지는 setup, 운영자, liveness, 비프로덕션 구현에 여전히 의존합니다.