입찰 규칙 메타 데이터가 블록 체인 인센티브를 재창조 할 수있는 방법

입찰 규칙 메타 데이터가 블록 체인 인센티브를 재창조 할 수있는 방법

초록 및 1. 소개

1.1 우리의 기여

1.2 TFM 인센티브 호환성 개념 : 치트 시트

  1. 정의

    2.1 거래 수수료 메커니즘

    2.2 인센티브 호환 개념

  2. 예비 : Myerson ‘s Lemma

  3. 워밍업 : 결정 론적 메커니즘을위한 UIC + MIC + Global SCP의 불가능

  4. 무작위 메커니즘에 대한 UIC + MIC + Global SCP의 불가능 성 및 5.1 교정 로드맵

    5.2 공식적인 증거

  5. UIC + MIC + OCA-Proof의 타당성과 불가능성

    6.1 UIC + MIC + OCA-Proof를 사용한 비 진실 메커니즘

    6.2 UIC + MIC + OCA 방지의 불가능 성 메커니즘

  6. 전 세계적으로 최적의 전략이 조정할 수있는 불가능 및 7.1을 우회하는 방법

    7.2 세계 최적의 전략이 여러 입찰을 출력하도록 허용

    7.3 포함 규칙 감소 및 7.4 토론 및 암호화 사용에 관한 공개 질문

  7. 거래 수수료 메커니즘에 대한 정적 계시 원칙

    8.1 정적 계시 원칙 : 단일 입찰을 출력하는 입찰 규칙

    8.2 정적 계시 원칙 : 여러 입찰을 출력하는 입찰 규칙 허용

A. 공모 감성 개념의 비교

참조

8.2 정적 계시 원칙 : 여러 입찰을 출력하는 입찰 규칙 허용

이 어려움을 처리하려면 포함 규칙의 구문을 완화해야합니다. 우리의 정의의 앞부분 (섹션 2.1)에서 포함 규칙이 입력 입찰 벡터의 하위 집합을 출력해야합니다. 이 섹션에서는이 구문 요구 사항을 약간 긴장시키고 정직한 포함 규칙이 각 입찰에 대한 메타 데이터를 추가 할 수 있도록합니다.[11] 정직한 실행에서 메타 데이터의 목적은 블록 체인의 확인/지불 규칙에 대한 보조 정보를 인코딩하는 것입니다. 구문의 이러한 완화는 본 백서에서 불가능한 결과에 대해 필수적이지 않습니다. 정직한 포함 규칙이 메타 데이터를 추가 할 수 있더라도 불가능한 결과 (섹션 4, 5 및 6.2)에 대한 모든 증거가 여전히 유지되기 때문입니다. 이제 우리는 요한 계시록 원칙을 제시 할 준비가되었습니다.

정리 8.2. C를 자연수로하자. 개별적으로 합리적 입찰 규칙을 가진 UIC, MIC 및 C-SCP 인 블록 크기 k에 대한 비 진실 TFM π를 고려할 때, UIC, MIC 및 C-SCP 인 블록 크기 k에 대한 진실한 TFM π ‘가 존재합니다. 1) 정직한 입찰 규칙이 진실한 값의 벡터와 2) 정직하게 분배되는 정직한 결과는 정직하게 분포되어 있습니다. π ‘.

레마 8.3. 광부가 정직하게 메커니즘을 따른다고 가정합니다. 그런 다음 모든 사용자가 메커니즘 π에 따라 입찰 규칙 β를 따를 때의 결과는 모든 사용자가 메커니즘 π ‘에 따라 진실로 입찰 할 때 결과로 동일하게 분포됩니다.

레마 8.4. 다음 진술은 보유합니다.

만약에그렇다면 uic입니다UIC입니다.

만약에그렇다면 마이크입니다마이크입니다.

모든 C에 대해 IF그렇다면 C-SCP입니다C-SCP입니다.

증거. 우리는 세 가지 속성을 개별적으로 증명할 것입니다.

정리 8.2의 증거는 Lemma 8.3 및 Lemma 8.4에서 직접 따릅니다.


[11] 우리는 메타 데이터가 블록 공간을 차지하지 않는다고 가정합니다. 자세한 내용은 비고 3을 참조하십시오.

출처 참조

Post Comment

당신은 놓쳤을 수도 있습니다