pub fn leader_points(view: u64) -> u64