[Ledger][design] front-running protection

[tzemanovic]

The initial page is at tech-specs/src/explore/design/ledger/front-running.md

To describe:

• DKG protocol steps for front-running protection
• DKG and tendermint (ABCI++?)

┆Issue is synchronized with this Asana task by Unito

[cwgoes]

Section 1.2 of the implementation overview paper covers the approximate model.

I believe @A-Manning is working on ABCI++ in tendermint-rs.

[cwgoes]

Closing in favour of more updated issues.