입찰 규칙 메타 데이터가 블록 체인 인센티브를 재창조 할 수있는 방법
링크 표
초록 및 1. 소개
1.1 우리의 기여
1.2 TFM 인센티브 호환성 개념 : 치트 시트
-
정의
2.1 거래 수수료 메커니즘
2.2 인센티브 호환 개념
-
예비 : Myerson ‘s Lemma
-
워밍업 : 결정 론적 메커니즘을위한 UIC + MIC + Global SCP의 불가능
-
무작위 메커니즘에 대한 UIC + MIC + Global SCP의 불가능 성 및 5.1 교정 로드맵
5.2 공식적인 증거
-
UIC + MIC + OCA-Proof의 타당성과 불가능성
6.1 UIC + MIC + OCA-Proof를 사용한 비 진실 메커니즘
6.2 UIC + MIC + OCA 방지의 불가능 성 메커니즘
-
전 세계적으로 최적의 전략이 조정할 수있는 불가능 및 7.1을 우회하는 방법
7.2 세계 최적의 전략이 여러 입찰을 출력하도록 허용
7.3 포함 규칙 감소 및 7.4 토론 및 암호화 사용에 관한 공개 질문
-
거래 수수료 메커니즘에 대한 정적 계시 원칙
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