A more technical description of Polkadot protocol - View it on GitHub