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