pub fn lkc_pow_proof<R>( leading_zeros: usize, ) -> impl FnMut(&dyn Point, &mut dyn FnMut(&dyn Point) -> R) -> Option<R>