비트코인 규약 5부: MATT 및 OP_CHECKCONTRACTVERIFY — 비트코인이 트랜잭션 전반에 걸쳐 상태를 전달할 수 있는 방법

본문

OP_CHECKCONTRACTVERIFY는 계약 상태를 커밋하기 위해 Taproot 출력 키를 조정하여 스크립트가 이전 상태를 확인하고 소비 시간에 새 상태를 적용할 수 있도록 합니다. OP_CCV 및 OP_CAT가 어떻게 비트코인에서 상태 저장 계약, 보관 및 사기 증명을 가능하게 하는지 읽어보세요. OP_CCV는 계약 상태를 Taproot 출력 키에 직접 포함하고 온체인에서 유효한 상태 전환을 시행합니다. 이것은 Cointelegraph Research의 비트코인 ​​약정에 관한 기술 기사 시리즈의 5부입니다. MATT(Merkleize All The Things)는 상태 저장 계약과 확장 가능한 사기 증명을 가능하게 하는 비트코인용 스마트 계약 프레임워크입니다. 상태 저장 계약은 여러 트랜잭션에 걸쳐 정보를 전달하며 계약이 발전함에 따라 이 정보를 업데이트할 수 있습니다.

그러나 이 패러다임에서는 수치 논리를 우아하게 구현할 수 있는 방법이 없으며, MATT에 의해 채워지는 격차, 특히 OP_CCV를 통해 제안된 구현이 있습니다. MATT를 사용하면 커밋된 데이터를 소비 시간에 계산하고 다음 출력에 다시 포함할 수 있으므로 각 소비는 미리 결정된 상태 집합에서 선택하는 대신 동적으로 새로운 상태를 파생할 수 있습니다. 비트코인의 스크립팅 언어에 복잡한 논리를 직접 삽입하는 대신 MATT는 계산을 일련의 상태 약속으로 인코딩하며 체인은 각 상태 전환이 유효한지 확인합니다. 가장 직접적이고 잘 지정된 구현은 OP_CHECKCONTRACTVERIFY(OP_CCV)에 의존합니다. OP_CCV + OP_CAT 스크립트는 현재 상태 트리 루트에 대한 Merkle 증명을 확인하고, 전환 후 업데이트된 루트를 계산하고, OP_CCV를 사용하여 다음 출력을 강제로 커밋할 수 있습니다.

OP_CCV + OP_CAT는 상태 일관성을 적용하기 위해 BitVM이 의존하는 Lamport 일회성 서명 및 사전 서명된 트랜잭션 그래프가 필요하지 않습니다.