Nakamoto coefficient