How Tau-Chain can be implemented in practice