pub fn small_circuit_with_public_inputs() -> Result<ProvableCircuit<Fr>>
Return a provable circuit description with public inputs for a trivial 2x2 identity matrix circuit.