Function bgu::down

pub async fn down(
    name: String,
    pk: &[u8; 32],
    ing: Downing,
) -> Result<Option<Ver>>