Revelation principle (source code)

= Revelation principle
{wiki}

An equilibrium outcome of a <mechanism> can be reproduced by asking for types and then sending the messages prescribed by the original equilibrium strategies. Truthful reports are then a <Bayesian Nash equilibrium>: a profitable false report would induce a profitable original deviation. This reduces optimization over indirect mechanisms to <direct revelation mechanisms> with <Bayesian incentive compatibility>, under the same information and participation assumptions.