진실한 블록 체인 입찰 메커니즘의 불가능한 정리

링크 표

초록 및 1. 소개

1.1 우리의 기여

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

2. 정의

   2.1 거래 수수료 메커니즘

   2.2 인센티브 호환 개념

3. 예비 : Myerson ‘s Lemma

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

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

   5.2 공식적인 증거

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

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

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

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

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

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

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

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

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

A. 공모 감성 개념의 비교

참조

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

우리는 섹션 5의 증거를 일반화하고 진실한 메커니즘에 대해 UIC, MIC 및 OCA- 보조 (글로벌 SCP가 아닌)를 배제 할 수 있습니다. 진실한 메커니즘의 경우 OCA 방지와 글로벌 SCP의 차이점은 글로벌 SCP가 글로벌 연합의 최적 전략이 진실한 전략이라고 주장하는 반면, OCA- 방지는 각 사용자가 독립적으로 행동하고 일부 기능 σ (·)의 결과에 입찰하는 다른 전략이 될 수 있다는 것입니다.

흥미롭게도, 입찰 규칙이 진실을 말하지 않는 경우, 즉 진실이 아닌 메커니즘을 고려하면 UIC, MIC 및 OCA 방지를 만족시키는 메커니즘을 가질 수 있습니다. 우리는 섹션 6.1에서 비 진실 메커니즘에 대한 타당성을 제시하며, 섹션 6.2의 진실한 메커니즘에 대한 UIC + MIC + OCA 방지의 불가능성을 증명합니다. 섹션 6.1의 타당성 때문에, 우리는 6.2 절에서 불가능한성에 도달하기 위해 입찰 규칙이 진실을 요구해야합니다.

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

디자인의 근거는 모든 사람이 전 세계 최적 전략 σ를 채택 할 때 메커니즘에 신호를 보내는 것입니다 (UIC를 설정하는 데 사용되는 입찰 규칙과 반대로). 메커니즘이 모든 사람이 σ에 따라 행동하고 있음을 감지하면 사회 복지를 최적화하기 위해 다른 행동을 취합니다. 우리는[01)toencodectualbidandusetherange범위를사용합니다[1∞)은메르틱스포인트의viewitclarififiessofcollusion-reesilienceMostAccuRalityCaptureTheNdeDended-modelingGoalsandsOntratesTessometechnicalCHALLENGENGENGINVOVEDINTHEPROOFITESTION62ConsiderTheFollowingTfm:[01)toencodectualbidandusetherange[1∞)은메르틱스포인트의viewitclarififiessofcollusion-reesilienceMostAccuRalityCaptureTheNdeDended-modelingGoalsandsOntratesTessometechnicalCHALLENGENGENGINVOVEDINTHEPROOFITESTION62ConsiderTheFollowingTfm:[01)toencodetheactualbidandusetherange[1∞)forsignallingWhiletheresultingmechanismissomewhatcontrivedandnotnecessarilymeaningfulfromapracticalpointofviewitclarifieswhichnotionsofcollusion-resiliencemostaccuratelycapturetheintendedmodelinggoalsandillustratessometechnicalchallengesinvolvedintheproofinSection62ConsiderthefollowingTFM:[01)toencodetheactualbidandusetherange[1∞)forsignallingWhiletheresultingmechanismissomewhatcontrivedandnotnecessarilymeaningfulfromapracticalpointofviewitclarifieswhichnotionsofcollusion-resiliencemostaccuratelycapturetheintendedmodelinggoalsandillustratessometechnicalchallengesinvolvedintheproofinSection62ConsiderthefollowingTFM:

• 전 세계적으로 최적의 전략 σ (v) : 진정한 값 v가 주어지면 입찰 v + 1을 출력하십시오.

• 입찰 규칙: 진정한 값 v가 주어지면 입찰 1/(v + 2)를 출력하십시오.

• 포함 규칙:[01)에있는모든보류중인입찰의세트로|S|>kthenrandomlySelectKbidsfromStoinCludeif1≤|[01)if|s|>kthenrandomlySelectKbidsfromStoincludeif1≤|s|≤kthenincludeallbidsinsif|s|=0choosetopuptokbidstoinclude[01)If|S|>kthenrandomlyselectkbidsfromStoincludeIf1≤|S|≤kthenincludeallbidsinSIf|S|=0choosethetopuptokbidstoinclude[01)If|S|>kthenrandomlyselectkbidsfromStoincludeIf1≤|S|≤kthenincludeallbidsinSIf|S|=0choosethetopuptokbidstoinclude

• 확인, 지불 및 광부 수익 규칙: 포함 된 모든 입찰이 확인됩니다. 확인 된 각 입찰은 아무것도 지불하지 않으며 광부는 아무것도 얻지 못합니다.

분명히,이 메커니즘은 사소하지 않습니다.

청구 6.1. 위의 메커니즘은 UIC, MIC 및 OCA- 견딜 수를 충족시킵니다.

증거. UIC의 경우, 사용자가 입찰 규칙을 따르는 경우, 입찰은 항상[01)[01)Beforeausubmitsbidthenbidding1/(v+2)Alwaysguaranteesuser’SbidtobeIncludedand컨퍼런스venotheTruevalueiftheSombidsinsin[01)Beforeausersubmitsbidthenbidding1/(v+2)isadominantstrategyScureateStheuser’sbidisAddedTossetofalbidsin[01)thatebestausercandonextmicholdssinceMinerEvenueIsalwaysOlwaysOlwaysLowloglowTheglogloglortateTrategyggy의σeveryone’sbidisAtleast1thehonestinclusionRuillincludeTopupBidswhichmaximizescialwelfnessoca-prooffroofproofproofproofproofproofproofproofexcialweldescialwroop-proofelscoca-proofelegusoca-proofelegusoca-proofelegusoca-proofroopfolness[01)Ifthereisnobidin[01)Beforeausubmitsbidthenbidding1/(v+2)AlwadeGuaranteesuser’sbidtobeIncludedAndAndAndAndAndAndAndAndAndAndAndedAndEdThenbidding1/(v+2)vendoThemedsinvalueiSomeSomeBidsin[01)Beforeausersubmitsbidthenbidding1/(v+2)isadominantstrategyScureateStheuser’sbidisAddedTossetofalbidsin[01)thatebestausercandonextmicholdssinceMinerEvenueIsalwaysOlwaysOlwaysLowloglowTheglogloglortateTrategyggy의σeveryone’sbidisAtleast1thehonestinclusionRuillincludeTopupBidswhichmaximizescialwelfnessoca-prooffroofproofproofproofproofproofproofproofexcialweldescialwroop-proofelscoca-proofelegusoca-proofelegusoca-proofelegusoca-proofroopfolness[01)Ifthereisnobidin[01)beforeausersubmitsitsbidthenbidding1/(v+2)alwaysguaranteesuser’sbidtobeincludedandconfirmedwherevdenotethetruevalueIfthereisalreadysomebidsin[01)beforeausersubmitsitsbidthenbidding1/(v+2)isadominantstrategysinceitguaranteestheuser’sbidisaddedtoSthesetofallbidsin[01)whichisthebestausercandoNextMICholdssincetheminerrevenueisalwayszeroFinallyifallusersfollowthegloballyoptimalstrategyσeveryone’sbidisatleast1ThehonestinclusionrulewillincludethetopuptokbidswhichmaximizesthesocialwelfareThusOCA-proofnessholds[01)Ifthereisnobidin[01)beforeausersubmitsitsbidthenbidding1/(v+2)alwaysguaranteesuser’sbidtobeincludedandconfirmedwherevdenotethetruevalueIfthereisalreadysomebidsin[01)beforeausersubmitsitsbidthenbidding1/(v+2)isadominantstrategysinceitguaranteestheuser’sbidisaddedtoSthesetofallbidsin[01)whichisthebestausercandoNextMICholdssincetheminerrevenueisalwayszeroFinallyifallusersfollowthegloballyoptimalstrategyσeveryone’sbidisatleast1ThehonestinclusionrulewillincludethetopuptokbidswhichmaximizesthesocialwelfareThusOCA-proofnessholds

비고 1. 우리는 요한 계시록 원칙을 적용하고 입찰 규칙을 메커니즘에 굽고 결과 메커니즘이 진실 할 수 있습니다. 예를 들어, 입찰 B를 볼 때마다 광부와 메커니즘은이를 1/(b + 2)로 본다. 그러나, 수정 된 메커니즘은 사용자 수가 블록 크기보다 클 때 더 이상 Ocaproofness를 충족시키지 못합니다. 광부는 포함 규칙에 따라 임의의 선택 대신 랜덤 선택 대신 가장 높은 실제 값을 가진 K 사용자를 선택해야하기 때문입니다. 이것은 우연의 일치가 아닙니다. 다음 섹션에서는 UIC, MIC 및 OCA 방송성을 만족시키는 사소한 진실한 메커니즘을 갖는 것이 불가능하다는 것을 보여줍니다.