pub fn small_hyrax_circuit_with_private_inputs() -> Result<HyraxProvableCircuit<Bn256Point>>
Return a hyrax provable circuit description with hyrax private inputs for a trivial 2x2 identity matrix circuit.