Eth2.0 Specification PR: https://github.com/ethereum/eth2.0-specs/pull/2229
Proposal on EthResearch: Executable beacon chain - Eth1-to-Eth2 Transition - Ethereum Research
Related Tweet by @mkalinin: https://twitter.com/mkalinin2/status/1370029361932476417