pub fn validate_edwards(point: &PodEdwardsPoint) -> bool