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