Function block_main

fn block_main<'a>(
    params: BlockMainParams<'a>,
    w: &mut Witness<Fp>,
) -> Result<(Fp, [PreviousProofStatement<'a>; 2])>