조심스러운 로깅 계약 공장

작성자:conduition

출처: https://conduition.io/scriptless/dlc-factory/

본 논문에서는 오프체인 "Discreet Log Contracts( DLCs )"를 생성하고 온체인 거래 없이 이를 확장하는 비트코인 ​​거래 패러다임을 소개합니다. 저는 이러한 거래를 총칭하여 "공장"이라고 부릅니다. 왜냐하면 단 하나의 온체인 펀딩 거래로 무제한의 DLC를 생성할 수 있기 때문입니다. 이를 "무제한 DLC" 또는 "자동 연장 DLC"라고 생각하면 됩니다.

• DLC 팩토리는 무한히 확장 가능하며, 온체인 거래가 전혀 필요하지 않습니다. 어느 당사자든 미리 정해진 기간 내에 계약을 중단하거나 조기에 합의할 수 있습니다.
• DLC 팩토리는 유연하고 비대칭적이어서 거래형 금융 옵션 계약 및 스테이블코인(고정된 USD 가치로 언제든지 비트코인으로 상환 가능)과 유사한 계약과 유사한 금융 상품을 만들 수 있습니다.
• 새로운 신뢰할 수 있는 제3자가 도입되지 않았습니다. 필요한 것은 기존 DLC와 다르지 않은 수동적 주장 머신뿐입니다.

거래 흐름도

프로세스 수립

• 앨리스와 밥이 공유하는 2-of-2 다중 서명 UTXO에 자금을 조달할 준비를 하세요. 두 당사자가 공유하는 이 권리는 다이어그램에서 “A + B”로 표시됩니다.
• 자금 조달 출력을 사용하는 두 개의 커밋먼트 거래를 생성합니다. 하나는 앨리스를 위한 것이고 다른 하나는 밥을 위한 것입니다.
  • 커미트먼트 거래에는 선택적으로 절대적 시간 잠금을 설정하여 보유자가 조기에 해제하는 것을 방지할 수 있습니다.
  • 커밋 거래에는 입력이 1개, 출력이 1개만 있습니다*.
  • 앨리스의 커밋먼트 거래는 다음과 같이 사용될 수 있습니다.
    • 앨리스와 밥이 모두 서명하거나
    • 밥이 서명하고:
      • 이 DLC에 대한 유효한 증명서 또는
      • 다른 관련 DLC와 관련된 청산 증인이 있음(선택 사항)
  • Bob의 커밋먼트 거래는 다음과 같이 사용될 수 있습니다.
    • 앨리스와 밥이 모두 서명하거나
    • 밥이 서명하고:
      • 이 DLC에 대한 유효한 증명서 또는
      • 다른 관련 DLC와 관련된 청산 증인이 있음(선택 사항)
• 각 약정 거래에 대해 해당 약정 거래의 출력을 사용하는 정산 거래를 생성합니다.
  • 결제 거래에는 입력이 1개, 출력이 1개만 있습니다*.
  • 결제 거래에는 "$\Delta$"로 표시되는 상대적 시간 잠금이 있습니다.
  • 결제 거래의 출력은 앨리스와 밥이 모두 서명한 경우에만 사용할 수 있습니다.
• Alice와 Bob의 각각의 정산 거래 출력에서 ​​두 세트의 DLC 계약 실행 거래(CET)가 생성됩니다.
  • 1개의 CET는 1개의 결제 거래에만 사용될 수 있습니다. 즉, 두 CET는 완전히 상호 배타적입니다.

* 이러한 거래에는 거래 수수료 시장의 변동을 설명하기 위한 앵커 출력이 필요합니다.

양측이 계약 거래 구조에 대해 합의하면, Alice와 Bob은 적절한 어설션 머신 선언을 어댑터 지점으로 사용하여 모든 CET에 서명할 수 있습니다.

마지막으로 Alice와 Bob은 협력하여 약정 거래와 정산 거래에 서명하지만 중요한 점은 각 당사자가 약정 거래/정산 거래의 자체 버전 에서만 상대방의 서명을 받는다는 것입니다. 즉, Alice는 Bob의 약정 거래와 정산 거래에서 서명을 받고, Bob은 Bob의 약정 거래와 정산 거래 버전에서 Alice의 서명을 받습니다. 그러나 그리핑을 방지하기 위해 양측 모두 상대방의 두 CET 세트 모두에 대한 어댑터 서명이 필요합니다. 이러한 비대칭성에 대해서는 "분석" 섹션에서 설명하겠습니다.

서명이 교환된 후, 양측은 자금 조달 거래에 서명하고 공개할 수 있습니다. 거래가 게시되고 확인되면 DLC 팩토리가 활성화됩니다. 나중에 계약한 당사자는 실질적으로 무료 옵션(출시 여부를 결정하기 위한)을 받지만, 이는 일반 DLC의 경우에도 마찬가지이며 알려진 미해결 문제입니다.

합의

어느 한 당사자가 DLC 팩토리를 일방적으로 결제하려면 먼저 결제할 DLC를 결정한 다음 해당 DLC에 대한 약정 거래를 발행해야 합니다. 커밋 거래의 잠금 시간(있는 경우)은 만료되어야 하며, DLC의 증명 메시지는 게시되어서는 안 됩니다. 결제 거래의 지출 방법의 상대적 시간 잠금이 만료되기 전에는 결제 거래를 게시할 수 없습니다.

그러면 특정 DLC를 완전히 잠그는 정산 거래를 실행합니다. 결제 거래가 확인되면 전체 계약은 기존 DLC와 똑같아집니다. 즉, 어설션 머신의 증인이 게시될 때까지 기다리고, 게시되면 이 증인을 사용하여 어댑터의 서명과 함께 계약 실행 거래 중 하나를 잠금 해제하고 브로드캐스트할 수 있습니다.

이것이 두 당사자가 두 CET 세트 모두에 대해 상대방의 어댑터 서명을 받아야 하는 이유입니다. 예를 들어, Alice가 Bob의 CET에 대한 Bob의 어댑터 서명을 가지고 있지 않으면 Bob은 온체인 에 자신의 커미트먼트 거래/결제 거래를 게시하여 Alice를 협박할 수 있고 Alice는 Bob을 대신하여 CET를 발행할 수 없습니다. 어설션 머신에서 확인된 결과가 Alice에게 유리한 경우 Bob은 Alice가 자신에게 속한 자금을 가져가는 것을 숨기고 방지할 수 있습니다.

DLC 공장을 협력하여 설립하기 위해, 앨리스와 밥은 자금을 지원하고 싶은 새로운 DLC에 대해 협상할 수 있습니다. 기본적으로 이는 아마도 모든 플레이어가 구현하기로 합의한 DLC 중 하나가 될 것이지만, 필요에 따라 조정될 수 있습니다. 양측이 합의하면 협력적 마감 거래를 생성하고 자금을 지출한 다음 협력적 마감 거래를 지출하는 일련의 CET에 서명합니다. 이러한 CET는 앨리스와 밥이 동의한 어설션 머신에서 발표한 조건에 따라 자금을 분할하며, 이러한 CET는 이 DLC 팩토리 계약에 대해 서명하는 마지막 CET 세트가 될 것입니다.

앨리스와 밥은 협력적 마감 거래에 공동으로 서명하고 공개한 후, 일반 DLC를 실행할 수 있습니다. 당사자 중 한 쪽이 협조를 중단하면 다른 당사자는 일방적 결제 모드로 돌아가서 자신의 손에 확정거래를 공개할 수 있습니다.

벌하다

정산 거래가 공개되면 DLC 증인이 공개된 경우에도 양 당사자는 안전하게 오프라인으로 전환할 수 있습니다. 그때까지 앨리스와 밥은 둘 다 온라인 상태를 유지하고 경계해야 합니다. 상대방이 오래되고 오래된 커밋먼트 거래를 게시하면 서로를 처벌해야 합니다. 즉, 상대 시간 잠금 $\Delta$가 만료되기 전에 페널티 거래를 게시하고 커밋된 거래 출력의 모든 값을 제거해야 합니다.

게다가 Lightning 채널과 마찬가지로 이러한 페널티 메커니즘은 신뢰할 수 없는 감시 기관이 참여자를 대신하여 독립적으로 시행할 수 있습니다. 이는 단지 페널티 경로를 수정하여 앨리스와 밥이 모두 페널티 거래에 서명하도록 하는 것인데, 이는 어설션 머신의 모든 증인과 함께 완료될 수 있습니다. 따라서 참가자는 이러한 거래 내역 사본과 주장 기계의 발표에 대한 포인터를 감시탑에 제공할 수 있습니다. 워치타워가 오래된 커밋먼트 거래(해당 증인 메시지가 게시됨)가 게시되었음을 감지하면, 페널티 거래를 잠금 해제하고 게시할 수 있습니다.

DLC가 협력적으로 결제되는 경우, 워치타워는 계약에 관련된 자금에 대해 직접적으로 알지 못하지만, 계약에 관련된 금액과 주장 머신 이벤트는 알고 있습니다.

분석하다

이러한 구조를 통해 앨리스와 밥은 서로 여러 개의 상호 배타적 DLC를 체결할 수 있으며, 해당 DLC에 대한 증인이 아직 게시되지 않았고 커밋 거래가 확인된 후 상대적인 시간 잠금 창 내에 게시되지 않는 한 어느 당사자든 팩토리의 모든 DLC에 대해 정산할 수 있습니다. 증인이 타임락 기간 내에 공개되는 경우, 상대방은 약속 거래에서 모든 가치를 취할 수 있습니다. 이는 앨리스나 밥이 안전하게 커밋 거래를 공개할 수 있는 최종 시점을 구성합니다.

이 구조의 용도는 무엇인가? 온체인 거래를 사용하지 않고도 DLC를 무기한으로 확장 할 수 있습니다. DLC 팩토리 계약을 연장하는 것은 매우 간단합니다. 새로운 CET 세트, 정산 거래, 새로운 어설션 머신 세트와 함께 발표된 약속 거래에 서명하기만 하면 됩니다. 앞서 언급한 시점 이전의 오래된 DLC도 계속 실행할 수 있습니다. 위의 시점에 도달하면, 어느 당사자도 더 이상 안전하게 오래된 커밋 거래를 발행할 수 없게 되므로, 새로운 DLC가 대신하게 됩니다. 양 당사자가 DLC 팩토리 확장에 동의하지 못하는 경우, 어느 당사자든 특정 DLC의 실행을 잠그기 위해 직접 커밋 거래를 발행할 수 있습니다.

따라서 DLC 팩토리를 사용하면 고정된 시간에 만료되는 하나의 계약이 아닌, 다양한 시점에 결제가 이루어지는 여러 금융 계약을 만들 수 있습니다.

예를 들어, 앨리스와 밥은 차액결제거래(CFD)를 할 수 있습니다. 즉, 두 당사자가 특정 기초 자산(예: 금, 특정 주식, 비트코인)의 가격에 따라 특정 금액을 서로에게 지불하기로 동의하는 것입니다. 이러한 유형의 계약은 이미 DLC로 구현될 수 있지만 , 이전의 비트코인 ​​DLC 관행은 CFD 계약이 고정된 만료일을 가지고 있다고 항상 가정한 반면, 전통적인 거래소 에서는 CDF를 언제든지 정산할 수 있으며 무기한으로 롤오버할 수 있습니다. DLC Factory는 비트코인의 CFD를 시뮬레이션할 수 있는데, 이는 단기 거래자 가격을 설정할 수 있는 매우 유연한 기능입니다.

또한 이 접근 방식을 사용하여 더 복잡한 다른 금융 상품을 만들 수도 있습니다. 약정 거래는 비대칭적이므로 두 당사자에게 완전히 다른 DLC를 생성할 수 있습니다. 즉, 어떤 DLC가 결제되는지는 약정/결제 거래를 발행한 당사자에 따라 달라집니다. 또한 당사자가 약정거래를 생략함으로써 합의를 시작하는 것을 막을 수도 있습니다. 우리는 다음을 만들 수 있습니다:

• 결제 과정을 시작하는 참여자의 신원에 따라 지불 금액을 조정하는 CFD입니다.
• 옵션과 비슷한 계약입니다. 한쪽 당사자만 계약을 "실행"할 수 있습니다.
• 스테이블코인과 비슷한 계약입니다. 계약 보유자는 언제든지 특정 금액의 USD 상당 BTC로 교환할 수 있습니다.
  • 실제로 상대방은 정반대의 계약을 맺습니다. 즉, 자신의 비트코인 ​​주식을 사용하여 더 많은 비트코인을 확보하는 것 입니다(비트코인 가격이 하락하는 경우). 이는 일부 비트코인 ​​애호가들이 분명 좋아할 만한 것입니다 ...

개정하다

DLC Factory에서는 다양한 맞춤형 방법을 적용해 특정 애플리케이션 시나리오에 맞게 조정할 수 있습니다.

• 커밋 트랜잭션에 대한 절대 시간 잠금은 우선순위를 정의하는 데 사용할 수 있으므로 언제든지 일부 커밋 트랜잭션만 브로드캐스트될 수 있습니다. 예를 들어, DLC 팩토리는 매일 DLC 하나씩 예약하고, 각 DLC에는 오전 8시에 활성화되는 커밋 트랜잭션이 있으며, 해당 이벤트는 오전 11시에 발표됩니다. 만약 $\Delta$가 1시간이라면, 참여자들은 매일 오전 8시에서 10시 사이에만 그날에 해당하는 커미트먼트 거래를 안전하게 게시할 수 있습니다. 오전 10시 이후에 풀려날 경우 상대방은 페널티 지점을 이용해 모든 자금을 훔칠 수 있습니다.
• 두 당사자에게 서로 다른 시간 잠금을 설정할 수도 있습니다. 즉, 특정 시간에는 한 당사자만 DLC를 "잠글" 수 있고 다른 당사자는 잠글 수 없도록 설정할 수 있습니다. 예를 들어, 한 당사자는 언제든지 DLC Factory에 대한 정산을 진행할 수 있는 반면, 다른 당사자는 주중 근무 시간에만 정산을 시작할 수 있습니다.
• 커밋먼트 거래 출력의 페널티 브랜치는 증인 잠금 대신 시간 잠금을 사용할 수 있으므로 커밋먼트 거래가 특정 시간 지점 이후에 게시되는 경우 모든 자금이 상대방에게 전송됩니다. 이 기능은 Assertion Machine의 증인이 매우 정확하고 감시탑에 대한 개인 정보 보호가 매우 중요한 경우에 유용할 수 있습니다. 감시탑에 어떠한 정보도 제공하지 않기 때문입니다(DLC 공장에 관련된 총 가치는 제외).
• 커밋 트랜잭션 출력은 Lightning 채널 유형을 사용하여 비밀 값을 철회하기 위한 추가 페널티 경로를 설정할 수 있습니다. 이를 통해 참여자는 미래의 약정 거래를 수동으로 무효화하고, 이후의 DLC를 팩토리에서 협상할 수 있습니다.
• CET는 폐쇄형 공장의 역할에 따라 차등 지급을 적용하여 비대칭적으로 이루어질 수 있습니다. 예를 들어, 마감자가 CET를 보유하면 양측이 공장 폐쇄에 협력하도록 유도하기 위해 상대방보다 약간 더 나쁜 보상 곡선을 갖게 되며, 이는 일방적으로 공장을 폐쇄하도록 강요하는 것보다 유리합니다.
• 자금 조달 출력 스크립트에 HTLC 조건을 추가하여 온체인 거래를 통해 신뢰 없이 소유권을 이전할 수도 있습니다. 이를 통해 사람들은 Lightning Network를 사용하여 DLC 공장의 포지션 파파라치로 촬영할 수 있습니다(추가 조사 필요).

결점

장점이 있으면 단점도 있게 마련입니다.

성능

디지털 결과와 관련된 DLC는 대량 CET 어댑터의 서명이 필요한 경우가 많기 때문에 서명하고 검증하기가 매우 어렵습니다. DLC 팩토리는 각 DLC가 비대칭적이고 두 세트의 CET가 필요하기 때문에 두 배나 느립니다. 게다가 추가적인 커밋먼트 거래 쌍마다 추가적인 서명 절차가 필요하다는 것은 자명한 사실입니다. 서명/검증 성과는 옵션과 같은 계약에서 가장 좋으며, 이는 한쪽 당사자만이 약정 거래를 발행할 수 있는 능력을 가지고 있기 때문입니다.

DLC 팩토리의 성능 비용은 높지만, 커밋먼트 거래는 만료일이 가까워지기 전까지 서명할 필요가 없으므로 시간이 지남에 따라 비용을 상각할 수 있습니다. 따라서 참가자는 먼저 DLC에 서명한 다음 계약에 자금을 투입하고 시간이 지남에 따라 나머지 CET 서명을 점진적으로 추가할 수 있습니다.

활동적인

DLC 팩토리에 참여하는 것이 활동 필수 조건이 되었습니다.

기존 DLC의 경우, 계약이 만료된 후에도 두 당사자 모두 오프라인 상태가 될 수 있습니다. 만약 주장 머신의 증인이 원하는 바가 아니라면 간단히 오프라인으로 전환하여 다른 당사자가 DLC를 정산하도록 할 수 있습니다.

하지만 DLC 팩토리의 참여자는 Lightning 채널의 피어와 마찬가지로 상대방이 오래된 커밋 거래를 게시하고 오래된 증인을 통해 자금을 훔치지 않도록 블록체인을 적극적으로 모니터링해야 합니다. 각 당사자는 적절한 시기에 약정된 거래를 제출할 수 있도록 주의해야 하며, 이를 위해서는 온라인 상태를 유지해야 합니다.

이런 단점은 망루를 사용하면 완화할 수 있습니다.

이중 자물쇠

DLC 공장 참여자는 상대방이 새로운 약정 거래 및 CET에 서명하여 공장 수명을 연장하기를 원하지 않을 경우 적시에 약정 거래를 발행할 수 있어야 합니다. 그렇지 않으면 팩토리는 교착 상태에 빠질 수 있습니다. 즉, 양측이 다시 온라인 상태가 되어 함께 협력적 종료를 구성하지 않는 한 어느 당사자도 온체인 에서 DLC 팩토리를 일방적으로 해체할 수 없습니다.

이는 라이트닝 채널 참여자가 상대방이 장시간 오프라인 상태를 유지한 후 일반적으로 채널을 강제로 닫는 방식과 비슷합니다. 다만 DLC 채널에서는 팩토리가 자금을 공정하게 인출할 수 있도록 결제 해야 하는 명확한 시점이 있습니다.

실제 세계 이벤트

DLC 팩토리는 출시일이 유연하기 때문에 실제 이벤트를 목격하기에는 편리하지 않습니다.

첫째, 이점이 제한적입니다. 무슨 일이 한 번만 일어난다면 DLC 플랜트의 수명을 연장할 이유가 무엇입니까?

더욱이, 만약 증언이 일찍 공개될 수 있다면(예를 들어 스포츠 이벤트가 취소된다면) DLC 팩토리의 약속 계약은 예기치 않게 무효가 될 수 있습니다. 이 경우, 예상 시간보다 훨씬 일찍 증인이 공개되는 경우 양 당사자가 DLC를 커밋하고 결제할 수 있도록 커밋 거래 출력의 페널티 경로에 절대적 시간 잠금 요구 사항을 추가하는 것이 유용합니다. 물론, 이러한 형태의 계약은 지속적이고, 끊임없이 새로워지며, 금융 자산의 가격 데이터와 같이 예측 가능한 증인 출처가 있는 이벤트에 적합합니다.

결제거래

여러분은 궁금하실 겁니다: 왜 정산 거래를 설정해야 할까요?

정산 거래가 없는 DLC 팩토리를 상상해 보세요. 이러한 CET는 커밋 거래의 출력을 직접 사용합니다. 이 경우에는 어떠한 약정 거래도 게시될 수 없습니다.

주장 기계의 증언이 공개될 때까지 CET를 사용할 수 없습니다. 하지만 주장기계 증인이 공개되면 처벌의 길도 열리게 됩니다! 가장 좋은 결과는 두 당사자가 수수료 경쟁을 벌여 누가 확정된 거래의 결과물을 먼저 사용할 수 있는지 알아보는 것입니다.

DLC를 잠그려면 세그먼트 릴리스 트랜잭션이 필요합니다. 이는 거래를 결제하는 목적입니다.

참고: 페널티 메커니즘을 약간 다르게 설계하고 이후의 DLC 증인(또는 예상 해제 시간)이 페널티 분기를 정산하게 하면 정산 거래를 생략 할 수 있습니다 . 이를 통해 페널티 분기가 가능해지기 전에 CET 지출 약정 거래를 활성화할 수 있습니다. 이 디자인은 좋은가요? 이는 적용 시나리오에 따라 달라집니다.

DLC 채널과의 비교

"DLC 팩토리"는 원칙적으로 " DLC 채널 "과 비슷하게 들릴 수 있습니다. 둘 다 참가자가 많은 DLC를 생성하고 체인 밖에서 협업하여 업데이트하거나 정산할 수 있도록 합니다. 그러나 이 둘 사이에는 시간 잠금과 커밋먼트 메커니즘의 사용에 있어서 근본적인 차이가 있습니다. 이러한 차이점으로 인해 특정 사용 사례에서는 DLC 팩토리가 더 뛰어나지만, 다른 시나리오에서는 DLC 채널이 더 뛰어납니다.

주요 차이점은 이전 상태를 해제하는 방법에 있습니다.

DLC 채널에서 약정 거래는 계약 보유자가 상대방에게 해지 비밀 값을 전달하여 수동으로 해지해야 합니다. 이전의 커밋먼트 거래가 수동으로 무효화 되지 않으면 항상 유효하며 언제든지 온체인 특정 DLC를 잠그기 위해 발행될 수 있습니다.

DLC 팩토리에서 커밋 거래는 일반적으로 어설션 머신의 증거 수집 및/또는 절대 시간 잠금을 통해 자동으로 해지됩니다. 따라서 DLC 팩토리의 커밋먼트 거래에는 피할 수 없는 자연스러운 철회 날짜가 있으며, 어떠한 당사자도 철회가 발생하는 것을 막을 수 없습니다.

DLC 채널을 이용하는 경우, 채널을 만들고 DLC에 가입하면 일방적인 옵트아웃 옵션이 제공되지만, 이는 해당 DLC 에만 해당됩니다 . 이후 날짜에 만료되는 많은 DLC에 의도적으로 사전 서명을 시도하더라도 채널 상대방이 만료 후에 해당 DLC를 사전에 취소해야 합니다. 그렇지 않으면 상대방이 오래된 커미트먼트 거래를 게시하여 사기를 칠 수 있습니다. 이러한 가능성을 없애려면 일찍 온체인 복귀해야 합니다.

이와 대조적으로 DLC 팩토리에서 상대방의 약속 거래는 어설션 머신의 증인이나, 협조 여부에 관계없이 끊임없이 작동하는 타임락에 의해 자동으로 철회됩니다. 즉, 당신이나 상대방 모두 상대방이 온라인인지 아닌지에 신경 쓸 필요가 없습니다. 여러분은 미래에 만료되는 DLC에 얼마든지 미리 서명할 수 있으며, 미리 합의된 시점에 이들 모두가 취소될 것이라는 사실을 알면서 그렇게 할 수 있습니다(커밋먼트 거래에 대한 취소 경로가 있기 때문입니다).

둘의 차이점은 한 가지 격언으로 요약할 수 있습니다. 좋은 식물은 자동으로 작동하지만 채널은 수동으로만 변경할 수 있습니다 .

이를 다른 관점에서 살펴보면 다음과 같습니다. DLC 팩토리는 DLC 채널과 매우 유사합니다. 단, 해지 비밀 값은 어설션 머신에서 눈에 띄지 않게 독립적으로 배포됩니다. 이런 사소한 디자인적 선택으로 인해 DLC 팩토리는 매우 다른 강점과 약점을 가지게 되었습니다.

결론적으로

저는 이전에도 DLC에 대해 많이 글을 썼기 때문에 제가 DLC를 얼마나 좋아하는지 아실 수 있을 겁니다. DLC는 비트코인 ​​스마트 계약을 만드는 가장 유연한 방법 중 하나이며, 많은 기존 금융 상품을 에뮬레이트하고 이전에는 전혀 불가능했던 것을 만드는 데 사용할 수 있습니다.

DLC 팩토리를 사용하여 개발하고 싶은 아이디어가 있거나, 컨셉을 개선하기 위한 제안이 있으시면 알려주십시오 !

(위에)