aptos_types/rotation_proof_challenge library