Function checked_hash3 

pub fn checked_hash3(
    param: &LazyParam,
    inputs: &[Fp],
    w: &mut Witness<Fp>,
) -> Fp